| 0 | -- | 0 | Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen. Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal |
| 0 | -- | 0 | Laura Bocchi, Dominic Orchard, A. Laura Voinea. A Theory of Composing Protocols |
| 0 | -- | 0 | Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix. Out-of-Things Debugging: A Live Debugging Approach for Internet of Things |
| 0 | -- | 0 | Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi. Little Tricky Logic: Misconceptions in the Understanding of LTL |