178
click to vote
PLDI
9 years 10 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...
124
click to vote
PLDI
9 years 10 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 ...
121
click to vote
PLDI
9 years 10 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 ...
120
click to vote
PLDI
9 years 10 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, ...
116
click to vote
PLDI
9 years 10 months ago
2015 ACM
We present PIDGIN, a program analysis and understanding tool that enables the specification and enforcement of precise applicationspecific information security guarantees. PIDGI...
|
Programming Languages