Sotabase

Career

· Director, Master Of Software Engineering Programs, Carnegie Mellon University Software and Societal Systems Department2025–
· Professor, Carnegie Mellon University - School of Computer Science - Institute for Software Research2003–
· Professor, Carnegie Mellon University Software and Societal Systems Department2003–
· Ph.D., Computer Science and Engineering, University of Washington1997–2003
· B.S., Computer Science, Caltech1993–1997

Publications (228)

ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 · 2002
597
cited
Alias annotations for program understanding
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2002
272
cited
Open Modules: Modular Reasoning About Advice
European Conference on Object-Oriented Programming · 2005
272
cited
Modular typestate checking of aliased objects
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2007
213
cited
Ownership Domains: Separating Aliasing Policy from Mechanism
European Conference on Object-Oriented Programming · 2004
211
cited
Architectural Reasoning in ArchJava
European Conference on Object-Oriented Programming · 2002
150
cited
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
Sensors Applications Symposium · 1999
138
cited
Typestate-oriented programming
OOPSLA Companion · 2009
135
cited
DiscoTect: a system for discovering architectures from running systems
Proceedings. 26th International Conference on Software Engineering · 2004
131
cited
Discovering Architectures from Running Systems
IEEE Transactions on Software Engineering · 2006
129
cited
Statically checking API protocol conformance with mined multi-object specifications
International Conference on Software Engineering · 2012
99
cited
Language Support for Connector Abstractions
European Conference on Object-Oriented Programming · 2003
87
cited
Foundations of Typestate-Oriented Programming
ACM Transactions on Programming Languages and Systems · 2014
86
cited
Verifying correct usage of atomic blocks and typestate
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2008
86
cited
First-class state change in plaid
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2011
85
cited
Practical API Protocol Checking with Access Permissions
European Conference on Object-Oriented Programming · 2009
85
cited
An Empirical Study of Object Protocols in the Wild
European Conference on Object-Oriented Programming · 2011
84
cited
A type system for borrowing permissions
ACM-SIGACT Symposium on Principles of Programming Languages · 2012
81
cited
Gradual Typestate
European Conference on Object-Oriented Programming · 2011
81
cited
Hazelnut: a bidirectionally typed structure editor calculus
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
75
cited
Sotabase
Jonathan Aldrich | Researcher Profile | Sotabase | Sotabase