| 2015 | LaminarIR: compile-time queues for structured streams. | Yousun Ko, Bernd Burgstaller, Bernhard Scholz |
| 2015 | Loo.py: from fortran to performance via transformation and substitution rules. | Andreas Klckner |
| 2015 | Performance search engine driven by prior knowledge of optimization. | Youngsung Kim, Pavol Cern, John M. Dennis |
| 2015 | A formal C memory model supporting integer-pointer casts. | Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis |
| 2015 | Fold-based fusion as a library: a generative programming pearl. | Manohar Jonnalagedda, Sandro Stucki |
| 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 | Scalable parallel numerical constraint solver using global load balancing. | Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura |
| 2015 | Stateless model checking concurrent programs with maximal causality reduction. | Jeff Huang |
| 2015 | Accelerating information experts through compiler design. | Aaron W. Hsu |
| 2015 | Optimization of x10 programs with ROSE compiler infrastructure. | Michihiro Horie, Mikio Takeuchi, Kiyokuni Kawachiya, David Grove |
| 2015 | Defining the undefinedness of C. | Chris Hathhorn, Chucky Ellison, Grigore Rosu |
| 2015 | Synthesis of ranking functions using extremal counterexamples. | Laure Gonnord, David Monniaux, Gabriel Radanne |
| 2015 | Velociraptor: a compiler toolkit for array-based languages targeting CPUs and GPUs. | Rahul Garg, Sameer Jagdale, Laurie J. Hendren |
| 2015 | Relaxing safely: verified on-the-fly garbage collection for x86-TSO. | Peter Gammie, Antony L. Hosking, Kai Engelhardt |
| 2015 | Towards an efficient fault-tolerance scheme for GLB. | Claudia Fohry, Marco Bungart, Jonas Posner |
| 2015 | Synthesizing data structure transformations from input-output examples. | John K. Feser, Swarat Chaudhuri, Isil Dillig |
| 2015 | Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack. | Maarten Faddegon, Olaf Chitil |
| 2015 | Monitoring refinement via symbolic reasoning. | Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments. | Murali Krishna Emani, Michael F. P. O'Boyle |
| 2015 | Optimizing off-chip accesses in multicores. | Wei Ding, Xulong Tang, Mahmut T. Kandemir, Yuanrui Zhang, Emre Kultursay |
| 2015 | Autotuning algorithmic choice for input sensitivity. | Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O'Reilly, Saman P. Amarasinghe |
| 2015 | Asynchronous programming, analysis and testing with state machines. | Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson |
| 2015 | Peer-to-peer affine commitment using bitcoin. | Karl Crary, Michael J. Sullivan |
| 2015 | Array programming in pascal. | W. Paul Cockshott, Ciaran Mcreesh, Susanne Oehler, Youssef Gdura |