Jonathan Aldrich

164 papers A* 16A 31B 7C 2Misc 1Journal 46Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Gradual Verification: Assuring Software Incrementally. J. Object Technol. Jonathan Aldrich
2026	J	`jnl`	Security Reasoning via Substructural Dependency Tracking. Proc. ACM Program. Lang. Hemant Gouni, Frank Pfenning, Jonathan Aldrich
2025	A	`ed.`	39th European Conference on Object-Oriented Programming, ECOOP 2025, Bergen, Norway, June 30 - July 2, 2025 ECOOP Jonathan Aldrich, Alexandra Silva
2025	A*	`conf`	A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. ICSE Ian McCormack, Joshua Sunshine, Jonathan Aldrich
2025	A*	`conf`	An Exploratory Study of ML Sketches and Visual Code Assistants. ICSE Luís F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich, Rui Abreu
2025	J	`jnl`	Semantically Separating Nominal Wyvern for Usability and Decidability. CoRR Yu Xiang Zhu, Amos Robinson, Sophia Roshal, Timothy Mou, Julian Mackay, Jonathan Aldrich, Alex Potanin
2025	J	`jnl`	Structural Information Flow: A Fresh Look at Types for Non-interference. Proc. ACM Program. Lang. Hemant Gouni, Frank Pfenning, Jonathan Aldrich
2025	J	`jnl`	Usability Barriers for Liquid Types. Proc. ACM Program. Lang. Catarina Gamboa, Abigail Reese, Alcides Fonseca, Jonathan Aldrich
2024	J	`jnl`	"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code. CoRR Ian McCormack, Tomas Dougan, Sam Estep, Hanan Hibshi, Jonathan Aldrich, Joshua Sunshine
2024	A	`ed.`	38th European Conference on Object-Oriented Programming, ECOOP 2024, Vienna, Austria, September 16-20, 2024 ECOOP Jonathan Aldrich, Guido Salvaneschi
2024	J	`jnl`	A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. CoRR Ian McCormack, Joshua Sunshine, Jonathan Aldrich
2024	J	`jnl`	An Exploratory Study of ML Sketches and Visual Code Assistants. CoRR Luís F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich, Rui Abreu
2024	J	`jnl`	Gradual C0: Symbolic Execution for Gradual Verification. ACM Trans. Program. Lang. Syst. Jenna DiVincenzo, Ian McCormack, Conrad Zimmerman, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
2024	J	`jnl`	Sound Gradual Verification with Symbolic Execution. Proc. ACM Program. Lang. Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
2024	—	`conf`	The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps. Onward! João Costa Seco, Jonathan Aldrich
2023	J	`jnl`	Gradual Verification for Smart Contracts. CoRR Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila, Jonathan Aldrich, Jenna DiVincenzo
2023	J	`jnl`	Latte: Lightweight Aliasing Tracking for Java. CoRR Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich
2023	J	`jnl`	Sound Gradual Verification with Symbolic Execution. CoRR Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
2022	J	`jnl`	Bounded Abstract Effects. ACM Trans. Program. Lang. Syst. Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich
2022	—	`conf`	Derivations with Holes for Concept-Based Program Synthesis. Onward! João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira
2022	J	`jnl`	Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
2022	J	`jnl`	Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures. ACM Trans. Cyber Phys. Syst. Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Reese Grimsley, Kyle Liang, Yi Hu, Ian McCormack, Carlee Joe-Wong, Jonathan Aldrich, Bob Iannucci, Aviral Shrivastava
2022	J	`jnl`	Static Information Flow Control Made Simpler. CoRR Hemant Gouni, Jonathan Aldrich
2022	J	`jnl`	Technical perspective: How do experts learn new programming languages? Commun. ACM Jonathan Aldrich
2021	J	`jnl`	An Empirical Study of Protocols in Smart Contracts. CoRR Timothy Mou, Michael J. Coblenz, Jonathan Aldrich
2021	—	`conf`	Facilitating Connector Evolution With Architecture-Centric Development. ICSA Companion Selva Samuel, Jonathan Aldrich
2021	A	`conf`	Gradual Program Analysis for Null Pointers. ECOOP Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
2021	J	`jnl`	Gradual Program Analysis for Null Pointers. CoRR Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
2021	B	`conf`	Integrating usability into programming language design (keynote). SLE Jonathan Aldrich
2021	J	`jnl`	PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. ACM Trans. Comput. Hum. Interact. Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2020	—	`conf`	A case study in language-based security: building an I/O library for Wyvern. Onward! Jennifer A. Fish, Darya Melicher, Jonathan Aldrich
2020	J	`jnl`	An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language. CoRR Michael J. Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
2020	J	`jnl`	Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. Proc. ACM Program. Lang. Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2020	J	`jnl`	Decidable subtyping for path dependent types. Proc. ACM Program. Lang. Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
2020	J	`jnl`	Gradual verification of recursive heap data structures. Proc. ACM Program. Lang. Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine
2020	J	`jnl`	Obsidian: Typestate and Assets for Safer Blockchain Programming. ACM Trans. Program. Lang. Syst. Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2020	J	`jnl`	Penrose: from mathematical notation to beautiful diagrams. ACM Trans. Graph. Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane
2020	J	`jnl`	Psamathe: A DSL with Flows for Safe Blockchain Assets. CoRR Reed Oei, Michael J. Coblenz, Jonathan Aldrich
2020	B	`conf`	Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
2020	J	`jnl`	User-Centered Programming Language Design: A Course-Based Case Study. CoRR Michael J. Coblenz, Ariel Davis, Megan Hofmann, Vivian Huang, Siyue Jin, Max Krieger, Kyle Liang, Brian Wei, Mengchen Sam Yong, Jonathan Aldrich
2019	—	`conf`	A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. PLATEAU@UIST Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2019	J	`jnl`	Model-Based Adaptation for Robotics Software. IEEE Softw. 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
2019	J	`jnl`	Obsidian: Typestate and Assets for Safer Blockchain Programming. CoRR Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2019	—	`conf`	Smarter smart contract development tools. WETSEB@ICSE Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2019	J	`jnl`	User-Centered Programming Language Design in the Obsidian Smart Contract Language. CoRR Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
2018	C	`conf`	Capabilities: Effects for Free. ICFEM Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich
2018	B	`conf`	Gradual Program Verification. VMCAI Johannes Bader, Jonathan Aldrich, Éric Tanter
2018	—	`conf`	Interdisciplinary programming language design. Onward! Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2018	J	`jnl`	Reasonably programmable literal notation. Proc. ACM Program. Lang. Cyrus Omar, Jonathan Aldrich
2018	—	`conf`	Using object capabilities and effects to build an authority-safe module system: poster. HotSoS Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich
2017	J	`jnl`	A Capability-Based Module System for Authority Control (Artifact). Dagstuhl Artifacts Ser. Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
2017	A	`conf`	A Capability-Based Module System for Authority Control. ECOOP Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
2017	—	`conf`	Empirical Studies on the Security and Usability Impact of Immutability. SecDev Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine
2017	A*	`conf`	Glacier: transitive class immutability for Java. ICSE Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2017	A*	`conf`	Hazelnut: a bidirectionally typed structure editor calculus. POPL Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
2017	—	`conf`	The Implementation of Object Propositions: The Oprop Verification Tool. FACS Ligia Nistor, Jonathan Aldrich
2017	—	`conf`	Toward Semantic Foundations for Program Editors. SNAPL Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
2017	J	`jnl`	Toward Semantic Foundations for Program Editors. CoRR Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
2016	A	`conf`	Composing Interfering Abstract Protocols. ECOOP Filipe Militão, Jonathan Aldrich, Luís Caires
2016	A*	`conf`	Exploring language support for immutability. ICSE Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull
2016	J	`jnl`	Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
2016	A	`conf`	Inter-app communication in Android: developer challenges. MSR Waqar Ahmad, Christian Kästner, Joshua Sunshine, Jonathan Aldrich
2016	—	`conf`	Modules in wyvern: advanced control over security and privacy. HotSoS Darya Kurilova, Alex Potanin, Jonathan Aldrich
2016	B	`conf`	Programmable semantic fragments: the design and implementation of typy. GPCE Cyrus Omar, Jonathan Aldrich
2016	A	`conf`	Software Development Practices, Barriers in the Field and the Relationship to Software Quality. ESEM Beth Yost, Michael J. Coblenz, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff
2015	J	`jnl`	A Theory of Tagged Objects (Artifact). Dagstuhl Artifacts Ser. Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung
2015	A	`conf`	A Theory of Tagged Objects. ECOOP Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin
2015	B	`conf`	A course-based usability analysis of Cilk Plus and OpenMP. VL/HCC Michael J. Coblenz, Robert C. Seacord, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2015	—	`ed.`	Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015 SPLASH (Companion Volume) Jonathan Aldrich, Patrick Eugster
2015	Misc	`conf`	Composable and hygienic typed syntax macros. SAC Cyrus Omar, Chenglong Wang, Jonathan Aldrich
2015	C	`conf`	Cooperative Exceptions for Concurrent Objects. PRDC Bruno Cabral, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2015	A	`ed.`	Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015 OOPSLA Jonathan Aldrich, Patrick Eugster
2015	A	`conf`	Searching the state space: a qualitative study of API protocol usability. ICPC Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
2014	J	`jnl`	A case study on the lightweight verification of a multi-threaded task server. Sci. Comput. Program. Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich
2014	J	`jnl`	Brazilian Symposium on Programming Languages (SBLP 2010). Sci. Comput. Program. Jonathan Aldrich, Ricardo Massa Ferreira Lima
2014	—	`conf`	Collaborative infrastructure for test-driven scientific model validation. ICSE Companion Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin
2014	—	`conf`	Considering Productivity Effects of Explicit Type Declarations. PLATEAU Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2014	J	`jnl`	Foundations of Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
2014	—	`conf`	In-nimbo sandboxing. HotSoS Michael Maass, William L. Scherlis, Jonathan Aldrich
2014	B	`conf`	Object Propositions. FM Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
2014	A	`conf`	Rely-Guarantee Protocols. ECOOP Filipe Militão, Jonathan Aldrich, Luís Caires
2014	A	`conf`	Safely Composable Type-Specific Languages. ECOOP Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2014	—	`conf`	Statically typed string sanitation inside a python. PSP Nathan Fulton, Cyrus Omar, Jonathan Aldrich
2014	A	`conf`	Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. ECOOP Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
2014	—	`conf`	Substructural typestates. PLPV Filipe Militão, Jonathan Aldrich, Luís Caires
2014	—	`conf`	Type-specific languages to fight injection attacks. HotSoS Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2014	—	`conf`	Usability Hypotheses in the Design of Plaid. PLATEAU Joshua Sunshine, Jonathan Aldrich
2014	—	`conf`	Wyvern: Impacting Software Security via Programming Language Design. PLATEAU Darya Kurilova, Alex Potanin, Jonathan Aldrich
2014	J	`jnl`	Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. ACM Trans. Program. Lang. Syst. Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2014	A*	`conf`	Æminium: a permission based concurrent-by-default programming language approach. PLDI Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2013	—	`ch.`	A Retrospective on Aliasing Type Systems: 2012-2022. Aliasing in Object-Oriented Programming Jonathan Aldrich
2013	—	`conf`	Introducing tool-supported architecture review into software design education. CSEE&T Yuanfang Cai, Rick Kazman, Ciera Jaspan, Jonathan Aldrich
2013	—	`conf`	The power of interoperability: why objects are inevitable. Onward! Jonathan Aldrich
2013	—	`conf`	Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich
2012	—	`conf`	19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland
2012	A*	`conf`	A type system for borrowing permissions. POPL Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff
2012	A*	`conf`	Statically checking API protocol conformance with mined multi-object specifications. ICSE Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross
2012	—	`conf`	Verification of Snapshotable Trees Using Access Permissions and Typestate. TOOLS (50) Hannes Mehnert, Jonathan Aldrich
2011	—	`conf`	2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. OOPSLA Companion Jonathan Aldrich, Jeremy G. Siek, Elena Zucca
2011	A	`conf`	An Empirical Study of Object Protocols in the Wild. ECOOP Nels E. Beckman, Duri Kim, Jonathan Aldrich
2011	—	`conf`	Are object protocols burdensome?: an empirical study of developer forums. PLATEAU Ciera Jaspan, Jonathan Aldrich
2011	—	`conf`	Changing state in the plaid language. OOPSLA Companion Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich
2011	A	`conf`	First-class state change in plaid. OOPSLA Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter
2011	A	`conf`	Gradual Typestate. ECOOP Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
2011	A*	`conf`	Permission-based programming languages. ICSE Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
2011	—	`conf`	Plaid: a permission-based programming language. OOPSLA Companion Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
2010	—	`conf`	2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. SPLASH/OOPSLA Companion Jonathan Aldrich, Jeremy G. Siek
2010	—	`conf`	A theory of typestate-oriented programming. FTfJP@ECOOP Darpan Saini, Joshua Sunshine, Jonathan Aldrich
2010	—	`conf`	Aliasing control with view-based typestate. FTfJP@ECOOP Filipe Militão, Jonathan Aldrich, Luís Caires
2010	—	`conf`	Verifying event-driven programs using ramified frame properties. TLDI Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich
2009	A	`conf`	CZ: multiple inheritance without diamonds. OOPSLA Donna Malayeri, Jonathan Aldrich
2009	A	`conf`	Checking Framework Interactions with Relationships. ECOOP Ciera Jaspan, Jonathan Aldrich
2009	—	`conf`	Concurrency by default: using permissions to express dataflow in stateful programs. OOPSLA Companion Sven Stork, Paulo Marques, Jonathan Aldrich
2009	—	`conf`	Design patterns in separation logic. TLDI Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse
2009	A	`conf`	Is Structural Subtyping Useful? An Empirical Study. ESOP Donna Malayeri, Jonathan Aldrich
2009	A	`conf`	Practical API Protocol Checking with Access Permissions. ECOOP Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
2009	A	`conf`	Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. OOPSLA Marwan Abi-Antoun, Jonathan Aldrich
2009	—	`conf`	Static extraction of sound hierarchical runtime object graphs. TLDI Marwan Abi-Antoun, Jonathan Aldrich
2009	—	`conf`	Typestate protocol specification in JML. SAVCBS Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang
2009	—	`conf`	Typestate-oriented programming. OOPSLA Companion Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks
2008	—	`conf`	A field study in static extraction of runtime architectures. PASTE Marwan Abi-Antoun, Jonathan Aldrich
2008	J	`jnl`	Differencing and merging of architectural views. Autom. Softw. Eng. Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan
2008	A*	`conf`	Error Reporting Logic. ASE Ciera Jaspan, Trisha Quan, Jonathan Aldrich
2008	A	`conf`	Integrating Nominal and Structural Subtyping. ECOOP Donna Malayeri, Jonathan Aldrich
2008	—	`conf`	PLURAL: checking protocol compliance under aliasing. ICSE Companion Kevin Bierhoff, Jonathan Aldrich
2008	—	`conf`	SASyLF: an educational proof assistant for language theory. FDPE@ICFP Jonathan Aldrich, Robert J. Simmons, Key Shin
2008	—	`conf`	Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. OOPSLA Companion Marwan Abi-Antoun, Jonathan Aldrich
2008	—	`conf`	Tool support for the static extraction of sound hierarchical representations of runtime object graphs. OOPSLA Companion Marwan Abi-Antoun, Jonathan Aldrich
2008	—	`conf`	Using Types to Enforce Architectural Structure. WICSA Jonathan Aldrich
2008	A	`conf`	Verifying correct usage of atomic blocks and typestate. OOPSLA Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich
2007	J	`jnl`	A case study in re-engineering to enforce architectural control flow and data sharing. J. Syst. Softw. Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho
2007	A	`conf`	Assuring Object-Oriented Architecture. ECOOP Jonathan Aldrich
2007	—	`conf`	Checking framework plugins. OOPSLA Companion Ciera Jaspan, Jonathan Aldrich
2007	—	`conf`	Combining structural subtyping and external dispatch. OOPSLA Companion Donna Malayeri, Jonathan Aldrich
2007	A	`conf`	Modular typestate checking of aliased objects. OOPSLA Kevin Bierhoff, Jonathan Aldrich
2007	—	`conf`	Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
2007	A*	`conf`	Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. ASE Marwan Abi-Antoun, Jonathan Aldrich
2006	—	`conf`	A static analysis for extracting runtime views from annotated object-oriented code. OOPSLA Companion Marwan Abi-Antoun, Jonathan Aldrich
2006	—	`conf`	Bringing ownership domains to mainstream Java. OOPSLA Companion Marwan Abi-Antoun, Jonathan Aldrich
2006	A*	`conf`	Differencing and Merging of Architectural Views. ASE Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan
2006	J	`jnl`	Discovering Architectures from Running Systems. IEEE Trans. Software Eng. Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan
2006	—	`conf`	Practical Exception Specifications. Advanced Topics in Exception Handling Techniques Donna Malayeri, Jonathan Aldrich
2006	—	`conf`	Young guns/object orientation: the next generation. OOPSLA Companion 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
2005	—	`conf`	Improving system dependability by enforcing architectural intent. WADS@ICSE Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng
2005	J	`jnl`	Improving system dependability by enforcing architectural intent. ACM SIGSOFT Softw. Eng. Notes Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng
2005	—	`conf`	Lightweight object specification with typestates. ESEC/SIGSOFT FSE Kevin Bierhoff, Jonathan Aldrich
2005	A*	`conf`	Modeling and implementing software architecture with acme and archJava. ICSE Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng
2005	A	`conf`	Open Modules: Modular Reasoning About Advice. ECOOP Jonathan Aldrich
2005	A*	`conf`	Permission-based ownership: encapsulating state in higher-order typed languages. PLDI Neelakantan R. Krishnaswami, Jonathan Aldrich
2005	A	`conf`	Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. ECOOP Lee Salzman, Jonathan Aldrich
2005	—	`conf`	Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. WICSA Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas
2004	A*	`conf`	DiscoTect: A System for Discovering Architectures from Running Systems. ICSE Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman
2004	—	`conf`	Modeling and implementing software architecture with acme and archJava. OOPSLA Companion Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng
2004	—	`conf`	Modeling and implementing software architecture with acme and archJava. OOPSLA Companion Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng
2004	A	`conf`	Ownership Domains: Separating Aliasing Policy from Mechanism. ECOOP Jonathan Aldrich, Craig Chambers
2003	J	`jnl`	Comprehensive synchronization elimination for Java. Sci. Comput. Program. Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers
2003	A	`conf`	Language Support for Connector Abstractions. ECOOP Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
2003	—	`—`	Using types to enforce architectural structure. Jonathan Aldrich
2002	A	`conf`	Alias annotations for program understanding. OOPSLA Jonathan Aldrich, Valentin Kostadinov, Craig Chambers
2002	A*	`conf`	ArchJava: connecting software architecture to implementation. ICSE Jonathan Aldrich, Craig Chambers, David Notkin
2002	A	`conf`	Architectural Reasoning in ArchJava. ECOOP Jonathan Aldrich, Craig Chambers, David Notkin
2002	—	`conf`	Architecture-centric programming for adaptive systems. WOSS Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
1999	B	`conf`	Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. SAS Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers
1998	—	`conf`	Providing Easier Access to Remote Objects in Client-Server Systems. HICSS (7) Jonathan Aldrich, James Dooley, Scott Mandelsohn, Adam Rifkin