264
Voted
PLDI
2015
ACM
10 years 2 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...
142
Voted
PLDI
2015
ACM
10 years 2 months ago
2015
ACM
Despite decades of research on parsing, the construction of parsers remains a painstaking, manual process prone to subtle bugs and pitfalls. We present a programming-by-example fr...
163
Voted
PLDI
2015
ACM
10 years 2 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...
138
click to vote
PLDI
2015
ACM
10 years 2 months ago
2015
ACM
Compiler scalability is a well known problem: reasoning about the application of useful optimizations over large program scopes consumes too much time and memory during compilatio...
138
click to vote
PLDI
2015
ACM
10 years 2 months ago
2015
ACM
This paper identifies and formalizes a prevalent class of asymptotic performance bugs called redundant traversal bugs and presents a novel static analysis for automatically detec...