Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
PLDI
2015
ACM
4 years 10 months ago
Synthesizing parallel graph programs via automated planning
We describe a system that uses automated planning to synthesize correct and efficient parallel graph programs from high-level algorithmic specifications. Automated planning allo...
Dimitrios Prountzos, Roman Manevich, Keshav Pingal...
PLDI
2015
ACM
4 years 10 months ago
Compiling APL to accelerate through a typed array intermediate language
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...
Michael Budde, Martin Dybdal, Martin Elsman
PLDI
2015
ACM
4 years 10 months ago
Fold-based fusion as a library: a generative programming pearl
Fusion is a program optimisation technique commonly implemented using special-purpose compiler support. In this paper, we present an alternative approach, implementing fold-based ...
Manohar Jonnalagedda, Sandro Stucki
PLDI
2015
ACM
4 years 10 months ago
Synthesizing data structure transformations from input-output examples
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...
John K. Feser, Swarat Chaudhuri, Isil Dillig
PLDI
2015
ACM
4 years 10 months ago
Asynchronous programming, analysis and testing with state machines
Pantazis Deligiannis, Alastair F. Donaldson, Jeroe...
PLDI
2015
ACM
4 years 10 months ago
Cutting out the middleman: OS-level support for x10 activities
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...
Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, ...
PLDI
2015
ACM
4 years 10 months ago
The APGAS library: resilient parallel and distributed programming in Java 8
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...
Olivier Tardieu
PLDI
2015
ACM
4 years 10 months ago
Verdi: a framework for implementing and formally verifying distributed systems
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, ...
James R. Wilcox, Doug Woos, Pavel Panchekha, Zacha...
PLDI
2015
ACM
4 years 10 months ago
Automatic error elimination by horizontal code transfer across multiple applications
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...
Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Lon...
PLDI
2015
ACM
4 years 10 months ago
Synthesizing racy tests
Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static tech...
Malavika Samak, Murali Krishna Ramanathan, Suresh ...
books