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