| 2015 | A formal C memory model supporting integer-pointer casts. Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis |
| 2015 | A simpler, safer programming and execution model for intermittent systems. Brandon Lucia, Benjamin Ransford |
| 2015 | Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack. Maarten Faddegon, Olaf Chitil |
| 2015 | Asynchronous programming, analysis and testing with state machines. Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson |
| 2015 | Automatic error elimination by horizontal code transfer across multiple applications. Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard |
| 2015 | Automatic induction proofs of data-structures in imperative programs. Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh |
| 2015 | Automatically improving accuracy for floating point expressions. Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock |
| 2015 | Autotuning algorithmic choice for input sensitivity. Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O'Reilly, Saman P. Amarasinghe |
| 2015 | Blame and coercion: together again for the first time. Jeremy G. Siek, Peter Thiemann, Philip Wadler |
| 2015 | Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments. Murali Krishna Emani, Michael F. P. O'Boyle |
| 2015 | Composing concurrency control. Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
| 2015 | Compositional certified resource bounds. Quentin Carbonneaux, Jan Hoffmann, Zhong Shao |
| 2015 | Concurrency debugging with differential schedule projections. Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues |
| 2015 | DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. Akash Lal, Shaz Qadeer |
| 2015 | Declarative programming over eventually consistent data stores. K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan |
| 2015 | Defining the undefinedness of C. Chris Hathhorn, Chucky Ellison, Grigore Rosu |
| 2015 | Diagnosing type errors with class. Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2015 | Dynamic partial order reduction for relaxed memory models. Naling Zhang, Markus Kusano, Chao Wang |
| 2015 | Efficient execution of recursive programs on commodity vector hardware. Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni |
| 2015 | Efficient synthesis of network updates. Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster |
| 2015 | Efficient synthesis of probabilistic programs. Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy |
| 2015 | Exploring and enforcing security guarantees via program dependence graphs. Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong |
| 2015 | Finding counterexamples from parsing conflicts. Chinawat Isradisaikul, Andrew C. Myers |
| 2015 | FlashRelate: extracting relational data from semi-structured spreadsheets using examples. Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn |
| 2015 | Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman P. Amarasinghe |
| 2015 | Improving compiler scalability: optimizing large programs at small price. Sanyam Mehta, Pen-Chung Yew |
| 2015 | Interactive parser synthesis by example. Alan Leung, John Sarracino, Sorin Lerner |
| 2015 | KJS: a complete formal semantics of JavaScript. Daejun Park, Andrei Stefanescu, Grigore Rosu |
| 2015 | LaminarIR: compile-time queues for structured streams. Yousun Ko, Bernd Burgstaller, Bernhard Scholz |
| 2015 | Light: replay via tightly bounded recording. Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng |
| 2015 | Lightweight, flexible object-oriented generics. Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers |
| 2015 | Loop and data transformations for sparse matrix code. Anand Venkat, Mary W. Hall, Michelle Strout |
| 2015 | Making numerical program analysis fast. Gagandeep Singh, Markus Püschel, Martin T. Vechev |
| 2015 | Many-core compiler fuzzing. Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson |
| 2015 | Mechanized verification of fine-grained concurrent programs. Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee |
| 2015 | Monitoring refinement via symbolic reasoning. Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | Optimizing off-chip accesses in multicores. Wei Ding, Xulong Tang, Mahmut T. Kandemir, Yuanrui Zhang, Emre Kultursay |
| 2015 | Peer-to-peer affine commitment using bitcoin. Karl Crary, Michael J. Sullivan |
| 2015 | Preventing glitches and short circuits in high-level self-timed chip specifications. Stephen Longfield Jr., Brittany Nkounkou, Rajit Manohar, Ross Tate |
| 2015 | Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015 David Grove, Stephen M. Blackburn |
| 2015 | Profile-guided meta-programming. William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig |
| 2015 | Provably correct peephole optimizations with alive. Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr |
| 2015 | Relatively complete counterexamples for higher-order programs. Phuc C. Nguyen, David Van Horn |
| 2015 | Relaxing safely: verified on-the-fly garbage collection for x86-TSO. Peter Gammie, Antony L. Hosking, Kai Engelhardt |
| 2015 | Stateless model checking concurrent programs with maximal causality reduction. Jeff Huang |
| 2015 | Static detection of asymptotic performance bugs in collection traversals. Oswaldo Olivo, Isil Dillig, Calvin Lin |
| 2015 | Synthesis of machine code from semantics. Venkatesh Srinivasan, Thomas W. Reps |
| 2015 | Synthesis of ranking functions using extremal counterexamples. Laure Gonnord, David Monniaux, Gabriel Radanne |
| 2015 | Synthesizing data structure transformations from input-output examples. John K. Feser, Swarat Chaudhuri, Isil Dillig |
| 2015 | Synthesizing parallel graph programs via automated planning. Dimitrios Prountzos, Roman Manevich, Keshav Pingali |
| 2015 | Synthesizing racy tests. Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan |
| 2015 | Termination and non-termination specification inference. Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin |
| 2015 | The Push/Pull model of transactions. Eric Koskinen, Matthew J. Parkinson |
| 2015 | Tree dependence analysis. Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, Milind Kulkarni |
| 2015 | Type-and-example-directed program synthesis. Peter-Michael Osera, Steve Zdancewic |
| 2015 | Verdi: a framework for implementing and formally verifying distributed systems. James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson |
| 2015 | Verification of a cryptographic primitive: SHA-256 (abstract). Andrew W. Appel |
| 2015 | Verification of producer-consumer synchronization in GPU programs. Rahul Sharma, Michael Bauer, Alex Aiken |
| 2015 | Verifying read-copy-update in a logic for weak memory. Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis |
| 2015 | Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises. Stefan Marr, Chris Seaton, Stéphane Ducasse |