215
click to vote
PLDI
10 years 6 days 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...
144
click to vote
PLDI
10 years 6 days 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 ...
140
click to vote
PLDI
10 years 6 days 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 ...
139
click to vote
PLDI
10 years 6 days 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, ...
137
click to vote
PLDI
10 years 6 days 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