Dave Clarke

Cited by

	All	Since 2019
Citations	6212	1648
h-index	38	18
i10-index	97	36

400

200

100

300

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 20 50 86 125 190 210 247 259 262 284 233 312 348 335 243 312 381 257 267 311 256 328 269 294 190

Public access

View all

28 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, Faculty of Sciences, University or Porto, PortugalVerified email at proenca.org
Marco PatrignaniAssistant Professor at University of TrentoVerified email at unitn.it
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
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, ICS & FI, Utrecht UniversityVerified email at uu.nl
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Kiko FernándezEricssonVerified email at ericsson.com
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
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
Rula SayafKULeuvenVerified email at cs.kuleuven.be
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Dimiter MilushevKU LeuvenVerified email at cs.kuleuven.be

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	815	1998
Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou ACM SIGPLAN Notices 37 (11), 292-310, 2002	338	2002
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006	262*	2006
A complete guide to the future F de Boer, D Clarke, E Johnsen Programming Languages and Systems, 316-330, 2007	240	2007
Object ownership and containment D Clarke University of New South Wales, 2001	228	2001
External uniqueness is unique enough D Clarke, T Wrigstad ECOOP 2003–Object-Oriented Programming, 59-67, 2003	222	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	203	2012
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	196	2020
Simple ownership types for object containment D Clarke, J Noble, J Potter ECOOP 2001—Object-Oriented Programming, 53-76, 2001	168	2001
Abstract delta modeling D Clarke, M Helvensteijn, I Schaefer ACM SIGPLAN Notices 46 (2), 13-22, 2010	139	2010
Connector Colouring I: Synchronization and Context Dependency DG Clarke, D Costa, F Arbab Science of Computer Programming 66 (3), 205-225, 2007	130	2007
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	124	2015
Generic ownership for generic Java A Potanin, J Noble, D Clarke, R Biddle ACM SIGPLAN Notices 41 (10), 311-324, 2006	123	2006
Ownership types: A survey D Clarke, J Östlund, I Sergey, T Wrigstad Aliasing in object-oriented programming. types, analysis and verification, 15-58, 2013	115	2013
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	114	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	94	2019
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, E Johnsen Programming Languages and Systems, 139-154, 2008	90	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	88	2015
Generic HVSKELL, Specifically D Clarke, A Loh Generic programming: IFIP TC2/WG2. 1 Working Conference on Generic …, 2003	81	2003
The ins and outs of objects J Potter, J Noble, D Clarke Proceeding of 1998 Australian Software Engineering Conference., 80-89, 1998	77	1998

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