164
click to vote
PLDI
9 years 8 months ago
2015 ACM 
With hundreds of millions of users, spreadsheets are one of the most important end-user applications. Spreadsheets are easy to use and allow users great flexibility in storing da...
110
click to vote
PLDI
9 years 8 months ago
2015 ACM 
We consider the problem of automated reasoning about dynamically manipulated data structures. Essential properties are encoded as predicates whose definitions are formalized via ...
108
click to vote
PLDI
9 years 8 months ago
2015 ACM
Read-Copy-Update (RCU) is a technique for letting multiple readers safely access a data structure while a writer concurrently modifies it. It is used heavily in the Linux kernel ...
103
click to vote
PLDI
9 years 8 months ago
2015 ACM
Numerical abstract domains are a fundamental component in modern static program analysis and are used in a wide range of scenarios (e.g. computing array bounds, disjointness, etc)...
101
click to vote
PLDI
9 years 8 months ago
2015 ACM
Distributed systems are difficult to implement correctly because they must handle both concurrency and failures: machines may crash at arbitrary points and networks may reorder, ...
|
Programming Languages