Jonathan Aldrich

Cited by

	All	Since 2019
Citations	6523	1555
h-index	39	23
i10-index	92	42

440

220

110

330

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 65 112 162 236 305 315 367 368 341 432 312 371 351 258 277 255 287 276 320 302 217 246 193

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Joshua SunshineAssistant Professor, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Kevin BierhoffGoogleVerified email at cs.cmu.edu
Alex PotaninAssociate Professor, Australian National UniversityVerified email at anu.edu.au
Éric TanterProfessor of Computer Science, University of ChileVerified email at dcc.uchile.cl
Cyrus OmarAssistant Professor, Computer Science and Engineering, University of MichiganVerified email at umich.edu
Ciera JaspanStaff Software Engineer, GoogleVerified email at google.com
Ronald GarciaUniversity of British ColumbiaVerified email at cs.ubc.ca
Rick KazmanProfessor, University of HawaiiVerified email at hawaii.edu
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Paulo MarquesUniversity of CoimbraVerified email at dei.uc.pt
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Emin Gün SirerCornell UniversityVerified email at systems.cs.cornell.edu
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartVerified email at iste.uni-stuttgart.de
Alcides FonsecaLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at ciencias.ulisboa.pt
Jim HerbslebCarnegie Mellon UniversityVerified email at cmu.edu
Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
Nagi Nahas

Jonathan Aldrich

Professor of Computer Science, Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage

Programming Languages Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ArchJava: connecting software architecture to implementation J Aldrich, C Chambers, D Notkin Proceedings of the 24th international conference on Software engineering …, 2002	787	2002
Alias annotations for program understanding J Aldrich, V Kostadinov, C Chambers ACM SIGPLAN Notices 37 (11), 311-330, 2002	323	2002
Open modules: Modular reasoning about advice J Aldrich European conference on object-oriented programming, 144-168, 2005	316	2005
Modular typestate checking of aliased objects K Bierhoff, J Aldrich ACM SIGPLAN Notices 42 (10), 301-320, 2007	262	2007
Ownership domains: Separating aliasing policy from mechanism J Aldrich, C Chambers European Conference on Object-Oriented Programming, 1-25, 2004	240	2004
Architectural reasoning in ArchJava J Aldrich, C Chambers, D Notkin ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002	191	2002
Static analyses for eliminating unnecessary synchronization from Java programs J Aldrich, C Chambers, EG Sirer, S Eggers Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999	172	1999
Typestate-oriented programming J Aldrich, J Sunshine, D Saini, Z Sparks Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009	165	2009
Discotect: A system for discovering architectures from running systems H Yan, D Garlan, B Schmerl, J Aldrich, R Kazman Proceedings. 26th International Conference on Software Engineering, 470-479, 2004	159	2004
Discovering architectures from running systems B Schmerl, J Aldrich, D Garlan, R Kazman, H Yan IEEE Transactions on Software Engineering 32 (7), 454-466, 2006	155	2006
Statically checking API protocol conformance with mined multi-object specifications M Pradel, C Jaspan, J Aldrich, TR Gross 2012 34th International Conference on Software Engineering (ICSE), 925-935, 2012	120	2012
Language support for connector abstractions J Aldrich, V Sazawal, C Chambers, D Notkin ECOOP 2003–Object-Oriented Programming: 17th European Conference, Darmstadt …, 2003	107	2003
Gradual typestate R Wolff, R Garcia, É Tanter, J Aldrich ECOOP 2011–Object-Oriented Programming: 25th European Conference, Lancaster …, 2011	105	2011
Differencing and merging of architectural views M Abi-Antoun, J Aldrich, N Nahas, B Schmerl, D Garlan Automated Software Engineering 15, 35-74, 2008	100	2008
Verifying correct usage of atomic blocks and typestate NE Beckman, K Bierhoff, J Aldrich Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008	99	2008
First-class state change in plaid J Sunshine, K Naden, S Stork, J Aldrich, É Tanter ACM SIGPLAN Notices 46 (10), 713-732, 2011	98	2011
Practical API protocol checking with access permissions K Bierhoff, NE Beckman, J Aldrich ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009	98	2009
A type system for borrowing permissions K Naden, R Bocchino, J Aldrich, K Bierhoff ACM SIGPLAN Notices 47 (1), 557-570, 2012	97	2012
Foundations of typestate-oriented programming R Garcia, É Tanter, R Wolff, J Aldrich ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 1-44, 2014	92	2014
An empirical study of object protocols in the wild NE Beckman, D Kim, J Aldrich ECOOP 2011–Object-Oriented Programming: 25th European Conference, Lancaster …, 2011	91	2011

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