250
click to vote
PLDI
10 years 1 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...
164
click to vote
PLDI
10 years 1 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 ...
161
click to vote
PLDI
10 years 1 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 ...
159
Voted
PLDI
10 years 1 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, ...
156
click to vote
PLDI
10 years 1 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