| 2013 | Storage strategies for collections in dynamically typed languages. | Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt |
| 2013 | Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications. | Kristof Du Bois, Jennifer B. Sartor, Stijn Eyerman, Lieven Eeckhout |
| 2013 | Combining concern input with program analysis for bloat detection. | Suparna Bhattacharya, Kanchi Gopinath, Mangala Gowri Nanda |
| 2013 | Input-covering schedules for multithreaded programs. | Tom Bergan, Luis Ceze, Dan Grossman |
| 2013 | Investigation of error notifications through categorization. | Michael Bazik |
| 2013 | Unipycation: a case study in cross-language tracing. | Edd Barrett, Carl Friedrich Bolz, Laurence Tratt |
| 2013 | On-the-fly detection of instability problems in floating-point program execution. | Tao Bao, Xiangyu Zhang |
| 2013 | Splash'13 workshops summary. | Stephanie Balzer, Ulrik Pagh Schultz |
| 2013 | Class hierarchy complementation: soundly completing a partial type graph. | George Balatsouras, Yannis Smaragdakis |
| 2013 | Targeted and depth-first exploration for systematic testing of android apps. | Tanzirul Azim, Iulian Neamtiu |
| 2013 | A roadmap to domain specific programming languages for environmental modeling: key requirements and concepts. | Ioannis N. Athanasiadis, Ferdinando Villa |
| 2013 | Declarative programming for the cloud. | Molham Aref |
| 2013 | Model-driven generative framework for automated OMG DDS performance testing in the cloud. | Kyoungho An, Takayuki Kuroda, Aniruddha S. Gokhale, Sumant Tambe, Andrea Sorbini |
| 2013 | Tackling the efficiency problem of gradual typing. | Esteban Allende |
| 2013 | The power of interoperability: why objects are inevitable. | Jonathan Aldrich |
| 2013 | model[NL]generation: natural language model extraction. | Lars Ackermann, Bernhard Volz |
| 2013 | A screen-oriented representation for mobile applications. | Aharon Abadi, Yishai A. Feldman, Konstantin Shagin |
| 2013 | NitroGen: rapid development of mobile applications. | Aharon Abadi, Yael Dubinsky, Andrei Kirshin, Yossi Mesika, Idan Ben-Harrush, Uzy Hadad |
| 2013 | Data-driven equivalence checking. | Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2013 | Dynamic symbol templates and ports in MetaEdit+. | Steven Kelly, Risto Pohjonen |
| 2013 | Mining source code repositories with boa. | Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen |
| 2013 | Empirical comparison of language workbenches. | Steven Kelly |
| 2012 | Citisense: mobile air quality sensing for individuals and communities. | Celal Ziftci, Nima Nikzad, Nakul Verma, Piero Zappi, Elizabeth S. Bales, Ingolf Krueger, William G. Griswold |
| 2012 | The HipHop compiler for PHP. | Haiping Zhao, Iain Proctor, Minghui Yang, Xin Qi, Mark Williams, Qi Gao, Guilherme Ottoni, Andrew Paroski, Scott MacVicar, Jason Evans, Stephen Tu |
| 2012 | Refactoring android Java code for on-demand computation offloading. | Ying Zhang, Gang Huang, Xuanzhe Liu, Wei Zhang, Hong Mei, Shunxiang Yang |