Jonathan Aldrich

Citado por

	Total	Desde 2019
Citas	6516	1548
Índice h	39	23
Índice i10	92	42

440

220

110

330

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

Acceso público

Ver todo

27 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Joshua SunshineAssistant Professor, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Kevin BierhoffGoogleDirección de correo verificada de cs.cmu.edu
Alex PotaninAssociate Professor, Australian National UniversityDirección de correo verificada de anu.edu.au
Éric TanterProfessor of Computer Science, University of ChileDirección de correo verificada de dcc.uchile.cl
Cyrus OmarAssistant Professor, Computer Science and Engineering, University of MichiganDirección de correo verificada de umich.edu
Ciera JaspanStaff Software Engineer, GoogleDirección de correo verificada de google.com
Ronald GarciaUniversity of British ColumbiaDirección de correo verificada de cs.ubc.ca
Rick KazmanProfessor, University of HawaiiDirección de correo verificada de hawaii.edu
Neelakantan R. KrishnaswamiUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Paulo MarquesUniversity of CoimbraDirección de correo verificada de dei.uc.pt
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Emin Gün SirerCornell UniversityDirección de correo verificada de systems.cs.cornell.edu
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartDirección de correo verificada de iste.uni-stuttgart.de
Alcides FonsecaLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaDirección de correo verificada de ciencias.ulisboa.pt
Jim HerbslebCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
Robert J. SimmonsCarnegie Mellon University (formerly)Dirección de correo verificada de cs.cmu.edu
Nagi Nahas

Seguir

Jonathan Aldrich

Professor of Computer Science, Carnegie Mellon University

Dirección de correo verificada de cs.cmu.edu - Página principal

Programming Languages Software Engineering


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	104	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
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations M Abi-Antoun, J Aldrich Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009	92	2009

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores