Sponsor of the Day:
Jerkmate
https://2015.splashcon.org/track/seps2015
SEPS 2015 - Software Engineering for Parallel Systems - SPLASH 2015
The Second Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH 2015. The increased complexity of parallel applications on...
software engineeringparallel systemsseps2015splash
https://2022.splashcon.org/home/ftscs-2022
FTSCS 2022 - Formal Techniques for Safety-Critical Systems - SPLASH 2022
There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution,...
safety critical systems2022formaltechniquessplash
https://2014.splashcon.org/track/rebls2014
REBLS - Reactive and Event-based Languages & Systems - SPLASH 2014
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction...
event basedsystems splashreblsreactivelanguages