| 2015 | A bootstrapping infrastructure to build and extend Pharo-like languages. | Guillermo Polito, Stphane Ducasse, Noury Bouraqadi, Luc Fabresse |
| 2015 | Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. | Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze |
| 2015 | A study on the most popular questions about concurrent programming. | Gustavo Pinto, Weslley Torres, Fernando Castor |
| 2015 | Towards deployment-time dynamic analysis of server applications. | Lus Pina, Cristian Cadar |
| 2015 | Against a universal definition of 'Type'. | Tomas Petricek |
| 2015 | Some usability hypotheses for verification. | David J. Pearce |
| 2015 | AutoMO: automatic inference of memory order parameters for C/C++11. | Peizhao Ou, Brian Demsky |
| 2015 | Empirical performance study of speculative parallel processing on commercial multi-core CPU with hardware transactional memory. | Kanemitsu Ootsu, Yutaka Matsuno, Takeshi Ohkawa, Takashi Yokota, Takanobu Baba |
| 2015 | Learning a strategy for adapting a program analysis via bayesian optimisation. | Hakjoo Oh, Hongseok Yang, Kwangkeun Yi |
| 2015 | Recovering execution data from incomplete observations. | Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps |
| 2015 | Reasoning about the POSIX file system: local update and global pathnames. | Gian Ntzik, Philippa Gardner |
| 2015 | The Oprop verification tool: object propositions in action. | Ligia Nistor |
| 2015 | Automating engineering with a domain-specific language and a code generator. | Al Niessner, Oh-Ig Kwoun, Belinda Randolph, Honghanh Nguyen |
| 2015 | The cuneiform tablets of 2015. | Long Tien Nguyen, Alan C. Kay |
| 2015 | Consensus-based mining of API preconditions in big code. | Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, Hridesh Rajan |
| 2015 | Mixed generative and handcoded development of adaptable data-centric business applications. | Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe |
| 2015 | Management of guided and unguided code generator customizations by using a symbol table. | Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe |
| 2015 | Assessing the benefits of computational offloading in mobile-cloud applications. | Tahmid Nabi, Pranjal Mittal, Pooria Azimi, Danny Dig, Eli Tilevich |
| 2015 | Concurrency control for multithreaded reactive programming. | Ragnar Mogk |
| 2015 | ModeSens: an approach for multi-modal mobile sensing. | Ahmed Abdel Moamen, Nadeem Jamali |
| 2015 | Collaborative annotations for large touchscreen web Applications. | Miran Mirza, Jeff Wilson, Robert Biddle |
| 2015 | The spreadsheet paradigm: a basis for powerful and accessible programming. | Gary Miller |
| 2015 | Safely evolving configurable systems. | Flvio Medeiros |
| 2015 | Experience report: constraint-based modeling of autonomous vehicle trajectories. | Kennon McKeever, Yegeta Zeleke, Matt Bunting, Jonathan Sprinkle |
| 2015 | Evaluating work distribution patterns for parallel bitmap compression over SMPs. | Ben McCamish, Xinghui Zhao, David Chiu, Jason Sawin, Guadalupe Canahuate |