| 2015 | Runtime Enforcement of Security Policies on Black Box Reactive Programs. | Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens |
| 2015 | Building automatic program verifiers. | Peter Mller |
| 2015 | Functors are Type Refinement Systems. | Paul-Andr Mellis, Noam Zeilberger |
| 2015 | Dependent Information Flow Types. | Lusa Loureno, Lus Caires |
| 2015 | Coding by Everyone, Every Day. | Peter Lee |
| 2015 | From Communicating Machines to Graphical Choreographies. | Julien Lange, Emilio Tuosto, Nobuko Yoshida |
| 2015 | Integrating Linear and Dependent Types. | Neelakantan R. Krishnaswami, Ccilia Pradic, Nick Benton |
| 2015 | The story of Arjun Guha, or: the arc of a research project. | Shriram Krishnamurthi |
| 2015 | Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. | Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer |
| 2015 | A Formally-Verified C Static Analyzer. | Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie |
| 2015 | Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
| 2015 | Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. | Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang |
| 2015 | Succinct Representation of Concurrent Trace Sets. | Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach |
| 2015 | Cultivating research taste (illustrated via a journey in program synthesis research). | Sumit Gulwani |
| 2015 | Automating Repetitive Tasks for the Masses. | Sumit Gulwani |
| 2015 | Deep Specifications and Certified Abstraction Layers. | Ronghui Gu, Jrmie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo |
| 2015 | Space-Efficient Manifest Contracts. | Michael Greenberg |
| 2015 | Analyzing Program Analyses. | Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato |
| 2015 | Principal Type Schemes for Gradual Programs. | Ronald Garcia, Matteo Cimini |
| 2015 | A Coalgebraic Decision Procedure for NetKAT. | Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson |
| 2015 | You and your graduate research. | Nate Foster |
| 2015 | Probabilistic Termination: Soundness, Completeness, and Compositionality. | Luis Mara Ferrer Fioriti, Holger Hermanns |
| 2015 | Proof Spaces for Unbounded Parallelism. | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
| 2015 | On Characterizing the Data Access Complexity of Programs. | Venmugil Elango, Fabrice Rastello, Louis-Nol Pouchet, J. Ramanujam, P. Sadayappan |
| 2015 | Differential Privacy: Now it's Getting Personal. | Hamid Ebadi, David Sands, Gerardo Schneider |