default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDave Clarke 0001
David G. Clarke
Person information
- affiliation: Uppsala University, Sweden
- affiliation (former): Katholieke Universiteit Leuven, Belgium
- affiliation (former): Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
- affiliation (former): Utrecht University, The Netherlands
Other persons with the same name
- Dave Clarke — disambiguation page
- Dave Clarke 0002 — Dow Jones, USA
- Dave Clarke 0003 — Sedbergh
- Dave Clarke 0004 — Analog Devices, Raheen Business Park, Limerick, Ireland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[j21]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): 125:1-125:36 (2019)- [j20]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): 01:1-01:2 (2019) - [c90]Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad:
Godot: All the Benefits of Implicit and Explicit Futures. ECOOP 2019: 2:1-2:28 - 2018
- [c89]Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad, Albert Mingkun Yang:
Attached and detached closures in actors. AGERE!@SPLASH 2018: 54-61 - [c88]Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo:
Forward to a Promising Future. COORDINATION 2018: 162-180 - [c87]Kiko Fernandez-Reyes, Dave Clarke, Janina Hornbach:
The impact of opt-in gamification on students' grades in a software design course. MoDELS (Companion) 2018: 90-97 - 2017
- [j19]José Proença, Dave Clarke:
Typed connector families and their semantics. Sci. Comput. Program. 146: 28-49 (2017) - 2016
- [j18]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): 123-124 (2016) - [j17]Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk:
A formal model of service-oriented dynamic object groups. Sci. Comput. Program. 115-116: 3-22 (2016) - [j16]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. 115-116: 47-78 (2016) - [j15]Radu Muschevici, José Proença, Dave Clarke:
Feature Nets: behavioural modelling of software product lines. Softw. Syst. Model. 15(4): 1181-1206 (2016) - [c86]Dave Clarke, Tobias Wrigstad:
Vats: A Safe, Reactive Storage Abstraction. Theory and Practice of Formal Methods 2016: 140-154 - [c85]Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain:
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. COORDINATION 2016: 101-120 - [c84]Adriaan Larmuseau, Marco Patrignani, Dave Clarke:
Implementing a secure abstract machine. SAC 2016: 2041-2048 - 2015
- [j14]Marco Patrignani, Dave Clarke:
Fully abstract trace semantics for protected module architectures. Comput. Lang. Syst. Struct. 42: 22-45 (2015) - [j13]Dave Clarke, Michiel Helvensteijn, Ina Schaefer:
Abstract delta modelling. Math. Struct. Comput. Sci. 25(3): 482-527 (2015) - [j12]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): 6:1-6:50 (2015) - [c83]Adriaan Larmuseau, Marco Patrignani, Dave Clarke:
A Secure Compiler for ML Modules. APLAS 2015: 29-48 - [c82]Rula Sayaf, Dave Clarke, James B. Rule:
The other side of privacy: surveillance in data control. BCS HCI 2015: 184-192 - [c81]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: 27-36 - [c80]José Proença, Dave Clarke:
Typed Connector Families. FACS 2015: 294-311 - [c79]Stephan Brandauer, Dave Clarke, Tobias Wrigstad:
Disjointness domains for fine-grained aliasing. OOPSLA 2015: 898-916 - [c78]Adriaan Larmuseau, Dave Clarke:
Formalizing a Secure Foreign Function Interface. SEFM 2015: 215-230 - [c77]Adriaan Larmuseau, Marco Patrignani, Dave Clarke:
A High-Level Model for an Assembly Language Attacker by Means of Reflection. SETTA 2015: 168-182 - [c76]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: 1-56 - [c75]Rula Sayaf, Sören Preibusch, Dave Clarke:
Contextual Healing: Privacy through Interpretation Management. SmartCity 2015: 360-365 - 2014
- [c74]Adriaan Larmuseau, Marco Patrignani, Dave Clarke:
Operational Semantics for Secure Interoperation. PLAS@ECOOP 2014: 40 - [c73]Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad:
In-Flow Peer Review. ITiCSE-WGR 2014: 59-79 - [c72]Marco Patrignani, Dave Clarke:
Fully abstract trace semantics for low-level isolation mechanisms. SAC 2014: 1562-1569 - [c71]Rula Sayaf, Dave Clarke, Richard Harper:
\mathrmCPS^2 : A Contextual Privacy Framework for Social Software. SecureComm (2) 2014: 25-32 - [i2]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) - 2013
- [j11]Dave Clarke, Gul Agha:
Preface to the special issue on Coordination Models and Languages (Coordination 2010). Sci. Comput. Program. 78(2): 145-146 (2013) - [c70]Marco Patrignani, Dave Clarke, Frank Piessens:
Secure Compilation of Object-Oriented Components to Protected Module Architectures. APLAS 2013: 176-191 - [c69]José Proença, Dave Clarke:
Interactive Interaction Constraints. COORDINATION 2013: 211-225 - [c68]José Proença, Dave Clarke:
Data Abstraction in Coordination Constraints. ESOCC Workshops 2013: 159-173 - [c67]Radu Muschevici, Dave Clarke, José Proença:
Executable modelling of dynamic software product lines in the ABS language. FOSD 2013: 17-24 - [c66]Dimiter Milushev, Dave Clarke:
Incremental Hyperproperty Model Checking via Games. NordSec 2013: 247-262 - [c65]Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens:
Fixing idioms: a recursion primitive for applicative DSLs. PEPM 2013: 97-106 - [c64]Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens:
Monadic abstract interpreters. PLDI 2013: 399-410 - [c63]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: 266-267 - [p2]Dave Clarke, James Noble, Tobias Wrigstad:
Beyond the Geneva Convention on the Treatment of Object Aliasing. Aliasing in Object-Oriented Programming 2013: 1-6 - [p1]Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad:
Ownership Types: A Survey. Aliasing in Object-Oriented Programming 2013: 15-58 - [e2]Dave Clarke, James Noble, Tobias Wrigstad:
Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Lecture Notes in Computer Science 7850, Springer 2013, ISBN 978-3-642-36945-2 [contents] - 2012
- [j10]Ilya Sergey, Dave Clarke:
A correspondence between type checking via reduction and type checking via evaluation. Inf. Process. Lett. 112(1-2): 13-20 (2012) - [j9]Marcello M. Bonsangue, Dave Clarke, Alexandra Silva:
A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012) - [j8]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): 477-495 (2012) - [c62]Marko van Dooren, Dave Clarke:
Subobject Transactional Memory. COORDINATION 2012: 44-58 - [c61]Dave Clarke, José Proença:
Partial Connector Colouring. COORDINATION 2012: 59-73 - [c60]Ilya Sergey, Dave Clarke:
Gradual Ownership Types. ESOP 2012: 579-599 - [c59]Marko van Dooren, Dave Clarke, Bart Jacobs:
Subobject-Oriented Programming. FMCO 2012: 38-82 - [c58]Dimiter Milushev, Wim Beck, Dave Clarke:
Noninterference via Symbolic Execution. FMOODS/FORTE 2012: 152-168 - [c57]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: 555-562 - [c56]Michael Lienhardt, Dave Clarke:
Conflict Detection in Delta-Oriented Programming. ISoLA (1) 2012: 178-192 - [c55]Ilya Sergey, Jan Midtgaard, Dave Clarke:
Calculating Graph Algorithms for Dominance and Shortest Path. MPC 2012: 132-156 - [c54]Dimiter Milushev, Dave Clarke:
Coinductive Unwinding of Security-Relevant Hyperproperties. NordSec 2012: 121-136 - [c53]Dimiter Milushev, Dave Clarke:
Towards Incrementalization of Holistic Hyperproperties. POST 2012: 329-348 - [c52]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515 - [c51]Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke:
Formal analysis of policies in wireless sensor network applications. SESENA 2012: 15-21 - [c50]Michael Lienhardt, Dave Clarke:
Row types for delta-oriented programming. VaMoS 2012: 121-128 - [c49]Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe:
A Type-Safe Model of Adaptive Object Groups. FOCLASA 2012: 1-15 - [c48]Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença:
A Procedure for Splitting Processes and its Application to Coordination. FOCLASA 2012: 79-96 - 2011
- [j7]Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab:
Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8): 681-710 (2011) - [j6]Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke:
Büchi automata for modeling component connectors. Softw. Syst. Model. 10(2): 183-200 (2011) - [c47]Marco Patrignani, Dave Clarke, Davide Sangiorgi:
Ownership Types for the Join Calculus. FMOODS/FORTE 2011: 289-303 - [c46]Ilya Sergey, Dave Clarke:
From type checking by recursive descent to type checking with an abstract machine. LDTA 2011: 2 - [c45]Radu Muschevici, José Proença, Dave Clarke:
Modular Modelling of Software Product Lines with Feature Nets. SEFM 2011: 318-333 - [c44]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: 417-457 - [c43]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79 - 2010
- [j5]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): 58-60 (2010) - [c42]Dave Clarke, Einar Broch Johnsen, Olaf Owe:
Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206 - [c41]Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte:
Variability Modelling in the ABS Language. FMCO 2010: 204-224 - [c40]Dave Clarke, Michiel Helvensteijn, Ina Schaefer:
Abstract delta modeling. GPCE 2010: 13-22 - [c39]Dave Clarke, José Proença:
Towards a Theory of Views for Feature Models. SPLC Workshops 2010: 91-98 - [c38]Radu Muschevici, Dave Clarke, José Proença:
Feature Petri Nets. SPLC Workshops 2010: 99-106 - [c37]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: 121-128 - [e1]Dave Clarke, Gul A. Agha:
Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6116, Springer 2010, ISBN 978-3-642-13413-5 [contents]
2000 – 2009
- 2009
- [c36]Marcello M. Bonsangue, Dave Clarke, Alexandra Silva:
Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203 - [c35]Dave Clarke, Pascal Costanza, Éric Tanter:
How should context-escaping closures proceed? COP@ECOOP 2009: 1:1-1:6 - [c34]Dave Clarke, Ilya Sergey:
A semantics for context-oriented programming with layers. COP@ECOOP 2009: 10:1-10:6 - [c33]Christian Koehler, Dave Clarke:
Decomposing port automata. SAC 2009: 1369-1373 - [c32]Dave Clarke, José Proença:
Coordination via Interaction Constraints I: Local Logic. ICE 2009: 17-39 - [i1]David G. Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen:
Minimal Ownership for Active Objects. Typing, Analysis and Verification of Heap-Manipulating Programs 2009 - 2008
- [j4]Dave Clarke:
A Basic Logic for Reasoning about Connector Reconfiguration. Fundam. Informaticae 82(4): 361-390 (2008) - [c31]Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen:
Minimal Ownership for Active Objects. APLAS 2008: 139-154 - [c30]Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41 - [c29]Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312 - [c28]Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom:
Ownership, Uniqueness, and Immutability. TOOLS (46) 2008: 178-197 - [c27]Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari:
Tiles for Reo. WADT 2008: 37-55 - [c26]Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab:
Deconstructing Reo. FOCLASA@ICALP 2008: 43-58 - 2007
- [j3]Tobias Wrigstad, Dave Clarke:
Existential Owners for Ownership Types. J. Object Technol. 6(4): 141-159 (2007) - [j2]Dave Clarke, David Costa, Farhad Arbab:
Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007) - [c25]Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad:
Tribe: a simple virtual class calculus. AOSD 2007: 121-134 - [c24]Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49 - [c23]John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107 - [c22]Frank S. de Boer, Dave Clarke, Einar Broch Johnsen:
A Complete Guide to the Future. ESOP 2007: 316-330 - [c21]Dave Clarke:
Coordination: Reo, Nets, and Logic. FMCO 2007: 226-256 - [c20]José Proença, Dave Clarke:
Coordination Models Orc and Reo Compared. FOCLASA 2007: 57-76 - 2006
- [j1]Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
Featherweight generic confinement. J. Funct. Program. 16(6): 793-811 (2006) - [c19]Sophia Drossopoulou, David G. Clarke, James Noble:
Types for Hierarchic Shapes. ESOP 2006: 1-6 - [c18]Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
Generic ownership for generic Java. OOPSLA 2006: 311-324 - 2005
- [c17]Cees Pierik, Dave Clarke, Frank S. de Boer:
Controlling Object Allocation Using Creation Guards. FM 2005: 59-74 - [c16]Dave Clarke:
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. FSEN 2005: 61-77 - [c15]Dave Clarke, David Costa, Farhad Arbab:
Connector Colouring I: Synchronisation and Context Dependency. FOCLASA 2005: 101-119 - 2004
- [c14]Dave Clarke, David Costa, Farhad Arbab:
Modelling Coordination in Biological Systems. ISoLA 2004: 9-25 - [c13]Dave Clarke, David Costa, Farhad Arbab:
Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) 2004: 58-66 - [c12]Frank Atanassow, Dave Clarke, Johan Jeuring:
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85 - 2003
- [c11]Dave Clarke, Tobias Wrigstad:
External Uniqueness Is Unique Enough. ECOOP 2003: 176-200 - [c10]David G. Clarke, Sophia Drossopoulou, James Noble:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2003: 197-207 - [c9]Andres Löh, Dave Clarke, Johan Jeuring:
Dependency-style generic Haskell. ICFP 2003: 141-152 - [c8]David G. Clarke, Michael Richmond, James Noble:
Saving the world from bad beans: deployment-time confinement checking. OOPSLA 2003: 374-387 - 2002
- [c7]Dave Clarke, Andres Löh:
Generic Haskell, Specifically. Generic Programming 2002: 21-47 - [c6]David G. Clarke, Sophia Drossopoulou:
Ownership, encapsulation and the disjointness of type and effect. OOPSLA 2002: 292-310 - 2001
- [c5]David G. Clarke, James Noble, John Potter:
Simple Ownership Types for Object Containment. ECOOP 2001: 53-76
1990 – 1999
- 1999
- [c4]David G. Clarke, James Noble, John Potter:
Overcoming Representation Exposure. ECOOP Workshops 1999: 149-151 - [c3]James Noble, David G. Clarke, John Potter:
Object Ownership for Dynamic Alias Protection. TOOLS (32) 1999: 176-187 - 1998
- [c2]John Potter, James Noble, David G. Clarke:
The Ins and Outs of Objects. Australian Software Engineering Conference 1998: 80-89 - [c1]David G. Clarke, John Potter, James Noble:
Ownership Types for Flexible Alias Protection. OOPSLA 1998: 48-64
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
