Dave Clarke

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Vats: a safe, reactive storage abstraction	2021-05-20	Paper
Coordination via interaction constraints. I: Local logic	2021-02-09	Paper
Fully abstract trace semantics for protected module architectures	2018-05-15	Paper
Abstract delta modelling	2016-07-27	Paper
A secure compiler for ML modules	2016-01-08	Paper
Dependency-style generic Haskell	2015-07-02	Paper
Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>	2015-03-19	Paper
Coordination models Orc and Reo compared	2013-12-13	Paper
Calculating graph algorithms for dominance and shortest path	2012-09-05	Paper
A model of context-dependent component connectors	2012-07-20	Paper
Towards incrementalization of holistic hyperproperties	2012-06-29	Paper
Gradual ownership types	2012-06-22	Paper
A correspondence between type checking via reduction and type checking via evaluation	2012-03-09	Paper
Modular modelling of software product lines with feature nets	2011-10-28	Paper
Channel-based coordination via constraint satisfaction	2011-06-07	Paper
Concurrent objects à la carte	2010-03-09	Paper
Tiles for Reo	2009-10-22	Paper
Coordination: Reo, Nets, and Logic	2009-02-12	Paper
A basic logic for reasoning about connector reconfiguration	2008-04-14	Paper
A Complete Guide to the Future	2007-09-04	Paper
Connector colouring. I: Synchronisation and context dependency	2007-07-16	Paper
Featherweight generic confinement	2007-03-08	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4816997	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q2779232	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4250669	1999-06-17	Paper

Research outcomes over time

This page was built for person: Dave Clarke