| 2015 | Scalable race detection for Android applications. | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
| 2015 | ATL-MR: model transformation on MapReduce. | Amine Benelallam, Abel Gmez, Massimo Tisi |
| 2015 | Declarative fence insertion. | John Bender, Mohsen Lesani, Jens Palsberg |
| 2015 | An interactive approach to mobile app verification. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | Interactively verifying absence of explicit information flows in Android apps. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | Toward tool support for interactive synthesis. | Shaon Barman, Rastislav Bodk, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler |
| 2015 | How Dart learned from past object-oriented systems (keynote). | Lars Bak |
| 2015 | Panini: a concurrent programming model with modular reasoning. | Mehdi Bagherzadeh |
| 2015 | Infection size as a measure of bug severity. | Mohammad R. Azadmanesh, Matthias Hauswirth |
| 2015 | SQL for deep dynamic analysis? | Mohammad R. Azadmanesh, Matthias Hauswirth |
| 2015 | Towards secure integration of cryptographic software. | Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini |
| 2015 | Porting the NetBeans Java 8 enhanced for loop lambda expression refactoring to eclipse. | Md. Arefin, Raffi Khatchadourian |
| 2015 | Systematic evaluation of three data marshalling approaches for distributed software systems. | Hugo Sica de Andrade, Federico Giaimo, Christian Berger, Ivica Crnkovic |
| 2015 | Privacy and security constraints for code contributions. | Rodrigo Andrade |
| 2015 | Runtime pointer disambiguation. | Pricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quinto Pereira |
| 2015 | Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem. | Waqar Ahmad, Joshua Sunshine, Christian Kstner, Adam S. Wynne |
| 2015 | One parser to rule them all. | Ali Afroozeh, Anastasia Izmaylova |
| 2015 | Approximate computation with outlier detection in Topaz. | Sara Achour, Martin C. Rinard |
| 2015 | Mobile computing to support sustainability. | Aharon Abadi, Lori Flynn, Jeff Gray, Aaron J. Gordon |
| 2015 | Mobile security: challenges, tools, and techniques (panel). | Aharon Abadi, Lori Flynn, Jeff Gray |
| 2015 | Workshop preview of the 3rd international workshop on mobile development lifecycle (MobileDeLi 2015). | Aharon Abadi, Lori Flynn, Jeff Gray |
| 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 | Conditionally correct superoptimization. | Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2015 | Demonstrating programming language feature mining using Boa. | Robert Dyer, Hridesh Rajan, Tien N. Nguyen, Hoan Anh Nguyen |
| 2014 | Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations. | Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu |