PLDI
2015
ACM
8 years 8 months ago
2015
ACM
User-facing online services utilize geo-distributed data stores to minimize latency and tolerate partial failures, with the intention to provide a fast, always-on experience. Howe...
PLDI
2015
ACM
8 years 8 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...
PLDI
2015
ACM
8 years 8 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...
PLDI
2015
ACM
8 years 8 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...
PLDI
2015
ACM
8 years 8 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...
PLDI
2015
ACM
8 years 8 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...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
Type inference engines often give terrible error messages, and the more sophisticated the type system the worse the problem. We show that even with the highly expressive type syst...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
We develop a new framework for analyzing recursive methods that perform traversals over trees, called tree dependence analysis. This analysis translates dependence analysis techni...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
We describe a system that uses automated planning to synthesize correct and efficient parallel graph programs from high-level algorithmic specifications. Automated planning allo...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
We present an approach for compiling a rich subset of APL into dataparallel programs that can be executed on GPUs. The compiler is based on the APLTAIL compiler, which compiles AP...