Jonathan Aldrich

According to our database, Jonathan Aldrich authored at least 142 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Sound Gradual Verification with Symbolic Execution.

Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich

Proc. ACM Program. Lang., January, 2024

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries.

Ian McCormack, Joshua Sunshine, Jonathan Aldrich

CoRR, 2024

"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code.

Ian McCormack, Tomas Dougan, Sam Estep, Hanan Hibshi, Jonathan Aldrich, Joshua Sunshine

CoRR, 2024

2023

Gradual Verification for Smart Contracts.

Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila, Jonathan Aldrich, Jenna DiVincenzo

CoRR, 2023

Latte: Lightweight Aliasing Tracking for Java.

Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich

CoRR, 2023

2022

Bounded Abstract Effects.

Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2022

Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures.

Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Reese Grimsley, Kyle Liang, Yi Hu, Ian McCormack, Carlee Joe-Wong, Jonathan Aldrich, Bob Iannucci, Aviral Shrivastava

ACM Trans. Cyber Phys. Syst., 2022

Static Information Flow Control Made Simpler.

Hemant Gouni, Jonathan Aldrich

CoRR, 2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification.

Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

CoRR, 2022

Technical perspective: How do experts learn new programming languages?

Jonathan Aldrich

Commun. ACM, 2022

Derivations with Holes for Concept-Based Program Synthesis.

João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

2021

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design.

Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

ACM Trans. Comput. Hum. Interact., 2021

An Empirical Study of Protocols in Smart Contracts.

Timothy Mou, Michael J. Coblenz, Jonathan Aldrich

CoRR, 2021

Integrating usability into programming language design (keynote).

Jonathan Aldrich

Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Facilitating Connector Evolution With Architecture-Centric Development.

Selva Samuel, Jonathan Aldrich

Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

Gradual Program Analysis for Null Pointers.

Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian (Artifact).

Michael Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Dataset, September, 2020

Obsidian: Typestate and Assets for Safer Blockchain Programming.

Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2020

Penrose: from mathematical notation to beautiful diagrams.

Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane

ACM Trans. Graph., 2020

Gradual verification of recursive heap data structures.

Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

Proc. ACM Program. Lang., 2020

Decidable subtyping for path dependent types.

Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves

Proc. ACM Program. Lang., 2020

Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proc. ACM Program. Lang., 2020

User-Centered Programming Language Design: A Course-Based Case Study.

Michael J. Coblenz, Ariel Davis, Megan Hofmann, Vivian Huang, Siyue Jin, Max Krieger, Kyle Liang, Brian Wei, Mengchen Sam Yong, Jonathan Aldrich

CoRR, 2020

Psamathe: A DSL with Flows for Safe Blockchain Assets.

Reed Oei, Michael J. Coblenz, Jonathan Aldrich

CoRR, 2020

An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language.

Michael J. Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers

CoRR, 2020

A case study in language-based security: building an I/O library for Wyvern.

Jennifer A. Fish, Darya Melicher, Jonathan Aldrich

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.

Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Model-Based Adaptation for Robotics Software.

Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi

IEEE Softw., 2019

User-Centered Programming Language Design in the Obsidian Smart Contract Language.

Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers

CoRR, 2019

A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language.

Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

Smarter smart contract development tools.

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019

2018

Reasonably programmable literal notation.

Cyrus Omar, Jonathan Aldrich

Proc. ACM Program. Lang., 2018

Gradual Program Verification.

Johannes Bader, Jonathan Aldrich, Éric Tanter

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Interdisciplinary programming language design.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

Capabilities: Effects for Free.

Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich

Proceedings of the Formal Methods and Software Engineering, 2018

Using object capabilities and effects to build an authority-safe module system: poster.

Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

2017

A Capability-Based Module System for Authority Control (Artifact).

Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich

Dagstuhl Artifacts Ser., 2017

Toward Semantic Foundations for Program Editors.

Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Empirical Studies on the Security and Usability Impact of Immutability.

Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine

Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017

Hazelnut: a bidirectionally typed structure editor calculus.

Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Glacier: transitive class immutability for Java.

Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 39th International Conference on Software Engineering, 2017

The Implementation of Object Propositions: The Oprop Verification Tool.

Ligia Nistor, Jonathan Aldrich

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

A Capability-Based Module System for Authority Control.

Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Inter-app communication in Android: developer challenges.

Waqar Ahmad, Christian Kästner, Joshua Sunshine, Jonathan Aldrich

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Exploring language support for immutability.

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull

Proceedings of the 38th International Conference on Software Engineering, 2016

Modules in wyvern: advanced control over security and privacy.

Darya Kurilova, Alex Potanin, Jonathan Aldrich

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Programmable semantic fragments: the design and implementation of typy.

Cyrus Omar, Jonathan Aldrich

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Software Development Practices, Barriers in the Field and the Relationship to Software Quality.

Beth Yost, Michael J. Coblenz, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff

Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

Composing Interfering Abstract Protocols.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

A Theory of Tagged Objects (Artifact).

Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung

Dagstuhl Artifacts Ser., 2015

A course-based usability analysis of Cilk Plus and OpenMP.

Michael J. Coblenz, Robert C. Seacord, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Composable and hygienic typed syntax macros.

Cyrus Omar, Chenglong Wang, Jonathan Aldrich

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Cooperative Exceptions for Concurrent Objects.

Bruno Cabral, Alcides Fonseca, Paulo Marques, Jonathan Aldrich

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Searching the state space: a qualitative study of API protocol usability.

Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich

Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, 2015

A Theory of Tagged Objects.

Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach.

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2014

Foundations of Typestate-Oriented Programming.

Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2014

A case study on the lightweight verification of a multi-threaded task server.

Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich

Sci. Comput. Program., 2014

Brazilian Symposium on Programming Languages (SBLP 2010).

Jonathan Aldrich, Ricardo Massa Ferreira Lima

Sci. Comput. Program., 2014

Substructural typestates.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Usability Hypotheses in the Design of Plaid.

Joshua Sunshine, Jonathan Aldrich

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

Wyvern: Impacting Software Security via Programming Language Design.

Darya Kurilova, Alex Potanin, Jonathan Aldrich

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

Statically typed string sanitation inside a python.

Nathan Fulton, Cyrus Omar, Jonathan Aldrich

Proceedings of the 2014 International Workshop on Privacy & Security in Programming, 2014

Considering Productivity Effects of Explicit Type Declarations.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

Collaborative infrastructure for test-driven scientific model validation.

Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin

Proceedings of the 36th International Conference on Software Engineering, 2014

In-nimbo sandboxing.

Michael Maass, William L. Scherlis, Jonathan Aldrich

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Type-specific languages to fight injection attacks.

Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Object Propositions.

Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert

Proceedings of the FM 2014: Formal Methods, 2014

Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming.

Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Safely Composable Type-Specific Languages.

Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Rely-Guarantee Protocols.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

A Retrospective on Aliasing Type Systems: 2012-2022.

Jonathan Aldrich

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

The power of interoperability: why objects are inevitable.

Jonathan Aldrich

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

Type-directed, whitespace-delimited parsing for embedded DSLs.

Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich

Proceedings of the First Workshop on the Globalization of Domain Specific Languages, 2013

Introducing tool-supported architecture review into software design education.

Yuanfang Cai, Rick Kazman, Ciera Jaspan, Jonathan Aldrich

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012

Verification of Snapshotable Trees Using Access Permissions and Typestate.

Hannes Mehnert, Jonathan Aldrich

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

A type system for borrowing permissions.

Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

19th international workshop on foundations of object-oriented languages (FOOL'12).

Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland

Proceedings of the SPLASH'12, 2012

Statically checking API protocol conformance with mined multi-object specifications.

Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Changing state in the plaid language.

Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

First-class state change in plaid.

Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Are object protocols burdensome?: an empirical study of developer forums.

Ciera Jaspan, Jonathan Aldrich

Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools, 2011

2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary.

Jonathan Aldrich, Jeremy G. Siek, Elena Zucca

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Plaid: a permission-based programming language.

Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Permission-based programming languages.

Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the 33rd International Conference on Software Engineering, 2011

Gradual Typestate.

Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

An Empirical Study of Object Protocols in the Wild.

Nels E. Beckman, Duri Kim, Jonathan Aldrich

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Verifying event-driven programs using ramified frame properties.

Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary.

Jonathan Aldrich, Jeremy G. Siek

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

A theory of typestate-oriented programming.

Darpan Saini, Joshua Sunshine, Jonathan Aldrich

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

Aliasing control with view-based typestate.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009

Design patterns in separation logic.

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Static extraction of sound hierarchical runtime object graphs.

Marwan Abi-Antoun, Jonathan Aldrich

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Typestate protocol specification in JML.

Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang

Proceedings of the SAVCBS'09, 2009

Concurrency by default: using permissions to express dataflow in stateful programs.

Sven Stork, Paulo Marques, Jonathan Aldrich

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

CZ: multiple inheritance without diamonds.

Donna Malayeri, Jonathan Aldrich

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Typestate-oriented programming.

Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.

Marwan Abi-Antoun, Jonathan Aldrich

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Is Structural Subtyping Useful? An Empirical Study.

Donna Malayeri, Jonathan Aldrich

Proceedings of the Programming Languages and Systems, 2009

Checking Framework Interactions with Relationships.

Ciera Jaspan, Jonathan Aldrich

Proceedings of the ECOOP 2009, 2009

Practical API Protocol Checking with Access Permissions.

Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich

Proceedings of the ECOOP 2009, 2009

2008

Differencing and merging of architectural views.

Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan

Autom. Softw. Eng., 2008

Using Types to Enforce Architectural Structure.

Jonathan Aldrich

Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008

A field study in static extraction of runtime architectures.

Marwan Abi-Antoun, Jonathan Aldrich

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Verifying correct usage of atomic blocks and typestate.

Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Tool support for the static extraction of sound hierarchical representations of runtime object graphs.

Marwan Abi-Antoun, Jonathan Aldrich

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.

Marwan Abi-Antoun, Jonathan Aldrich

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Error Reporting Logic.

Ciera Jaspan, Trisha Quan, Jonathan Aldrich

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

PLURAL: checking protocol compliance under aliasing.

Kevin Bierhoff, Jonathan Aldrich

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

SASyLF: an educational proof assistant for language theory.

Jonathan Aldrich, Robert J. Simmons, Key Shin

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

Integrating Nominal and Structural Subtyping.

Donna Malayeri, Jonathan Aldrich

Proceedings of the ECOOP 2008, 2008

2007

A case study in re-engineering to enforce architectural control flow and data sharing.

Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho

J. Syst. Softw., 2007

Specification and verification of component-based systems 2007.

Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Combining structural subtyping and external dispatch.

Donna Malayeri, Jonathan Aldrich

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Checking framework plugins.

Ciera Jaspan, Jonathan Aldrich

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Modular typestate checking of aliased objects.

Kevin Bierhoff, Jonathan Aldrich

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Tool support for the compile-time execution structure of object-oriented programs with ownership annotations.

Marwan Abi-Antoun, Jonathan Aldrich

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Assuring Object-Oriented Architecture.

Jonathan Aldrich

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Discovering Architectures from Running Systems.

Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan

IEEE Trans. Software Eng., 2006

Young guns/object orientation: the next generation.

Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A static analysis for extracting runtime views from annotated object-oriented code.

Marwan Abi-Antoun, Jonathan Aldrich

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Bringing ownership domains to mainstream Java.

Marwan Abi-Antoun, Jonathan Aldrich

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Practical Exception Specifications.

Donna Malayeri, Jonathan Aldrich

Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006

2005

Improving system dependability by enforcing architectural intent.

Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng

ACM SIGSOFT Softw. Eng. Notes, 2005

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures.

Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Lightweight object specification with typestates.

Kevin Bierhoff, Jonathan Aldrich

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Permission-based ownership: encapsulating state in higher-order typed languages.

Neelakantan R. Krishnaswami, Jonathan Aldrich

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Modeling and implementing software architecture with acme and archJava.

Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model.

Lee Salzman, Jonathan Aldrich

Proceedings of the ECOOP 2005, 2005

Open Modules: Modular Reasoning About Advice.

Jonathan Aldrich

Proceedings of the ECOOP 2005, 2005

2004

Modeling and implementing software architecture with acme and archJava.

Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

DiscoTect: A System for Discovering Architectures from Running Systems.

Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Ownership Domains: Separating Aliasing Policy from Mechanism.

Jonathan Aldrich, Craig Chambers

Proceedings of the ECOOP 2004, 2004

2003

Using types to enforce architectural structure.

Jonathan Aldrich

PhD thesis, 2003

Comprehensive synchronization elimination for Java.

Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers

Sci. Comput. Program., 2003

Language Support for Connector Abstractions.

Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin

Proceedings of the ECOOP 2003, 2003

2002

Architecture-centric programming for adaptive systems.

Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin

Proceedings of the First Workshop on Self-Healing Systems, 2002

Alias annotations for program understanding.

Jonathan Aldrich, Valentin Kostadinov, Craig Chambers

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

ArchJava: connecting software architecture to implementation.

Jonathan Aldrich, Craig Chambers, David Notkin

Proceedings of the 24th International Conference on Software Engineering, 2002

Architectural Reasoning in ArchJava.

Jonathan Aldrich, Craig Chambers, David Notkin

Proceedings of the ECOOP 2002, 2002

1999

Static Analyses for Eliminating Unnecessary Synchronization from Java Programs.

Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers

Proceedings of the Static Analysis, 6th International Symposium, 1999

1998

Providing Easier Access to Remote Objects in Client-Server Systems.

Jonathan Aldrich, James Dooley, Scott Mandelsohn, Adam Rifkin

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998