Powered by
Conference Publishing Consulting
2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH Companion 2015)
,
October 25–30, 2015
,
Pittsburgh, PA, USA
SPLASH Companion 2015 – Proceedings
Contents
-
Abstracts
-
Authors
Student Research Competition
Efficient Support for Strong Semantics in Transactional and Non-transactional Programs
Aritra Sengupta
(Ohio State University, USA)
Automatic Array Property Detection via Static Analysis
Alisa J. Maas
(University of Wisconsin-Madison, USA)
KinEdit: A Tool to Help Developers Refactor Manually
Josh Terrell
(California Polytechnic State University, USA)
Finding Bugs in Spreadsheets using Reference Counting
Nima Joharizadeh
(University of California at Davis, USA)
Viser: Providing Serializability in Hardware with Simplified Cache Coherence
Swarnendu Biswas
(Ohio State University, USA)
Concurrency Control for Multithreaded Reactive Programming
Ragnar Mogk
(TU Darmstadt, Germany)
Gradual Mode Types for Energy-Aware Programming
Anthony Canino
(SUNY Binghamton, USA)
Race-Driven UI-Level Test Generation for JavaScript-Based Web Applications
Martin Billes
(TU Darmstadt, Germany)
Contributions of the Under-Appreciated: Gender Bias in an Open-Source Ecology
Andrew Kofink
(North Carolina State University, USA)
Safely Evolving Configurable Systems
Flávio Medeiros
(Federal University of Campina Grande, Brazil)
SIRe: An Efficient Snapshot Isolation-Based Memory Model for Detecting and Tolerating Region Conflicts
Minjia Zhang
(Ohio State University, USA)
The Oprop Verification Tool: Object Propositions in Action
Ligia Nistor
(Carnegie Mellon University, USA)
proc time: 0.84