Jonathan Aldrich

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 57

Top Venues

CoRR

ECOOP

Proc. ACM Program. Lang.

HotSoS

Publications

Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Sound Gradual Verification with Symbolic Execution. Proc. ACM Program. Lang. 8 (POPL) (2024)
Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila, Jonathan Aldrich, Jenna DiVincenzo
Gradual Verification for Smart Contracts. CoRR (2023)
Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich
Latte: Lightweight Aliasing Tracking for Java. CoRR (2023)
Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Sound Gradual Verification with Symbolic Execution. CoRR (2023)
Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR (2022)
Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich
Bounded Abstract Effects. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
João Costa Seco, Jonathan Aldrich, Luis Carvalho, Bernardo Toninho, Carla Ferreira
Derivations with Holes for Concept-Based Program Synthesis. Onward! (2022)
Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Reese Grimsley, Kyle Liang, Yi Hu, Ian McCormack, Carlee Joe-Wong, Jonathan Aldrich, Bob Iannucci, Aviral Shrivastava
Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures. ACM Trans. Cyber Phys. Syst. 6 (3) (2022)
Hemant Gouni, Jonathan Aldrich
Static Information Flow Control Made Simpler. CoRR (2022)
Jonathan Aldrich
Technical perspective: How do experts learn new programming languages? Commun. ACM 65 (3) (2022)
Selva Samuel, Jonathan Aldrich
Facilitating Connector Evolution With Architecture-Centric Development. ICSA Companion (2021)
Timothy Mou, Michael J. Coblenz, Jonathan Aldrich
An Empirical Study of Protocols in Smart Contracts. CoRR (2021)
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
Gradual Program Analysis for Null Pointers. CoRR (2021)
Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. ACM Trans. Comput. Hum. Interact. 28 (4) (2021)
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
Gradual Program Analysis for Null Pointers. ECOOP (2021)
Jonathan Aldrich
Integrating usability into programming language design (keynote). SLE (2021)
Reed Oei, Michael J. Coblenz, Jonathan Aldrich
Psamathe: A DSL with Flows for Safe Blockchain Assets. CoRR (2020)
Michael J. Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language. CoRR (2020)
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS (2020)
Jennifer A. Fish, Darya Melicher, Jonathan Aldrich
A case study in language-based security: building an I/O library for Wyvern. Onward! (2020)
Michael J. Coblenz, Ariel Davis, Megan Hofmann, Vivian Huang, Siyue Jin, Max Krieger, Kyle Liang, Brian Wei, Mengchen Sam Yong, Jonathan Aldrich
User-Centered Programming Language Design: A Course-Based Case Study. CoRR (2020)
Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine
Gradual verification of recursive heap data structures. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
Obsidian: Typestate and Assets for Safer Blockchain Programming. ACM Trans. Program. Lang. Syst. 42 (3) (2020)
Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
Decidable subtyping for path dependent types. Proc. ACM Program. Lang. 4 (POPL) (2020)
Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane
Penrose: from mathematical notation to beautiful diagrams. ACM Trans. Graph. 39 (4) (2020)
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
Model-Based Adaptation for Robotics Software. IEEE Softw. 36 (2) (2019)
Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
Obsidian: Typestate and Assets for Safer Blockchain Programming. CoRR (2019)
Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
User-Centered Programming Language Design in the Obsidian Smart Contract Language. CoRR (2019)
Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
Smarter smart contract development tools. WETSEB@ICSE (2019)
Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. PLATEAU@UIST (2019)
Cyrus Omar, Jonathan Aldrich
Reasonably programmable literal notation. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
Interdisciplinary programming language design. Onward! (2018)
Johannes Bader, Jonathan Aldrich, Éric Tanter
Gradual Program Verification. VMCAI (2018)
Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich
Capabilities: Effects for Free. ICFEM (2018)
Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich
Using object capabilities and effects to build an authority-safe module system: poster. HotSoS (2018)
Ligia Nistor, Jonathan Aldrich
The Implementation of Object Propositions: The Oprop Verification Tool. FACS (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. SNAPL (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. CoRR (2017)
Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
A Capability-Based Module System for Authority Control. ECOOP (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: a bidirectionally typed structure editor calculus. POPL (2017)
Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine
Empirical Studies on the Security and Usability Impact of Immutability. SecDev (2017)
Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
Glacier: transitive class immutability for Java. ICSE (2017)
Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
A Capability-Based Module System for Authority Control (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Beth Yost, Michael J. Coblenz, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff
Software Development Practices, Barriers in the Field and the Relationship to Software Quality. ESEM (2016)
Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull
Exploring language support for immutability. ICSE (2016)
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR (2016)
Filipe Militão, Jonathan Aldrich, Luís Caires
Composing Interfering Abstract Protocols. ECOOP (2016)
Cyrus Omar, Jonathan Aldrich
Programmable semantic fragments: the design and implementation of typy. GPCE (2016)
Darya Kurilova, Alex Potanin, Jonathan Aldrich
Modules in wyvern: advanced control over security and privacy. HotSoS (2016)
Waqar Ahmad, Christian Kästner, Joshua Sunshine, Jonathan Aldrich
Inter-app communication in Android: developer challenges. MSR (2016)
Cyrus Omar, Chenglong Wang, Jonathan Aldrich
Composable and hygienic typed syntax macros. SAC (2015)
Bruno Cabral, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
Cooperative Exceptions for Concurrent Objects. PRDC (2015)
Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung
A Theory of Tagged Objects (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
Searching the state space: a qualitative study of API protocol usability. ICPC (2015)
Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin
A Theory of Tagged Objects. ECOOP (2015)
Michael J. Coblenz, Robert C. Seacord, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
A course-based usability analysis of Cilk Plus and OpenMP. VL/HCC (2015)
Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich
A case study on the lightweight verification of a multi-threaded task server. Sci. Comput. Program. 80 (2014)
Filipe Militão, Jonathan Aldrich, Luís Caires
Substructural typestates. PLPV (2014)
Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin
Collaborative infrastructure for test-driven scientific model validation. ICSE Companion (2014)
Darya Kurilova, Alex Potanin, Jonathan Aldrich
Wyvern: Impacting Software Security via Programming Language Design. PLATEAU (2014)
Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. ECOOP (2014)
Jonathan Aldrich, Ricardo Massa Ferreira Lima
Brazilian Symposium on Programming Languages (SBLP 2010). Sci. Comput. Program. 80 (2014)
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
Foundations of Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
Considering Productivity Effects of Explicit Type Declarations. PLATEAU (2014)
Joshua Sunshine, Jonathan Aldrich
Usability Hypotheses in the Design of Plaid. PLATEAU (2014)
Michael Maass, William L. Scherlis, Jonathan Aldrich
In-nimbo sandboxing. HotSoS (2014)
Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
Æminium: a permission based concurrent-by-default programming language approach. PLDI (2014)
Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
Object Propositions. FM (2014)
Nathan Fulton, Cyrus Omar, Jonathan Aldrich
Statically typed string sanitation inside a python. PSP (2014)
Filipe Militão, Jonathan Aldrich, Luís Caires
Rely-Guarantee Protocols. ECOOP (2014)
Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Type-specific languages to fight injection attacks. HotSoS (2014)
Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Safely Composable Type-Specific Languages. ECOOP (2014)
Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich
Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP (2013)
Jonathan Aldrich
The power of interoperability: why objects are inevitable. Onward! (2013)
Yuanfang Cai, Rick Kazman, Ciera Jaspan, Jonathan Aldrich
Introducing tool-supported architecture review into software design education. CSEE&T (2013)
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff
A type system for borrowing permissions. POPL (2012)
Hannes Mehnert, Jonathan Aldrich
Verification of Snapshotable Trees Using Access Permissions and Typestate. TOOLS (50) (2012)
Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross
Statically checking API protocol conformance with mined multi-object specifications. ICSE (2012)
Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland
19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH (2012)
Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
Gradual Typestate. ECOOP (2011)
Jonathan Aldrich, Jeremy G. Siek, Elena Zucca
2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. OOPSLA Companion (2011)
Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter
First-class state change in plaid. OOPSLA (2011)
Ciera Jaspan, Jonathan Aldrich
Are object protocols burdensome?: an empirical study of developer forums. PLATEAU (2011)
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
Permission-based programming languages. ICSE (2011)
Nels E. Beckman, Duri Kim, Jonathan Aldrich
An Empirical Study of Object Protocols in the Wild. ECOOP (2011)
Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich
Changing state in the plaid language. OOPSLA Companion (2011)
Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
Plaid: a permission-based programming language. OOPSLA Companion (2011)
Filipe Militão, Jonathan Aldrich, Luís Caires
Aliasing control with view-based typestate. FTfJP@ECOOP (2010)
Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich
Verifying event-driven programs using ramified frame properties. TLDI (2010)
Darpan Saini, Joshua Sunshine, Jonathan Aldrich
A theory of typestate-oriented programming. FTfJP@ECOOP (2010)
Jonathan Aldrich, Jeremy G. Siek
2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. SPLASH/OOPSLA Companion (2010)
Sven Stork, Paulo Marques, Jonathan Aldrich
Concurrency by default: using permissions to express dataflow in stateful programs. OOPSLA Companion (2009)
Donna Malayeri, Jonathan Aldrich
Is Structural Subtyping Useful? An Empirical Study. ESOP (2009)
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse
Design patterns in separation logic. TLDI (2009)
Ciera Jaspan, Jonathan Aldrich
Checking Framework Interactions with Relationships. ECOOP (2009)
Marwan Abi-Antoun, Jonathan Aldrich
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. OOPSLA (2009)
Marwan Abi-Antoun, Jonathan Aldrich
Static extraction of sound hierarchical runtime object graphs. TLDI (2009)
Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
Practical API Protocol Checking with Access Permissions. ECOOP (2009)

Jonathan Aldrich.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jonathan Aldrich