PLDI
2015
ACM
8 years 19 days ago
2015
ACM
This paper presents KJS, the most complete and throughly tested formal semantics of JavaScript to date. Being executable, KJS has been tested against the ECMAScript 5.1 conformanc...
PLDI
2015
ACM
8 years 19 days ago
2015
ACM
We present Symbiosis: a concurrency debugging technique based on novel differential schedule projections (DSPs). A DSP shows the small set of memory operations and data-flows res...
PLDI
2015
ACM
8 years 19 days ago
2015
ACM
We present maximal causality reduction (MCR), a new technique for stateless model checking. MCR systematically explores the state-space of concurrent programs with a provably mini...