Dave Clarke

Cited by

	All	Since 2020
Citations	6359	1472
h-index	39	18
i10-index	97	30

400

200

100

300

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202530 20 50 86 125 191 211 245 260 262 285 237 312 348 333 241 314 383 257 269 311 254 335 283 304 276 20

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	829	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	307*	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	229	2001
External uniqueness is unique enough D Clarke, T Wrigstad ECOOP 2003–Object-Oriented Programming, 59-67, 2003	223	2003
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	211	2020
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	208	2012
Simple ownership types for object containment D Clarke, J Noble, J Potter ECOOP 2001—Object-Oriented Programming, 53-76, 2001	169	2001
Abstract delta modeling D Clarke, M Helvensteijn, I Schaefer ACM SIGPLAN Notices 46 (2), 13-22, 2010	141	2010
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	132	2015
Connector Colouring I: Synchronization and Context Dependency DG Clarke, D Costa, F Arbab Science of Computer Programming 66 (3), 205-225, 2007	130	2007
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	121	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	116	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	98	2019
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	91	2015
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, E Johnsen Programming Languages and Systems, 139-154, 2008	90	2008
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