- Comprehensive Synchronization Elimination for Java Jonathan Aldrich1
- Static Extraction of Sound Hierarchical Runtime Object Graphs Marwan Abi-Antoun Jonathan Aldrich
- A Programming Model for Failure-Prone, Collaborative Robots Nels Beckman Jonathan Aldrich
- Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective
- Permission-Based Programming Languages (NIER Track) Jonathan Aldrich Ronald Garcia Mark Hahnenberg Manuel Mohr Karl
- CZ: Multiple Inheritance Without Diamonds Donna Malayeri
- Checking Framework Interactions with Relationships Ciera Jaspan and Jonathan Aldrich
- Integrating Nominal and Structural Subtyping Donna Malayeri and Jonathan Aldrich
- Modular Typestate Checking of Aliased Objects Kevin Bierhoff Jonathan Aldrich
- Differencing and Merging of Architectural Views Marwan Abi-Antoun Jonathan Aldrich Nagi Nahas Bradley Schmerl David Garlan
- Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages
- Open Modules: Modular Reasoning about Advice
- Proceedings of the 2004 International Conference on Software Engineering, Edinburgh, Scotland, May 2004. DiscoTect: A System for Discovering Architectures from Running Systems
- Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
- Aliasing control with view-based typestate Filipe Milito1,2
- DynXML: Safely Programming the Dynamic Web Joshua Sunshine Jonathan Aldrich
- A Languagebased Approach to Specification and Enforcement of Architectural Protocols
- Reducing STM Overhead with Access Permissions Nels E. Beckman Yoon Phil Kim Sven Stork Jonathan Aldrich
- An Educational Proof Assistant for Language Theory Jonathan Aldrich Robert J. Simmons
- Checking and Measuring the Architectural Structural Conformance of Object-Oriented
- International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) 2007 Ownership Domains in the Real World
- International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) 2007 Compile-Time Views of Execution Structure Based on Ownership
- Combining Structural Subtyping and External Dispatch Donna Malayeri Jonathan Aldrich
- EGO: Controlling the Power of Simplicity Andi Bejleri
- Improving System Dependability by Enforcing Architectural Intent
- Open Modules: Reconciling Extensibility and Information Hiding
- Evaluating Module Systems for Crosscutting Concerns Jonathan Aldrich
- Providing Easier Access to Remote Objects in Client-Server Systems Jonathan Aldrich, James Dooley, Scott Mandelsohn, and Adam Rifkin
- Tales from Dissertationland and the Job Hunt
- Concurrency by Default Using Permissions to Express Dataflow in Stateful Programs
- An Empirical Study of Object Protocols in the Nels E. Beckman, Duri Kim, and Jonathan Aldrich
- Statically-Scoped Exceptions: a Typed Foundation for Aspect-Oriented Error
- Ownership Domains: Separating Aliasing Policy from Mechanism
- Practical Exception Specifications Donna Malayeri and Jonathan Aldrich
- Gradual Featherweight Typestate Roger Wolff Ronald Garcia Eric TanterX
- Typestate-Oriented Programming Jonathan Aldrich Joshua Sunshine Darpan Saini Zachary Sparks
- Differencing and Merging of Architectural Views Marwan Abi-Antoun, Jonathan Aldrich, Nagi Nahas, Bradley
- Typestate Protocol Specification in JML Taekgoo Kim
- To appear in European Conference on Object Oriented Programming, Mlaga, Spain, June 10-14, 2002 Copyright 2002 Springer--Verlag 1
- Architecture-Centric Programming for Adaptive Systems Jonathan Aldrich Vibha Sazawal Craig Chambers David Notkin
- Checking Semantic Usage of Frameworks Ciera Jaspan
- Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
- Gradual Typestate Roger Wolff1
- Resource-Based Programming in Plaid Jonathan Aldrich
- Challenge Problems for Separation of Concerns Jonathan Aldrich
- Alias Annotations for Program Understanding Jonathan Aldrich Valentin Kostadinov Craig Chambers
- Connecting Software Architecture to Implementation Jonathan Aldrich Craig Chambers David Notkin
- A Theory of Typestate-Oriented Programming Darpan Saini
- Verifying Correct Usage of Atomic Blocks and Typestate: Technical Companion
- Modular Verification of the Subject-Observer Pattern via Higher-Order Separation Logic
- Discovering Architectures from Running Systems
- Language Support for Connector Abstractions Jonathan Aldrich Vibha Sazawal Craig Chambers David Notkin
- 197 7 ACM Turing Award Lecture The 1977 ACM Turing Award was presented to John Backus
- Permissions to Specify the Composite Design Pattern Kevin Bierhoff Jonathan Aldrich
- Verifying Correct Usage of Atomic Blocks and Typestate Nels E. Beckman Kevin Bierhoff Jonathan Aldrich
- Selective Open Recursion: Modular Reasoning about Components and Inheritance
- Practical API Protocol Checking with Access Permissions
- Using Types to Enforce Architectural Structure Jonathan Aldrich
- Verifying Event-Driven Programs using Ramified Frame Properties
- Design Patterns in Separation Logic Neelakantan R. Krishnaswami
- Modular Composition and State Update in Plaid Jonathan Aldrich
- Is Structural Subtyping Useful? An Empirical Study
- Lightweight Object Specification with Typestates Kevin Bierhoff
- Error Reporting Logic Ciera Jaspan
- Featherweight Typestate Ronald Garcia
- JavaD: Bringing Ownership Domains to Mainstream Java
- Verifying Object-Oriented Code Using Object Propositions Ligia Nistor Jonathan Aldrich
- A Theory of Linear Objects Matthew Kehrt
- A Type System for Borrowing Permissions Karl Naden Robert Bocchino
