Dave Clarke

Cited by

	All	Since 2018
Citations	5750	1456
h-index	37	19
i10-index	94	35

420

210

105

315

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202328 20 47 80 118 191 208 251 267 248 282 237 320 351 337 244 313 402 246 261 297 237 266 207 188

Public access

View all

30 articles

1 article

available

not available

Based on funding mandates

Co-authors

James NobleCreative Research & ProgrammingVerified email at acm.org
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Jose ProencaCISTER - ISEPVerified email at proenca.org
Marco PatrignaniAssistant Professor at University of TrentoVerified email at unitn.it
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht UniversityVerified email at uu.nl
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Kiko FernándezEricssonVerified email at ericsson.com
Alex PotaninAssociate Professor, Australian National UniversityVerified email at anu.edu.au
Robert BiddleProfessor of Computer Science and Cognitive Science, Carleton UniversityVerified email at hotsoft.carleton.ca
Radu MuscheviciTU DarmstadtVerified email at cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Rula SayafKULeuvenVerified email at cs.kuleuven.be
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl

Dave Clarke

Independent

Verified email at storytel.com

Programming Languages Coordination Parallel Programming Data Science Machine Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Ownership types for flexible alias protection DG Clarke, JM Potter, J Noble ACM SIGPLAN Notices 33 (10), 48-64, 1998	795	1998
Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou ACM SIGPLAN Notices 37 (11), 292-310, 2002	337	2002
A complete guide to the future F de Boer, D Clarke, E Johnsen Programming Languages and Systems, 316-330, 2007	229	2007
Object ownership and containment D Clarke University of New South Wales, 2001	226	2001
External uniqueness is unique enough D Clarke, T Wrigstad ECOOP 2003–Object-Oriented Programming, 59-67, 2003	216	2003
Software diversity: state of the art and perspectives I Schaefer, R Rabiser, D Clarke, L Bettini, D Benavides, G Botterweck, ... International Journal on Software Tools for Technology Transfer 14, 477-495, 2012	188	2012
Simple ownership types for object containment D Clarke, J Noble, J Potter ECOOP 2001—Object-Oriented Programming, 53-76, 2001	165	2001
Abstract delta modeling D Clarke, M Helvensteijn, I Schaefer ACM SIGPLAN Notices 46 (2), 13-22, 2010	151	2010
Delivery catheter system with micro and macro movement control R Murray, S Upadhyaya, M Casley, P Macaulay, A Masud, P Cassidy, ... US Patent 10,639,150, 2020	145	2020
Connector Colouring I: Synchronization and Context Dependency DG Clarke, D Costa, F Arbab Science of Computer Programming 66 (3), 205-225, 2007	129	2007
Generic ownership for generic Java A Potanin, J Noble, D Clarke, R Biddle ACM SIGPLAN Notices 41 (10), 311-324, 2006	121	2006
Secure compilation to protected module architectures M Patrignani, P Agten, R Strackx, B Jacobs, D Clarke, F Piessens ACM transactions on programming languages and systems (TOPLAS) 37 (2), 1-50, 2015	112	2015
Delivery catheter system with micro and macro movement control R Murray, S Upadhyaya, M Casley, P Macaulay, A Masud, P Cassidy, ... US Patent 9,144,494, 2015	109	2015
Ownership types: A survey D Clarke, J Östlund, I Sergey, T Wrigstad Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013	106	2013
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, E Johnsen Programming Languages and Systems, 139-154, 2008	89	2008
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ... Formal Methods for Multicore Programming: 15th International School on …, 2015	85	2015
Formal approaches to secure compilation: A survey of fully abstract compilation and related work M Patrignani, A Ahmed, D Clarke ACM Computing Surveys (CSUR) 51 (6), 1-36, 2019	80	2019
Generic HVSKELL, Specifically D Clarke, A Loh Generic programming: IFIP TC2/WG2. 1 Working Conference on Generic …, 2003	79	2003
The ins and outs of objects J Potter, J Noble, D Clarke Proceeding of 1998 Australian Software Engineering Conference., 80-89, 1998	75	1998
Tribe: a simple virtual class calculus D Clarke, S Drossopoulou, J Noble, T Wrigstad Proceedings of the 6th international conference on Aspect-oriented software …, 2007	69	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors