| 4 | -- | 0 | Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben. ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices |
| 5 | -- | 0 | Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover. Prioritising Server Bugs via Inter-process Concolic Testing |
| 6 | -- | 0 | Xin Zhao 0011, Philipp Haller. Consistency types for replicated data in a higher-order distributed programming language |
| 7 | -- | 0 | Hsiang-Shang Ko. Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design |
| 8 | -- | 0 | Michail Papadimitriou, Juan Fumero, Athanasios Stratikopoulos, Foivos S. Zakkak, Christos Kotselidis. Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs |
| 9 | -- | 0 | John Wrenn, Tim Nelson, Shriram Krishnamurthi. Using Relational Problems to Teach Property-Based Testing |
| 10 | -- | 0 | Humberto Rodríguez-Avila, Joeri De Koster, Wolfgang De Meuter. Advanced Join Patterns for the Actor Model based on CEP Techniques |
| 11 | -- | 0 | Katsumi Okuda, Shigeru Chiba. Lake symbols for island parsing |