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

Engage: A Deployment Management System
Jeffrey Fischer1, Rupak Majumdar2, Shahram Esmaeilsabzali2
1Genforma Corp., 2MPI-SWS

Understanding and Detecting Real-World Performance Bugs
Guoliang Jin1, Linhai Song1, Xiaoming Shi1, Joel Scherpelz2, Shan Lu1
1University of Wisconsin, Madison, 2Nvidia

And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware
David F. Bacon, Perry Cheng, Sunil Shukla
IBM Research

Polyhedra Scanning Revisited
Chun Chen
University of Utah

Dynamic Trace-Based Analysis of Vectorization Potential of Applications
Justin Holewinski, Ragavendar Ramamurthi, Naznin Fauzia, Mahesh Ravishankar, Louis-Noel Pouchet, Atanas Rountev, P. Sadayappan
Ohio State University

Automated Synthesis of Symbolic Instruction Encodings from I/O Samples
Patrice Godefroid1, Ankur Taly2
1Microsoft Research, 2Stanford University

Parcae: A System for Flexible Parallel Execution
Arun Raman1, Ayal Zaks2, Jae W. Lee 3, David I. August1
1Princeton University, 2Intel Corporation, 3Sungkyunkwan University

Dynamic Synthesis for Relaxed Memory Models
Feng Liu1, Nayden Nedev1, Nedyalko Prisadnikov2, Martin Vechev3, Eran Yahav4
1Princeton University, 2Sofia University, 3ETH Zurich, 4Technion

Language-Based Control and Mitigation of Timing Channels
Danfeng Zhang, Aslan Askarov, Andrew Myers
Cornell University

A Compiler Framework for Extracting Superword Level Parallelism
Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut Kandemir
The Pennsylvania State University

Algorithmic Profiling
Dmitrijs Zaparanuks, Matthias Hauswirth
University of Lugano

Reagents: Expressing and Composing Fine-grained Concurrency
Aaron Turon
Northeastern University

Janus: Exploiting Parallelism via Hindsight
Omer Tripp1, Roman Manevich2, John Field3, Mooly Sagiv1
1Tel Aviv University, 2The University of Texas at Austin, 3Google

Deterministic Parallelism via Liquid Effects
Ming Kawaguchi, Patrick Rondon, Alexander Bakst, Ranjit Jhala
UC San Diego

Chimera: Hybrid Program Analysis for Determinism
Dongyoon Lee, Peter Chen, Jason Flinn, Satish Narayanasamy
University of Michigan, Ann Arbor

Scalable and Precise Dynamic Datarace Detection for Structured Parallelism
Raghavan Raman1, Jisheng Zhao1, Vivek Sarkar1, Martin Vechev2, Eran Yahav3
1Rice University, 2ETH Zurich, 3Technion

Synthesizing Software Verifiers from Proof Rules
Sergey Grebenshchikov1, Nuno Lopes2, Corneliu Popeea1, Andrey Rybalchenko1
1Technical University Munich, 2INESC-ID / IST - TU Lisbon

Speculative Separation for Privatization and Reductions
Nick P. Johnson1, Hanjun Kim1, Prakash Prabhu1, Ayal Zaks 2, David I. August1
1Princeton University, 2Intel Corporation

SuperC: Parsing All of C by Taming the Preprocessor
Paul Gazzillo, Robert Grimm
New York University

Type-Directed Automatic Incrementalization
Yan Chen, Joshua Dunfield, Umut A. Acar
Max Planck Institute for Software Systems

Efficient State Merging in Symbolic Execution
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea

Design and Implementation of Sparse Global Analyses for C-like Languages
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
Seoul National University

Test-Case Reduction for C Compiler Bugs
John Regehr1, Yang Chen1, Pascal Cuoq2, Eric Eide1, Chucky Ellison3, Xuejun Yang4
1University of Utah, 2CEA LIST, 3University of Illinois, 4Microsoft

Logical Inference Techniques for Loop Parallelization
Cosmin E. Oancea, Lawrence Rauchwerger
Texas A&M University

Speculative Linearizability
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Verifying GPU Kernels by Test Amplification
Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner
University of California, San Diego