| 2016 | Building object oriented programs out of pieces. | Richard A. O'Keefe |
| 2016 | Towards Making a Computer Tutor for Children of All Ages: A Memo. | Yoshiki Ohshima, Alessandro Warth, Bert Freudenberg, Aran Lunzer, Alan C. Kay |
| 2016 | A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. | Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi |
| 2016 | The Elements of Decision Alignment. | Mark S. Miller, Bill Tulloh |
| 2016 | Composing Interfering Abstract Protocols. | Filipe Milito, Jonathan Aldrich, Lus Caires |
| 2016 | A Context-Oriented Software Architecture. | Kim Mens, Nicols Cardozo, Benot Duhoux |
| 2016 | Transaction Layers: Controlling Granularity of Change in Live Programming Environments. | Toni Mattis, Patrick Rein, Robert Hirschfeld |
| 2016 | Program Tailoring: Slicing by Sequential Criteria. | Yue Li, Tian Tan, Yifei Zhang, Jingling Xue |
| 2016 | Static Type Checking for the Kompics Component Model: Kola - The Kompics Language. | Lars Kroll, Jim Dowling, Seif Haridi |
| 2016 | Satisfaction, Time Investment and Success in Students' Programming Exercise. | Amir Kirsh, Iris Gaber |
| 2016 | A Mechanical Soundness Proof for Subtyping Over Recursive Types. | Timothy Jones, David J. Pearce |
| 2016 | Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic. | Kamil Jezek, Jens Dietrich |
| 2016 | One Way to Select Many. | Jaakko Jrvi, Sean Parent |
| 2016 | Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast. | Bart Jacobs |
| 2016 | Generating Concurrency Checks Automatically. | Jonathan Hoyland, Matthew Hague |
| 2016 | Source language representation of function summaries in static analysis. | Gbor Horvth, Norbert Pataki |
| 2016 | IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. | Daco Harkes, Danny M. Groenewegen, Eelco Visser |
| 2016 | Formal Language Recognition with the Java Type Checker. | Yossi Gil, Tomer Levy |
| 2016 | Coupling catch clauses with local declarations. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2016 | LJGS: Gradual Security Types for Object-Oriented Languages. | Luminous Fennell, Peter Thiemann |
| 2016 | C++ const and Immutability: An Empirical Study of Writes-Through-const. | Jon Eyolfson, Patrick Lam |
| 2016 | On the Potential of Event Sourcing for Retroactive Actor-based Programming. | Benjamin Erb, Gerhard Habiger, Franz J. Hauck |
| 2016 | Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. | Vitor Enes, Carlos Baquero, Paulo Srgio Almeida, Ali Shoker |
| 2016 | Permission and Authority Revisited towards a formalisation. | Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray |
| 2016 | A Note on the Soundness of Difference Propagation. | Jens Dietrich, Nicholas Hollingum, Bernhard Scholz |