204
click to vote
PLDI
2015
ACM
9 years 11 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...
109
click to vote
PLDI
2015
ACM
9 years 11 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...
125
click to vote
PLDI
2015
ACM
9 years 11 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...
103
click to vote
PLDI
2015
ACM
9 years 11 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...
105
click to vote
PLDI
2015
ACM
9 years 11 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...