Dave Clarke - RankMe

107 papers A* 1A 7B 10C 10Misc 5Journal 22Unranked 49

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