| 2019 | ECOOP | Godot: All the Benefits of Implicit and Explicit Futures. | Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad |
| 2018 | Coordination | Forward to a Promising Future. | Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo |
| 2018 | MODELS | The impact of opt-in gamification on students' grades in a software design course. | Kiko Fernandez-Reyes, Dave Clarke, Janina Hornbach |
| 2016 | Coordination | ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. | Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain |
| 2016 | SAC | Implementing a secure abstract machine. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | APLAS | A Secure Compiler for ML Modules. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | OOPSLA | Disjointness domains for fine-grained aliasing. | Stephan Brandauer, Dave Clarke, Tobias Wrigstad |
| 2015 | SEFM | Formalizing a Secure Foreign Function Interface. | Adriaan Larmuseau, Dave Clarke |
| 2015 | SETTA | A High-Level Model for an Assembly Language Attacker by Means of Reflection. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2014 | ECOOP | Operational Semantics for Secure Interoperation. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2014 | ITiCSE | In-Flow Peer Review. | Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad |
| 2014 | SAC | Fully abstract trace semantics for low-level isolation mechanisms. | Marco Patrignani, Dave Clarke |
| 2014 | SecureComm | \mathrmCPS^2 : A Contextual Privacy Framework for Social Software. | Rula Sayaf, Dave Clarke, Richard Harper |
| 2013 | APLAS | Secure Compilation of Object-Oriented Components to Protected Module Architectures. | Marco Patrignani, Dave Clarke, Frank Piessens |
| 2013 | Coordination | Interactive Interaction Constraints. | Jos Proena, Dave Clarke |
| 2013 | GPCE | Executable modelling of dynamic software product lines in the ABS language. | Radu Muschevici, Dave Clarke, Jos Proena |
| 2013 | PEPM | Fixing idioms: a recursion primitive for applicative DSLs. | Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens |
| 2013 | PLDI | Monadic abstract interpreters. | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens |
| 2013 | SPLC | Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. | Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee |
| 2012 | Coordination | Partial Connector Colouring. | Dave Clarke, Jos Proena |
| 2012 | Coordination | Subobject Transactional Memory. | Marko van Dooren, Dave Clarke |
| 2012 | ESOP | Gradual Ownership Types. | Ilya Sergey, Dave Clarke |
| 2012 | FORTE | Noninterference via Symbolic Execution. | Dimiter Milushev, Wim Beck, Dave Clarke |
| 2012 | ICDM | Interactive Grouping of Friends in OSN: Towards Online Context Management. | Bo Gao, Bettina Berendt, Dave Clarke, Ralf De Wolf, Thomas Peetz, Jo Pierson, Rula Sayaf |
| 2012 | ISoLA | Conflict Detection in Delta-Oriented Programming. | Michael Lienhardt, Dave Clarke |
| 2012 | MPC | Calculating Graph Algorithms for Dominance and Shortest Path. | Ilya Sergey, Jan Midtgaard, Dave Clarke |
| 2012 | SAC | Dreams: a framework for distributed synchronous coordination. | Jos Proena, Dave Clarke, Erik P. de Vink, Farhad Arbab |
| 2011 | FORTE | Ownership Types for the Join Calculus. | Marco Patrignani, Dave Clarke, Davide Sangiorgi |
| 2011 | SEFM | Modular Modelling of Software Product Lines with Feature Nets. | Radu Muschevici, Jos Proena, Dave Clarke |
| 2010 | GPCE | Abstract delta modeling. | Dave Clarke, Michiel Helvensteijn, Ina Schaefer |
| 2010 | SPLC | HATS - A Formal Software Product Line Engineering Methodology. | Dave Clarke, Nikolay Diakov, Reiner Hhnle, Einar Broch Johnsen, Germn Puebla, Balthasar Weitzel, Peter Y. H. Wong |
| 2010 | SPLC | Towards a Theory of Views for Feature Models. | Dave Clarke, Jos Proena |
| 2010 | SPLC | Feature Petri Nets. | Radu Muschevici, Dave Clarke, Jos Proena |
| 2009 | Coordination | Automata for Context-Dependent Connectors. | Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
| 2009 | ECOOP | How should context-escaping closures proceed? | Dave Clarke, Pascal Costanza, ric Tanter |
| 2009 | ECOOP | A semantics for context-oriented programming with layers. | Dave Clarke, Ilya Sergey |
| 2009 | SAC | Decomposing port automata. | Christian Koehler, Dave Clarke |
| 2008 | APLAS | Minimal Ownership for Active Objects. | Dave Clarke, Tobias Wrigstad, Johan stlund, Einar Broch Johnsen |
| 2008 | SEFM | Modeling Component Connectors: Synchronisation and Context-Dependency. | Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke |
| 2007 | DC | Audience-Centric Taxonomy: Using Taxonomies to Support Heterogeneous User Communities. | Dave Clarke, Pei Jiun Tan |
| 2007 | ESOP | A Complete Guide to the Future. | Frank S. de Boer, Dave Clarke, Einar Broch Johnsen |
| 2006 | OOPSLA | Generic ownership for generic Java. | Alex Potanin, James Noble, Dave Clarke, Robert Biddle |
| 2005 | FM | Controlling Object Allocation Using Creation Guards. | Cees Pierik, Dave Clarke, Frank S. de Boer |
| 2004 | ISoLA | Modelling Coordination in Biological Systems. | Dave Clarke, David Costa, Farhad Arbab |
| 2004 | ISoLA | Modelling Coordination in Biological Systems. | Dave Clarke, David Costa, Farhad Arbab |
| 2004 | PADL | UUXML: A Type-Preserving XML Schema-Haskell Data Binding. | Frank Atanassow, Dave Clarke, Johan Jeuring |
| 2003 | ECOOP | External Uniqueness Is Unique Enough. | Dave Clarke, Tobias Wrigstad |
| 2003 | ICFP | Dependency-style generic Haskell. | Andres Lh, Dave Clarke, Johan Jeuring |