http://pldi12.cs.purdue.edu/content/list-accepted-papers-%E8%AE%BA%E6%96%87%E6%94%B6%E5%BD%95 List of Accepted Papers 论文收录
Compiling a High-Level Language for GPUs (via Language Support for Architectures and Compilers)
Christophe Dubach12, Perry Cheng1, Rodric Rabbah1, David F. Bacon1, Stephen Fink1 1IBM, 2University of Edinburgh
Synchronising C/C++ and POWER
Susmit Sarkar1, Mark Batty1, Scott Owens1, Kayvan Memarian1, Peter Sewell1, Luc Maranget2, Jade Alglave3, Derek Williams4 1University of Cambridge, 2INRIA, 3University of Oxford, 4IBM
Static Analysis and Compiler Implementation of Idempotent Processing
Marc Kruijf, Karthikeyan Sankaralingam, Somesh Jha
University of Wisconsin - Madison
Adaptive Input-aware Compilation for Graphics Engines
Mehrzad Samadi1, Amir Hormati2, Mojtaba Mehrara1, Scott Mahlke1 1University of Michigan, 2Microsoft Corporation
Automated Error Diagnosis Using Abductive Inference
Isil Dillig1, Thomas Dillig1, Alex Aiken2 1College of William & Mary, 2Stanford University
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Santosh Nagarakatte1, Sebastian Burckhardt2, Milo M K Martin1, Madanlal Musuvathi2 1University of Pennsylvania, 2Microsoft Research
RockSalt: Better, Faster, Stronger SFI for the x86
Greg Morrisett1, Gang Tan2, Joseph Tassarotti1, Jean-Baptiste Tristan1, Edward Gan1 1Harvard University, 2Lehigh University
Fast and Precise Hybrid Type Inference for JavaScript
Brian Hackett1, Shu-yu Guo2 1Mozilla Corporation, 2University of California, Los Angeles
Fully Automatic and Precise Detection of Thread Safety Violations
Michael Pradel, Thomas Gross
ETH Zurich
The Implicit Calculus: A New Foundation for Generic Programming
Bruno Oliveira1, Tom Schrijvers2, Wontae Choi1, Wonchan Lee1, Kwangkeun Yi1 1Seoul National University, 2Universiteit Gent
Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization
Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang
Columbia University
Effective Parallelization of Loops in the Presence of I/O Operations
Min Feng, Rajiv Gupta, Iulian Neamtiu
University of California, Riverside
Input-Sensitive Profiling
Emilio Coppa, Camil Demetrescu, Irene Finocchi
Sapienza University of Rome
Type-Directed Completion of Partial Expressions
Daniel Perelman1, Sumit Gulwani2, Tom Ball2, Dan Grossman1 1University of Washington, 2Microsoft Research Redmond
Synthesising graphics card programs from DSLs
Luke Cartey, Rune Lyngsø, Oege Moor
University of Oxford
Reasoning about Relaxed Programs
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
MIT Computer Science and Artificial Intelligence Laboratory
Parallelizing Top-Down Interprocedural Analyses
Aws Albarghouthi1, Rahul Kumar2, Aditya Nori3, Sriram Rajamani3 1University of Toronto, 2Microsoft Corporation, 3Microsoft Research India
Concurrent Data Representation Synthesis
Peter Hawkins1, Alex Aiken1, Kathleen Fisher2, Martin Rinard3, Mooly Sagiv4 1Stanford University, 2Tufts University, 3MIT Computer Science and Artificial Intelligence Laboratory, 4Tel-Aviv University
Diderot: A Parallel DSL for Image Analysis and Visualization
Charisee Chiw, Gordon Kindlmann, John Reppy, Lamont Samuels, Nick Seltzer
University of Chicago
A Dynamic Program Analysis to find Floating-Point Accuracy Problems
Florian Benz1, Sebastian Hack1, Andreas Hildebrandt2 1Saarland University, 2Johannes-Gutenberg UniversitÄt Mainz
Self-Stabilizing Java
Yong hun Eom, Brian Demsky
University of California, Irvine
Race Detection for Web Applications
Boris Petrov1, Martin Vechev2, Manu Sridharan3, Julian Dolby3 1Sofia University, 2ETH Zurich, 3IBM T.J. Watson Research Center
