Venues / PLDI /

PLDI 2012

48 papers

A compiler framework for extracting superword level parallelism · Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir
A dynamic program analysis to find floating-point accuracy problems · Florian Benz, Andreas Hildebrandt, Sebastian Hack
Adaptive input-aware compilation for graphics engines · Mehrzad Samadi, Amir Hormati, Mojtaba Mehrara, Janghaeng Lee, Scott A. Mahlke
Algorithmic profiling · Dmitrijs Zaparanuks, Matthias Hauswirth
And then there were none: a stall-free real-time garbage collector for reconfigurable hardware · David F. Bacon, Perry Cheng, Sunil Shukla
Automated error diagnosis using abductive inference · Isil Dillig, Thomas Dillig, Alex Aiken
Automated synthesis of symbolic instruction encodings from I/O samples · Patrice Godefroid, Ankur Taly
Chimera: hybrid program analysis for determinism · Dongyoon Lee, Peter M. Chen, Jason Flinn, Satish Narayanasamy
Compiling a high-level language for GPUs: (via language support for architectures and compilers) · Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink
Concurrent data representation synthesis · Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
Design and implementation of sparse global analyses for C-like languages · Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
Deterministic parallelism via liquid effects · Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala
Diderot: a parallel DSL for image analysis and visualization · Charisee Chiw, Gordon Kindlmann, John H. Reppy, Lamont Samuels, Nick Seltzer
Dynamic synthesis for relaxed memory models · Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav
Dynamic trace-based analysis of vectorization potential of applications · Justin Holewinski, Ragavendar Ramamurthi, Mahesh Ravishankar, Naznin Fauzia, Louis-Noël Pouchet, Atanas Rountev + 1 more
Effective parallelization of loops in the presence of I/O operations · Min Feng, Rajiv Gupta, Iulian Neamtiu
Efficient state merging in symbolic execution · Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Engage: a deployment management system · Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali
Fast and precise hybrid type inference for JavaScript · Brian Hackett, Shu-yu Guo
Fully automatic and precise detection of thread safety violations · Michael Pradel, Thomas R. Gross
Input-sensitive profiling · Emilio Coppa, Camil Demetrescu, Irene Finocchi
JANUS: exploiting parallelism via hindsight · Omer Tripp, Roman Manevich, John Field, Mooly Sagiv
Language-based control and mitigation of timing channels · Danfeng Zhang, Aslan Askarov, Andrew C. Myers
Logical inference techniques for loop parallelization · Cosmin E. Oancea, Lawrence Rauchwerger
Multicore acceleration of priority-based schedulers for concurrency bug detection · Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
Parallelizing top-down interprocedural analyses · Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani
Parcae: a system for flexible parallel execution · Arun Raman, Ayal Zaks, Jae W. Lee, David I. August
Polyhedra scanning revisited · Chun Chen
Proving acceptability properties of relaxed nondeterministic approximate programs · Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
Race detection for web applications · Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby
Reagents: expressing and composing fine-grained concurrency · Aaron Turon
RockSalt: better, faster, stronger SFI for the x86 · Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan
Scalable and precise dynamic datarace detection for structured parallelism · Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
Self-stabilizing Java · Yong Hun Eom, Brian Demsky
Sound and precise analysis of parallel programs through schedule specialization · Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang
Speculative linearizability · Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
Speculative separation for privatization and reductions · Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, David I. August
Static analysis and compiler design for idempotent processing · Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha
SuperC: parsing all of C by taming the preprocessor · Paul Gazzillo, Robert Grimm
Synchronising C/C++ and POWER · Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget + 2 more
Synthesising graphics card programs from DSLs · Luke Cartey, Rune B. Lyngsø, Oege de Moor
Synthesizing software verifiers from proof rules · Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
Test-case reduction for C compiler bugs · John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
The implicit calculus: a new foundation for generic programming · Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
Type-directed automatic incrementalization · Yan Chen, Jana Dunfield, Umut A. Acar
Type-directed completion of partial expressions · Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
Understanding and detecting real-world performance bugs · Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu
Verifying GPU kernels by test amplification · Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner