Using Managed Runtime Systems to Tolerate Holes in Wearable Memories	Tiejun Gao, Australian National University, Australia Karin Strauss, Microsoft Research and Univ. of Washington, United States Kathryn McKinley, Microsoft Research and Univ. of Texas, Austin, United States Steve Blackburn, Australian National University, Australia James Larus, Microsoft Research, United States Doug Burger, Microsoft Research and Univ. of Washington, United States
Concurrent Libraries with Foresight	Guy Golan Gueta, Tel Aviv University, Israel G Ramalingam, Microsoft Research, India Mooly Sagiv, Tel Aviv University, Israel Eran Yahav, Technion, Israel
Taming Compiler Fuzzers	Yang Chen, School of Computing, University of Utah, United States Alex Groce, School of Electrical Engineering and Computer Science, Oregon State University, United States Chaoqiang Zhang, School of Electrical Engineering and Computer Science, Oregon State University, United States Weng-Keen Wong, School of Electrical Engineering and Computer Science, Oregon State University, United States Xiaoli Fern, School of Electrical Engineering and Computer Science, Oregon State University, United States Eric Eide, School of Computing, University of Utah, United States John Regehr, School of Computing, University of Utah, United States
Specifying Protocols with Concolic Snippets	Abhishek Udupa, University of Pennsylvania, United States Arun Raghavan, University of Pennsylvania, United States Jyotirmoy V. Deshmukh, University of Pennsylvania, United States Sela Mador-Haim, University of Pennsylvania, United States Milo M. K. Martin, University of Pennsylvania, United States Rajeev Alur, University of Pennsylvania, United States
AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging	Wei-Lun Hung, The University of Texas at Austin, United States Vijay K. Garg, The University of Texas at Austin, United States
Limitations of Partial Compaction: Towards Practical Bounds	Nachshon Cohen, Technion, Israel Erez Petrank, Technion, Israel
Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines	Jonathan Ragan-Kelley, MIT CSAIL, United States Connelly Barnes, Adobe, United States Andrew Adams, MIT CSAIL, United States Sylvain Paris, Adobe, United States Fredo Durand, MIT CSAIL, United States Saman Amarasinghe, MIT CSAIL, United States
Fast Condensation of the Program Dependence Graph	Nick P. Johnson, Princeton University, United States Taewook Oh, Princeton University, United States Ayal Zaks, Intel Corporation, Israel David I. August, Princeton University, United States
Quipper: A Scalable Quantum Programming Language	Alexander S. Green, Dalhousie University, Canada Peter LeFanu Lumsdaine, Institute of Advanced Studies, United States Neil J. Ross, Dalhousie University, Canada Peter Selinger, Dalhousie University, Canada Benoît Valiron, University of Pennsylvania, United States
Verifying Higher-order Programs with the Dijkstra Monad	Nikhil Swamy, Microsoft Research, United States Joel Weinberger, UC Berkeley, United States Cole Schlesinger, Princeton University, United States Juan Chen, Microsoft Research, United States Benjamin Livshits, Microsoft Research, United States
An Architecture for Machine-Verified Network Controllers	Mark Reitblatt, Cornell, United States Arjun Guha, Cornell, United States Nate Foster, Cornell, United States
Towards Static Analysis for Probabilistic Programs	Sriram Sankaranarayanan, University of Colorado, Boulder, United States Aleksandar Chakarov, University of Colorado, Boulder, United States Sumit Gulwani, Microsoft Research, Redmond, USA, United States
Optimizing Database-Backed Applications with Program Synthesis	Alvin Cheung, MIT CSAIL, United States Armando Solar-Lezama, MIT CSAIL, United States Samuel Madden, MIT CSAIL, United States
SMAT: An Input Adaptive Auto-Tuner for Sparse Matrix-Vector Multiplication	Jiajia Li, Institute of Computing Technology, Chinese Academy of Sciences, China Guangming Tan, Institute of Computing Technology, Chinese Academy of Sciences, China
General Data Structure Expansion for Multi-threading	Hongtao Yu, Purdue University, United States Hou-Jen Ko, Purdue University, United States Zhiyuan Li, Purdue University, United States
Binary Verification of an OS Microkernel	Thomas Sewell, NICTA, Australia Magnus O. Myreen, University of Cambridge, United Kingdom Gerwin Klein, NICTA & UNSW, Australia
P: Safe Asynchronous Event-Driven Programming	Ankush Desai, Microsoft Research India, India Vivek Gupta, Microsoft, United States Ethan Jackson, Microsoft Research Redmond, United States Shaz Qadeer, Microsoft Research Redmond, United States Sriram Rajamani, Microsoft Research India, India Damien Zufferey, IST Austria, Austria
Finding Optimum Abstractions in Parametric Dataflow Analysis	Xin Zhang, Georgia Institute of Technology, United States Mayur Naik, Georgia Institute of Technology, United States Hongseok Yang, University of Oxford, United Kingdom
Thresher: Precise Refutations for Heap Reachability	Sam Blackshear, University of Colorado, United States Bor-Yuh Evan Chang, University of Colorado, United States Manu Sridharan, IBM Research, United States
Separation of Tasks for Effective Vector-SIMD Code Generation	Martin Kong, Ohio State University, Venezuela Richard Veras, Carnegie Mellon University, United States Kevin Stock, Ohio State University, United States Franz Franchetti, Carnegie Mellon University, United States Louis-Noel Pouchet, University California Los Angeles, United States P. Sadayappan, Ohio State University, United States
Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings	Sam Blackshear, University of Colorado Boulder, United States Shuvendu Lahiri, Microsoft Research, Redmond, United States
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data	Colin S. Gordon, University of Washington, United States Michael D. Ernst, University of Washington, United States Dan Grossman, University of Washington, United States
Modular Verification of Linearizability with Non-Fixed Linearization Points	Hongjin Liang, University of Science and Technology of China, China Xinyu Feng, University of Science and Technology of China, China
How to combine widening and narrowing for non-monotonic systems of equations	Kalmer Apinis, TU München, Germany Helmut Seidl, TU München, Germany Vesal Vojdani, TU München, Germany
Hybrid Context-Sensitivity for Points-To Analysis	George Kastrinis, Dept. of Informatics, University of Athens, Greece Yannis Smaragdakis, Dept. of Informatics, University of Athens, Greece
Complete Completion using Types and Weights	Tihomir Gvero, EPFL, Switzerland Viktor Kuncak, EPFL, Switzerland Ivan Kuraj, EPFL, Switzerland Ruzica Piskac, MPI-SWS, Germany
Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III	Ben L. Titzer, Google, United States
Steal Tree: Low-Overhead Tracing of Work Stealing Schedulers	Jonathan Lifflander, Univ. of Illinois Urbana-Champaign, United States Sriram Krishnamoorthy, Pacific Northwest National Lab, United States Laxmikant V Kale, Univ. of Illinois Urbana-Champaign, United States
Reconciling Exhaustive Pattern Matching with Objects	Chinawat Isradisaikul, Cornell University, United States Andrew C. Myers, Cornell University, United States
Automated Feedback Generation for Introductory Programming Assignments	Rishabh Singh, MIT CSAIL, United States Sumit Gulwani, Microsoft Research Redmond, United States Armando Solar-Lezama, MIT CSAIL, United States
Fast RMWs for TSO: Semantics and Implementation	Bharghava Rajaram, University of Edinburgh, United Kingdom Vijay Nagarajan, University of Edinburgh, United Kingdom Susmit Sarkar, University of Cambridge, United Kingdom Marco Elver, University of Edinburgh, United Kingdom
Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model	Robin Morisset, ENS & INRIA, France Pankaj Pawan, IIT Kanpur & INRIA, France Francesco Zappa Nardelli, INRIA, France
Asynchronous Functional Reactive Programming for GUIs	Evan Czaplicki, Harvard University, United States Stephen Chong, Harvard University, United States
CONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs	Jacob Burnim, University of California, Berkeley, United States Tayfun Elmas, Google Inc., United States George Necula, University of California, Berkeley, United States Koushik Sen, University of California, Berkeley, United States
A General Constraint-centric Scheduling Framework for Spatial Architectures	Tony Nowatzki, UW Madison, United States Michael Sartin-Tarm, UW Madison, United States Lorenzo De Carli, UW Madison, United States Karthikeyan Sankaralingam, UW Madison, United States Cristian Estan, Broadcom, United States Behnam Robatmili, Qualcomm, United States
Reasoning about Nondeterminism in Programs	Byron Cook, Microsoft Research, Cambridge, United Kingdom Eric Koskinen, New York University, United States
Monadic Abstract Interpreters	Ilya Sergey, KU Leuven, Belgium Dominique Devriese, KU Leuven, Belgium Matthew Might, University of Utah, United States Jan Midtgaard, Aarhus University, Denmark David Darais, Harvard University, United States Dave Clarke, KU Leuven, Belgium Frank Piessens, KU Leuven, Belgium
Formal verification of SSA-based optimizations for LLVM	Jianzhou Zhao, Department of Computer and Information Science, University of Pennsylvania, United States Santosh Nagarakatte, Department of Computer and Information Science, University of Pennsylvania, United States Milo M. K. Martin, Department of Computer and Information Science, University of Pennsylvania, United States Steve Zdancewic, Department of Computer and Information Science, University of Pennsylvania, United States
Scalable Variable and Data Type Detection in a Binary Rewriter	Khaled ElWazeer, University of Maryland College Park, United States Kapil Anand, University of Maryland College Park, United States Aparna Kotha, University of Maryland College Park, United States Matthew Smithson, University of Maryland College Park, United States Rajeev Barua, University of Maryland College Park, United States
Terra: A Multi-Stage Language for High-Performance Computing	Zachary DeVito, Stanford University, United States James Hegarty, Stanford University, United States Jan Vitek, Purdue University, United States Alex Aiken, Stanford University, United States Pat Hanrahan, Stanford University, United States
CLAP: Recording Local Executions to Reproduce Concurrency Failures	Jeff Huang, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hong Kong Charles Zhang, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hong Kong Julian Dolby, IBM Thomas J. Watson Research Center, United States
SPLlift - Statically Analyzing Software Product Lines in Minutes Instead of Years	Eric Bodden, Secure Software Engineering Group, EC SPRIDE, Technische Universität Darmstadt, Germany Tarsis Toledo, Informatics Center, Federal University of Pernambuco, Brazil Márcio Ribeiro, Informatics Center, Federal University of Pernambuco, Brazil Claus Brabrand, Software and Systems Section, IT University of Copenhagen, Denmark Paulo Borba, Informatics Center, Federal University of Pernambuco, Brazil Mira Mezini, Software Technology Group, Technische Universität Darmstadt, Germany
Dynamic Determinacy Analysis	Max Schaefer, IBM T.J. Watson Research Center, United States Manu Sridharan, IBM T.J. Watson Research Center, United States Julian Dolby, IBM T.J. Watson Research Center, United States Frank Tip, University of Waterloo, Canada
Natural Proofs for Structure, Data, and Separation	Xiaokang Qiu, University of Illinois at Urbana-Champaign, United States Pranav Garg, University of Illinois at Urbana-Champaign, United States Andrei Stefanescu, University of Illinois at Urbana-Champaign, United States Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, United States
It's Alive! Continuous Feedback in UI Programming	Sebastian Burckhardt, Microsoft Research, United States Manuel Fahndrich, Microsoft Research, United States Peli de Halleux, Microsoft Research, United States Jun Kato, The University of Tokyo, Japan Sean McDirmid, Microsoft Research, China Michal Moskal, Microsoft Research, United States Nikolai Tillmann, Microsoft Research, United States
Fast Algorithms for Dyck-CFL Reachability with Applications to Alias Analysis	Qirun Zhang, The Chinese University of Hong Kong, Hong Kong Michael R. Lyu, The Chinese University of Hong Kong, Hong Kong Hao Yuan, City University of Hong Kong, Hong Kong Zhendong Su, University of California, Davis, United States