| 2016 | Low-overhead and fully automated statistical debugging with abstraction refinement. | Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu |
| 2016 | Leveraging a corpus of natural language descriptions for program similarity. | Meital Zilberstein, Eran Yahav |
| 2016 | Pattern specification and application in metamodels in ecore. | Jia Zhang, Mark van den Brand, Ana-Maria Suti, Marc Hamilton |
| 2016 | xWIDL: modular and deep JavaScript API misuses checking based on extended WebIDL. | Zhen Zhang |
| 2016 | Mobile application test case generation focusing on external events. | Siena Yu, Shingo Takada |
| 2016 | Extracting code from programming tutorial videos. | Shir Yadid, Eran Yahav |
| 2016 | Variability mining of state charts. | David Wille, Sandro Schulze, Ina Schaefer |
| 2016 | Scalable verification of border gateway protocol configurations with an SMT solver. | Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock |
| 2016 | Multitier reactive abstractions. | Pascal Weisenburger |
| 2016 | FIDEX: filtering spreadsheet data using examples. | Xinyu Wang, Sumit Gulwani, Rishabh Singh |
| 2016 | A sampling-based approach to accelerating queries in log management systems. | Tal Wagner, Eric Schkufza, Udi Wieder |
| 2016 | Benefits of session types for software development. | Adriana Laura Voinea, Simon J. Gay |
| 2016 | Lessons learned about language engineering from the development of mbeddr (keynote). | Markus Voelter |
| 2016 | Removing stagnation from modern code review. | Giovanni Viviani, Gail C. Murphy |
| 2016 | Exhaustive analysis of thread-level speculation. | Clark Verbrugge, Christopher J. F. Pickett, Alexander Krolik, Allan Kielstra |
| 2016 | Data collection requirements for mobile connected health: an end user development approach. | Jos Juan Dominguez Veiga, Tomas E. Ward |
| 2016 | Improving trace-based JIT optimisation using whole-program information. | Maarten Vandercammen, Coen De Roover |
| 2016 | Dependent partitioning. | Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken |
| 2016 | Applying test-driven development for creating and refining domain-specific modeling languages and generators. | Juha-Pekka Tolvanen |
| 2016 | Dedicated support for analyses and optimizations in language workbenches. | Tams Szab |
| 2016 | Automatic parallelization of pure method calls via conditional future synthesis. | Rishi Surendran, Vivek Sarkar |
| 2016 | Finding compiler bugs via live code mutation. | Chengnian Sun, Vu Le, Zhendong Su |
| 2016 | A quantitative study of Java software buildability. | Mats Sulr, Jaroslav Porubn |
| 2016 | Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank. | Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju, Joost Bosman |
| 2016 | Computing repair alternatives for malformed programs using constraint attribute grammars. | Friedrich Steimann, Jrg Hagemann, Bastian Ulke |