Concepedia

Jonathan Aldrich

JA

86

Publications

3.4K

Citations

30

H-Index

1971

Active since

Affiliations

Carnegie Mellon University(Current)

University of Washington

University of Chile

University of British Columbia

Jonathan Aldrich is an author at Carnegie Mellon University specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware EngineeringSystem SoftwareSoftware DesignFormal VerificationSoftware Testing

Publications per year

1971–2021

86

Publications

86

ArchJava

Jonathan Aldrich, Craig Chambers, David Notkin · 2002 · 447 citations

Software Maintenance, Architectural Structure, Engineering +16

Alias annotations for program understanding

Jonathan Aldrich, Valentin Kostadinov, Craig Chambers · 2002 · 234 citations

Software Maintenance, Engineering, Software Engineering +21

Modular typestate checking of aliased objects

Kevin Bierhoff, Jonathan Aldrich · 2007 · 188 citations

Engineering, Type Theory, Such Protocols +16

ArchJava: connecting software architecture to implementation

Jonathan Aldrich, Craig Chambers, David Notkin · 2003 · 136 citations

Software Maintenance, Architectural Structure, Engineering +18

Typestate-oriented programming

Jonathan Aldrich, Joshua Sunshine, Darpan Saini et al. · 2009 · 121 citations

Artificial Intelligence, Engineering, Object-oriented Modeling +16

Rows per page

1–5 of 86