104
click to vote
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
We introduce SnapQueues - concurrent, lock-free queues with a linearizable, lock-free global-state transition operation. This transition operation can atomically switch between ar...
105
click to vote
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
The development of efficient data flow analyses is a complicated task. As requirements change and special cases have to be considered, implementations may get hard to maintain, ...
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
A hierarchical program is one with multiple procedures but no loops or recursion. This paper studies the problem of deciding reachability queries in hierarchical programs where in...
112
Voted
PLDI
2015
ACM
9 years 11 months 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...