PLDI
2015
ACM
8 years 8 months ago
2015
ACM
Fusion is a program optimisation technique commonly implemented using special-purpose compiler support. In this paper, we present an alternative approach, implementing fold-based ...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
We present a method for example-guided synthesis of functional programs over recursive data structures. Given a set of input-output examples, our method synthesizes a program in a...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
In the X10 language, computations are modeled as lightweight threads called activities. Since most operating systems only offer relatively heavyweight kernel-level threads, the X1...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
We propose the APGAS library for Java 8. Inspired by the core constructs and semantics of the Resilient X10 programming language, APGAS brings many benefits of the X10 programmin...
PLDI
2015
ACM
8 years 8 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, ...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications that process the same inputs to successfully e...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static tech...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
Scientific and engineering applications depend on floating point arithmetic to approximate real arithmetic. This approximation introduces rounding error, which can accumulate to...
PLDI
2015
ACM
8 years 8 months ago
2015
ACM
Compilers should not miscompile. Our work addresses problems in developing peephole optimizations that perform local rewriting to improve the efficiency of LLVM code. These optim...