Dave Clarke

According to our database, Dave Clarke authored at least 112 papers between 1998 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Godot: All the Benefits of Implicit and Explicit Futures (Artifact).

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

Dagstuhl Artifacts Ser., 2019

Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work.

Marco Patrignani, Amal Ahmed, Dave Clarke

ACM Comput. Surv., 2019

Godot: All the Benefits of Implicit and Explicit Futures.

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

The impact of opt-in gamification on students' grades in a software design course.

Kiko Fernandez-Reyes, Dave Clarke, Janina Hornbach

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Forward to a Promising Future.

Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo

Proceedings of the Coordination Models and Languages, 2018

Attached and detached closures in actors.

Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad, Albert Mingkun Yang

Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, 2018

2017

Typed connector families and their semantics.

José Proença, Dave Clarke

Sci. Comput. Program., 2017

2016

Feature Nets: behavioural modelling of software product lines.

Radu Muschevici, José Proença, Dave Clarke

Softw. Syst. Model., 2016

A procedure for splitting data-aware processes and its application to coordination.

Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença

Sci. Comput. Program., 2016

A formal model of service-oriented dynamic object groups.

Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk

Sci. Comput. Program., 2016

Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering.

Maurice H. ter Beek, Dave Clarke, Ina Schaefer

J. Log. Algebraic Methods Program., 2016

Implementing a secure abstract machine.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations.

Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain

Proceedings of the Coordination Models and Languages, 2016

Vats: A Safe, Reactive Storage Abstraction.

Dave Clarke, Tobias Wrigstad

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Secure Compilation to Protected Module Architectures.

Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens

ACM Trans. Program. Lang. Syst., 2015

Abstract delta modelling.

Dave Clarke, Michiel Helvensteijn, Ina Schaefer

Math. Struct. Comput. Sci., 2015

Fully abstract trace semantics for protected module architectures.

Marco Patrignani, Dave Clarke

Comput. Lang. Syst. Struct., 2015

Contextual Healing: Privacy through Interpretation Management.

Rula Sayaf, Sören Preibusch, Dave Clarke

Proceedings of the 2015 IEEE International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2 2015, 2015

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.

Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang

Proceedings of the Formal Methods for Multicore Programming, 2015

A High-Level Model for an Assembly Language Attacker by Means of Reflection.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Formalizing a Secure Foreign Function Interface.

Adriaan Larmuseau, Dave Clarke

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Disjointness domains for fine-grained aliasing.

Stephan Brandauer, Dave Clarke, Tobias Wrigstad

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Typed Connector Families.

José Proença, Dave Clarke

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications.

Wilfried Daniels, José Proença, Dave Clarke, Wouter Joosen, Danny Hughes

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

The other side of privacy: surveillance in data control.

Rula Sayaf, Dave Clarke, James B. Rule

Proceedings of the 2015 British HCI Conference, Lincoln, United Kingdom, July 13-17, 2015, 2015

A Secure Compiler for ML Modules.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Scaling Future Software: The Manycore Challenge.

Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad

ERCIM News, 2014

\mathrmCPS^2 : A Contextual Privacy Framework for Social Software.

Rula Sayaf, Dave Clarke, Richard Harper

Proceedings of the International Conference on Security and Privacy in Communication Networks, 2014

Fully abstract trace semantics for low-level isolation mechanisms.

Marco Patrignani, Dave Clarke

Proceedings of the Symposium on Applied Computing, 2014

In-Flow Peer Review.

Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad

Proceedings of the Working Group Reports of the 2014 on Innovation & Technology in Computer Science Education Conference, 2014

Operational Semantics for Secure Interoperation.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2013

Ownership Types: A Survey.

Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Beyond the Geneva Convention on the Treatment of Object Aliasing.

Dave Clarke, James Noble, Tobias Wrigstad

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Preface to the special issue on Coordination Models and Languages (Coordination 2010).

Dave Clarke, Gul Agha

Sci. Comput. Program., 2013

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

Proceedings of the 17th International Software Product Line Conference, 2013

Monadic abstract interpreters.

Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Fixing idioms: a recursion primitive for applicative DSLs.

Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Incremental Hyperproperty Model Checking via Games.

Dimiter Milushev, Dave Clarke

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Executable modelling of dynamic software product lines in the ABS language.

Radu Muschevici, Dave Clarke, José Proença

Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

Data Abstraction in Coordination Constraints.

José Proença, Dave Clarke

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Interactive Interaction Constraints.

José Proença, Dave Clarke

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Secure Compilation of Object-Oriented Components to Protected Module Architectures.

Marco Patrignani, Dave Clarke, Frank Piessens

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Software diversity: state of the art and perspectives.

Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela

Int. J. Softw. Tools Technol. Transf., 2012

A model of context-dependent component connectors.

Marcello M. Bonsangue, Dave Clarke, Alexandra Silva

Sci. Comput. Program., 2012

A correspondence between type checking via reduction and type checking via evaluation.

Ilya Sergey, Dave Clarke

Inf. Process. Lett., 2012

A Procedure for Splitting Processes and its Application to Coordination

Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

A Type-Safe Model of Adaptive Object Groups

Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Row types for delta-oriented programming.

Michael Lienhardt, Dave Clarke

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Formal analysis of policies in wireless sensor network applications.

Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke

Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

Dreams: a framework for distributed synchronous coordination.

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab

Proceedings of the ACM Symposium on Applied Computing, 2012

Towards Incrementalization of Holistic Hyperproperties.

Dimiter Milushev, Dave Clarke

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Coinductive Unwinding of Security-Relevant Hyperproperties.

Dimiter Milushev, Dave Clarke

Proceedings of the Secure IT Systems - 17th Nordic Conference, 2012

Calculating Graph Algorithms for Dominance and Shortest Path.

Ilya Sergey, Jan Midtgaard, Dave Clarke

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Conflict Detection in Delta-Oriented Programming.

Michael Lienhardt, Dave Clarke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

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

Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012

Noninterference via Symbolic Execution.

Dimiter Milushev, Wim Beck, Dave Clarke

Proceedings of the Formal Techniques for Distributed Systems, 2012

Subobject-Oriented Programming.

Marko van Dooren, Dave Clarke, Bart Jacobs

Proceedings of the Formal Methods for Components and Objects, 2012

Gradual Ownership Types.

Ilya Sergey, Dave Clarke

Proceedings of the Programming Languages and Systems, 2012

Subobject Transactional Memory.

Marko van Dooren, Dave Clarke

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Partial Connector Colouring.

Dave Clarke, José Proença

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

Büchi automata for modeling component connectors.

Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke

Softw. Syst. Model., 2011

Channel-based coordination via constraint satisfaction.

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab

Sci. Comput. Program., 2011

Decoupled execution of synchronous coordination models via behavioural automata

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Modular Modelling of Software Product Lines with Feature Nets.

Radu Muschevici, José Proença, Dave Clarke

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

From type checking by recursive descent to type checking with an abstract machine.

Ilya Sergey, Dave Clarke

Proceedings of the Language Descriptions, Tools and Applications, 2011

Ownership Types for the Join Calculus.

Marco Patrignani, Dave Clarke, Davide Sangiorgi

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Questions answered. in theory.: http://cstheory.stackexchange.com/.

Dave Clarke, David Eppstein, Kaveh Ghasemloo, Lev Reyzin, András Z. Salamon, Peter W. Shor, Aaron D. Sterling, Suresh Venkatasubramanian

SIGACT News, 2010

Feature Petri Nets.

Radu Muschevici, Dave Clarke, José Proença

Proceedings of the Software Product Lines - 14th International Conference, 2010

Towards a Theory of Views for Feature Models.

Dave Clarke, José Proença

Proceedings of the Software Product Lines - 14th International Conference, 2010

HATS - A Formal Software Product Line Engineering Methodology.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong

Proceedings of the Software Product Lines - 14th International Conference, 2010

Abstract delta modeling.

Dave Clarke, Michiel Helvensteijn, Ina Schaefer

Proceedings of the Generative Programming And Component Engineering, 2010

Variability Modelling in the ABS Language.

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Concurrent Objects à la Carte.

Dave Clarke, Einar Broch Johnsen, Olaf Owe

Proceedings of the Concurrency, 2010

2009

Coordination via Interaction Constraints I: Local Logic

Dave Clarke, José Proença

Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Decomposing port automata.

Christian Koehler, Dave Clarke

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A semantics for context-oriented programming with layers.

Dave Clarke, Ilya Sergey

Proceedings of the International Workshop on Context-Oriented Programming, 2009

How should context-escaping closures proceed?

Dave Clarke, Pascal Costanza, Éric Tanter

Proceedings of the International Workshop on Context-Oriented Programming, 2009

Minimal Ownership for Active Objects.

David G. Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen

Proceedings of the Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07., 2009

Automata for Context-Dependent Connectors.

Marcello M. Bonsangue, Dave Clarke, Alexandra Silva

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

A Basic Logic for Reasoning about Connector Reconfiguration.

Dave Clarke

Fundam. Informaticae, 2008

Deconstructing Reo.

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Tiles for Reo.

Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Ownership, Uniqueness, and Immutability.

Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Modeling Component Connectors: Synchronisation and Context-Dependency.

Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Aliasing, Confinement, and Ownership in Object-Oriented Programming.

Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007

Existential Owners for Ownership Types.

Tobias Wrigstad, Dave Clarke

J. Object Technol., 2007

Coordination Models Orc and Reo Compared.

José Proença, Dave Clarke

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Coordination: Reo, Nets, and Logic.

Dave Clarke

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

A Complete Guide to the Future.

Frank S. de Boer, Dave Clarke, Einar Broch Johnsen

Proceedings of the Programming Languages and Systems, 2007

Aliasing, Confinement, and Ownership in Object-Oriented Programming.

Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Formal Techniques for Java-Like Programs.

John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Tribe: a simple virtual class calculus.

Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2006

Featherweight generic confinement.

Alex Potanin, James Noble, Dave Clarke, Robert Biddle

J. Funct. Program., 2006

Generic ownership for generic Java.

Alex Potanin, James Noble, Dave Clarke, Robert Biddle

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Types for Hierarchic Shapes.

Sophia Drossopoulou, David G. Clarke, James Noble

Proceedings of the Programming Languages and Systems, 2006

2005

Connector Colouring I: Synchronisation and Context Dependency.

Dave Clarke, David Costa, Farhad Arbab

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic.

Dave Clarke

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Controlling Object Allocation Using Creation Guards.

Cees Pierik, Dave Clarke, Frank S. de Boer

Proceedings of the FM 2005: Formal Methods, 2005

2004

UUXML: A Type-Preserving XML Schema-Haskell Data Binding.

Frank Atanassow, Dave Clarke, Johan Jeuring

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Modelling Coordination in Biological Systems.

Dave Clarke, David Costa, Farhad Arbab

Proceedings of the Leveraging Applications of Formal Methods, 2004

2003

Saving the world from bad beans: deployment-time confinement checking.

David G. Clarke, Michael Richmond, James Noble

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Dependency-style generic Haskell.

Andres Löh, Dave Clarke, Johan Jeuring

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Aliasing, Confinement, and Ownership in Object-Oriented Programming.

David G. Clarke, Sophia Drossopoulou, James Noble

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

External Uniqueness Is Unique Enough.

Dave Clarke, Tobias Wrigstad

Proceedings of the ECOOP 2003, 2003

2002

Ownership, encapsulation and the disjointness of type and effect.

David G. Clarke, Sophia Drossopoulou

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Generic Haskell, Specifically.

Dave Clarke, Andres Löh

Proceedings of the Generic Programming, 2002

2001

Simple Ownership Types for Object Containment.

David G. Clarke, James Noble, John Potter

Proceedings of the ECOOP 2001, 2001

1999

Object Ownership for Dynamic Alias Protection.

James Noble, David G. Clarke, John Potter

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

Overcoming Representation Exposure.

David G. Clarke, James Noble, John Potter

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Ownership Types for Flexible Alias Protection.

David G. Clarke, John Potter, James Noble

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

The Ins and Outs of Objects.

John Potter, James Noble, David G. Clarke

Proceedings of the 1998 Australian Software Engineering Conference (ASWEC '98), 1998