| 2015 | A co-contextual formulation of type rules and its application to incremental type checking. Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini |
| 2015 | A sound and optimal incremental build system with dynamic dependencies. Sebastian Erdweg, Moritz Lichter, Manuel Weiel |
| 2015 | Accurate profiling in the presence of dynamic compilation. Yudi Zheng, Lubomír Bulej, Walter Binder |
| 2015 | Approximate computation with outlier detection in Topaz. Sara Achour, Martin C. Rinard |
| 2015 | AutoMO: automatic inference of memory order parameters for C/C++11. Peizhao Ou, Brian Demsky |
| 2015 | Automated backward error analysis for numerical code. Zhoulai Fu, Zhaojun Bai, Zhendong Su |
| 2015 | Automatic memory reclamation for lock-free data structures. Nachshon Cohen, Erez Petrank |
| 2015 | Automating ad hoc data representation transformations. Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky |
| 2015 | Automating grammar comparison. Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak |
| 2015 | Checks and balances: constraint solving without surprises in object-constraint programming languages. Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld |
| 2015 | Conditionally correct superoptimization. Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2015 | Cross-layer memory management for managed language applications. Michael R. Jantz, Forrest J. Robinson, Prasad A. Kulkarni, Kshitij A. Doshi |
| 2015 | Customizable gradual polymorphic effects for Scala. Matías Toro, Éric Tanter |
| 2015 | Declarative fence insertion. John Bender, Mohsen Lesani, Jens Palsberg |
| 2015 | Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong |
| 2015 | Disjointness domains for fine-grained aliasing. Stephan Brandauer, Dave Clarke, Tobias Wrigstad |
| 2015 | EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin |
| 2015 | Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine. Ganesha Upadhyaya, Hridesh Rajan |
| 2015 | Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova |
| 2015 | Finding deep compiler bugs via guided stochastic program mutation. Vu Le, Chengnian Sun, Zhendong Su |
| 2015 | FlashMeta: a framework for inductive program synthesis. Oleksandr Polozov, Sumit Gulwani |
| 2015 | Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. David Darais, Matthew Might, David Van Horn |
| 2015 | Giga-scale exhaustive points-to analysis for Java in under a minute. Jens Dietrich, Nicholas Hollingum, Bernhard Scholz |
| 2015 | How scale affects structure in Java programs. Cristina V. Lopes, Joel Ossher |
| 2015 | Incremental computation with names. Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn |
| 2015 | Interactively verifying absence of explicit information flows in Android apps. Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | Learning a strategy for adapting a program analysis via bayesian optimisation. Hakjoo Oh, Hongseok Yang, Kwangkeun Yi |
| 2015 | Optimizing hash-array mapped tries for fast and lean immutable JVM collections. Michael J. Steindorfer, Jurgen J. Vinju |
| 2015 | Partial evaluation of machine code. Venkatesh Srinivasan, Thomas W. Reps |
| 2015 | Performance problems you can fix: a dynamic analysis of memoization opportunities. Luca Della Toffola, Michael Pradel, Thomas R. Gross |
| 2015 | Probability type inference for flexible approximate programming. Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze |
| 2015 | Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015 Jonathan Aldrich, Patrick Eugster |
| 2015 | Programming with enumerable sets of structures. Ivan Kuraj, Viktor Kuncak, Daniel Jackson |
| 2015 | Protocol-based verification of message-passing parallel programs. Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2015 | RAIVE: runtime assessment of floating-point instability by vectorization. Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta |
| 2015 | Reasoning about the POSIX file system: local update and global pathnames. Gian Ntzik, Philippa Gardner |
| 2015 | Remote-scope promotion: clarified, rectified, and verified. John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson |
| 2015 | Runtime pointer disambiguation. Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira |
| 2015 | SATCheck: SAT-directed stateless model checking for SC and TSO. Brian Demsky, Patrick Lam |
| 2015 | Scalable race detection for Android applications. Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2015 | Scrap your boilerplate with object algebras. Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm |
| 2015 | Selective control-flow abstraction via jumping. Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
| 2015 | ShamDroid: gracefully degrading functionality in the presence of limited resource access. Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia |
| 2015 | Stateless model checking of event-driven applications. Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev |
| 2015 | Static analysis of event-driven Node.js JavaScript applications. Magnus Madsen, Frank Tip, Ondrej Lhoták |
| 2015 | Synthesis of layout engines from relational constraints. Thibaud Hottelier, Rastislav Bodík |
| 2015 | Synthesizing Java expressions from free-form queries. Tihomir Gvero, Viktor Kuncak |
| 2015 | The chemical approach to typestate-oriented programming. Silvia Crafa, Luca Padovani |
| 2015 | Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters. Stefan Marr, Stéphane Ducasse |
| 2015 | Use at your own risk: the Java unsafe API in the wild. Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, Nathaniel Nystrom |
| 2015 | Using C language extensions for developing embedded software: a case study. Markus Voelter, Arie van Deursen, Bernd Kolb, Stephan Eberle |
| 2015 | Valor: efficient, software-only region conflict exceptions. Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia |
| 2015 | Vectorization of apply to reduce interpretation overhead of R. Haichuan Wang, David A. Padua, Peng Wu |
| 2015 | Versatile yet lightweight record-and-replay for Android. Yongjian Hu, Tanzirul Azim, Iulian Neamtiu |