Dave Clarke

ORCID

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 14

Top Venues

Sci. Comput. Program.

COORDINATION

SAC

NordSec

Publications

Marco Patrignani, Amal Ahmed, Dave Clarke
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. ACM Comput. Surv. 51 (6) (2019)
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
Godot: All the Benefits of Implicit and Explicit Futures (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
Godot: All the Benefits of Implicit and Explicit Futures. ECOOP (2019)
Kiko Fernandez-Reyes, Dave Clarke, Janina Hornbach
The impact of opt-in gamification on students' grades in a software design course. MoDELS (Companion) (2018)
Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo
Forward to a Promising Future. COORDINATION (2018)
Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad, Albert Mingkun Yang
Attached and detached closures in actors. AGERE!@SPLASH (2018)
José Proença, Dave Clarke
Typed connector families and their semantics. Sci. Comput. Program. 146 (2017)
Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. COORDINATION (2016)
Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk
A formal model of service-oriented dynamic object groups. Sci. Comput. Program. (2016)
Maurice H. ter Beek, Dave Clarke, Ina Schaefer
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. 85 (1) (2016)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
Implementing a secure abstract machine. SAC (2016)
Dave Clarke, Tobias Wrigstad
Vats: A Safe, Reactive Storage Abstraction. Theory and Practice of Formal Methods (2016)
Radu Muschevici, José Proença, Dave Clarke
Feature Nets: behavioural modelling of software product lines. Softw. Syst. Model. 15 (4) (2016)
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A procedure for splitting data-aware processes and its application to coordination. Sci. Comput. Program. (2016)
Marco Patrignani, Dave Clarke
Fully abstract trace semantics for protected module architectures. Comput. Lang. Syst. Struct. 42 (2015)
Rula Sayaf, Sören Preibusch, Dave Clarke
Contextual Healing: Privacy through Interpretation Management. SmartCity (2015)
José Proença, Dave Clarke
Typed Connector Families. FACS (2015)
Stephan Brandauer, Dave Clarke, Tobias Wrigstad
Disjointness domains for fine-grained aliasing. OOPSLA (2015)
Wilfried Daniels, José Proença, Dave Clarke, Wouter Joosen, Danny Hughes
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications. CBSE (2015)
Rula Sayaf, Dave Clarke, James B. Rule
The other side of privacy: surveillance in data control. BCS HCI (2015)
Adriaan Larmuseau, Dave Clarke
Formalizing a Secure Foreign Function Interface. SEFM (2015)
Dave Clarke, Michiel Helvensteijn, Ina Schaefer
Abstract delta modelling. Math. Struct. Comput. Sci. 25 (3) (2015)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
A High-Level Model for an Assembly Language Attacker by Means of Reflection. SETTA (2015)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
A Secure Compiler for ML Modules. APLAS (2015)
Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens
Secure Compilation to Protected Module Architectures. ACM Trans. Program. Lang. Syst. 37 (2) (2015)
Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM (2015)
Marco Patrignani, Dave Clarke
Fully abstract trace semantics for low-level isolation mechanisms. SAC (2014)
Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad
Scaling Future Software: The Manycore Challenge. ERCIM News 2014 (99) (2014)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
Operational Semantics for Secure Interoperation. PLAS@ECOOP (2014)
Rula Sayaf, Dave Clarke, Richard Harper
\mathrmCPS^2 : A Contextual Privacy Framework for Social Software. SecureComm (2) (2014)
Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad
In-Flow Peer Review. ITiCSE-WGR (2014)
Marco Patrignani, Dave Clarke, Frank Piessens
Secure Compilation of Object-Oriented Components to Protected Module Architectures. APLAS (2013)
Radu Muschevici, Dave Clarke, José Proença
Executable modelling of dynamic software product lines in the ABS language. FOSD (2013)
Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens
Fixing idioms: a recursion primitive for applicative DSLs. PEPM (2013)
Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. SPLC (2013)
Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
Monadic abstract interpreters. PLDI (2013)
José Proença, Dave Clarke
Data Abstraction in Coordination Constraints. ESOCC Workshops (2013)
Dimiter Milushev, Dave Clarke
Incremental Hyperproperty Model Checking via Games. NordSec (2013)
José Proença, Dave Clarke
Interactive Interaction Constraints. COORDINATION (2013)
Dave Clarke, Gul Agha
Preface to the special issue on Coordination Models and Languages (Coordination 2010). Sci. Comput. Program. 78 (2) (2013)
Ilya Sergey, Jan Midtgaard, Dave Clarke
Calculating Graph Algorithms for Dominance and Shortest Path. MPC (2012)
Marcello M. Bonsangue, Dave Clarke, Alexandra Silva
A model of context-dependent component connectors. Sci. Comput. Program. 77 (6) (2012)
Michael Lienhardt, Dave Clarke
Row types for delta-oriented programming. VaMoS (2012)
Marko van Dooren, Dave Clarke
Subobject Transactional Memory. COORDINATION (2012)
Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela
Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transf. 14 (5) (2012)
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
A Type-Safe Model of Adaptive Object Groups FOCLASA (2012)
Dimiter Milushev, Dave Clarke
Coinductive Unwinding of Security-Relevant Hyperproperties. NordSec (2012)
Ilya Sergey, Dave Clarke
A correspondence between type checking via reduction and type checking via evaluation. Inf. Process. Lett. 112 (1-2) (2012)
Ilya Sergey, Dave Clarke
Gradual Ownership Types. ESOP (2012)
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
Dreams: a framework for distributed synchronous coordination. SAC (2012)
Michael Lienhardt, Dave Clarke
Conflict Detection in Delta-Oriented Programming. ISoLA (1) (2012)
Bo Gao, Bettina Berendt, Dave Clarke, Ralf De Wolf, Thomas Peetz, Jo Pierson, Rula Sayaf
Interactive Grouping of Friends in OSN: Towards Online Context Management. ICDM Workshops (2012)
Dave Clarke, José Proença
Partial Connector Colouring. COORDINATION (2012)
Dimiter Milushev, Wim Beck, Dave Clarke
Noninterference via Symbolic Execution. FMOODS/FORTE (2012)
Marko van Dooren, Dave Clarke, Bart Jacobs
Subobject-Oriented Programming. FMCO (2012)
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A Procedure for Splitting Processes and its Application to Coordination FOCLASA (2012)
Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke
Formal analysis of policies in wireless sensor network applications. SESENA (2012)
Dimiter Milushev, Dave Clarke
Towards Incrementalization of Holistic Hyperproperties. POST (2012)
Ilya Sergey, Dave Clarke
From type checking by recursive descent to type checking with an abstract machine. LDTA (2011)
Marco Patrignani, Dave Clarke, Davide Sangiorgi
Ownership Types for the Join Calculus. FMOODS/FORTE (2011)
Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
Büchi automata for modeling component connectors. Softw. Syst. Model. 10 (2) (2011)
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76 (8) (2011)
Radu Muschevici, José Proença, Dave Clarke
Modular Modelling of Software Product Lines with Feature Nets. SEFM (2011)
Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM (2011)
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
Decoupled execution of synchronous coordination models via behavioural automata FOCLASA (2011)
Dave Clarke, David Eppstein, Kaveh Ghasemloo, Lev Reyzin, András Z. Salamon, Peter W. Shor, Aaron D. Sterling, Suresh Venkatasubramanian
Questions answered. in theory.: http://cstheory.stackexchange.com/. SIGACT News 41 (4) (2010)
Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong
HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops (2010)
Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte
Variability Modelling in the ABS Language. FMCO (2010)
Dave Clarke, José Proença
Towards a Theory of Views for Feature Models. SPLC Workshops (2010)
Dave Clarke, Michiel Helvensteijn, Ina Schaefer
Abstract delta modeling. GPCE (2010)
Radu Muschevici, Dave Clarke, José Proença
Feature Petri Nets. SPLC Workshops (2010)
Dave Clarke, Einar Broch Johnsen, Olaf Owe
Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness (2010)
Christian Koehler, Dave Clarke
Decomposing port automata. SAC (2009)
Marcello M. Bonsangue, Dave Clarke, Alexandra Silva
Automata for Context-Dependent Connectors. COORDINATION (2009)
Dave Clarke, José Proença
Coordination via Interaction Constraints I: Local Logic ICE (2009)
Dave Clarke, Pascal Costanza, Éric Tanter
How should context-escaping closures proceed? COP@ECOOP (2009)
Dave Clarke, Ilya Sergey
A semantics for context-oriented programming with layers. COP@ECOOP (2009)
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
Deconstructing Reo. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom
Ownership, Uniqueness, and Immutability. TOOLS (46) (2008)
Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
Minimal Ownership for Active Objects. APLAS (2008)
Dave Clarke
A Basic Logic for Reasoning about Connector Reconfiguration. Fundam. Informaticae 82 (4) (2008)
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
Tiles for Reo. WADT (2008)
Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops (2008)
José Proença, Dave Clarke
Coordination Models Orc and Reo Compared. Electron. Notes Theor. Comput. Sci. 194 (4) (2008)
Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM (2008)
John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter
Formal Techniques for Java-Like Programs. ECOOP Workshops (2007)
Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad
Tribe: a simple virtual class calculus. AOSD (2007)
Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
A Complete Guide to the Future. ESOP (2007)
Tobias Wrigstad, Dave Clarke
Existential Owners for Ownership Types. J. Object Technol. 6 (4) (2007)
Dave Clarke, David Costa, Farhad Arbab
Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66 (3) (2007)
Dave Clarke
Coordination: Reo, Nets, and Logic. FMCO (2007)
Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops (2007)
Dave Clarke
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. Electron. Notes Theor. Comput. Sci. 159 (2006)
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Featherweight generic confinement. J. Funct. Program. 16 (6) (2006)
Dave Clarke, David Costa, Farhad Arbab
Connector Colouring I: Synchronisation and Context Dependency. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Generic ownership for generic Java. OOPSLA (2006)
Cees Pierik, Dave Clarke, Frank S. de Boer
Controlling Object Allocation Using Creation Guards. FM (2005)
Frank Atanassow, Dave Clarke, Johan Jeuring
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL (2004)
Dave Clarke, David Costa, Farhad Arbab
Modelling Coordination in Biological Systems. ISoLA (2004)
Dave Clarke, David Costa, Farhad Arbab
Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) (2004)

Dave Clarke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dave Clarke