Jonathan Aldrich
Jonathan Aldrich
Professor of Computer Science, Carnegie Mellon University
Email confirmado em cs.cmu.edu - Página inicial
TítuloCitado porAno
ArchJava: connecting software architecture to implementation
J Aldrich, C Chambers, D Notkin
Proceedings of the 24th International Conference on Software Engineering …, 2002
6732002
Open modules: Modular reasoning about advice
J Aldrich
European conference on object-oriented programming, 144-168, 2005
2972005
Alias annotations for program understanding
J Aldrich, V Kostadinov, C Chambers
ACM SIGPLAN Notices 37 (11), 311-330, 2002
2932002
Ownership domains: Separating aliasing policy from mechanism
J Aldrich, C Chambers
European Conference on Object-Oriented Programming, 1-25, 2004
2302004
Modular typestate checking of aliased objects
K Bierhoff, J Aldrich
ACM SIGPLAN Notices 42 (10), 301-320, 2007
2182007
Architectural reasoning in ArchJava
J Aldrich, C Chambers, D Notkin
European Conference on Object-Oriented Programming, 334-367, 2002
1762002
Static analyses for eliminating unnecessary synchronization from Java programs
J Aldrich, C Chambers, EG Sirer, S Eggers
International Static Analysis Symposium, 19-38, 1999
1541999
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
1312004
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
1262006
Typestate-oriented programming
J Aldrich, J Sunshine, D Saini, Z Sparks
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
1082009
Language support for connector abstractions
J Aldrich, V Sazawal, C Chambers, D Notkin
European Conference on Object-Oriented Programming, 74-102, 2003
972003
Differencing and merging of architectural views
M Abi-Antoun, J Aldrich, N Nahas, B Schmerl, D Garlan
Automated Software Engineering 15 (1), 35-74, 2008
862008
Verifying correct usage of atomic blocks and typestate
NE Beckman, K Bierhoff, J Aldrich
ACM Sigplan Notices 43 (10), 227-244, 2008
832008
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations
M Abi-Antoun, J Aldrich
ACM SIGPLAN Notices 44 (10), 321-340, 2009
782009
Using types to enforce architectural structure
J Aldrich
Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008 …, 2008
772008
Practical API protocol checking with access permissions
K Bierhoff, NE Beckman, J Aldrich
European Conference on Object-Oriented Programming, 195-219, 2009
762009
A type system for borrowing permissions
K Naden, R Bocchino, J Aldrich, K Bierhoff
ACM SIGPLAN Notices 47 (1), 557-570, 2012
752012
Gradual typestate
R Wolff, R Garcia, É Tanter, J Aldrich
European Conference on Object-Oriented Programming, 459-483, 2011
732011
First-class state change in plaid
J Sunshine, K Naden, S Stork, J Aldrich, É Tanter
ACM SIGPLAN Notices 46 (10), 713-732, 2011
712011
Lightweight object specification with typestates
K Bierhoff, J Aldrich
ACM SIGSOFT Software Engineering Notes 30 (5), 217-226, 2005
682005
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20