default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJonathan Aldrich
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, PA, USA
- affiliation (PhD 2003): University of Washington, Seattle, WA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2003
[b1]Jonathan Aldrich:
Using types to enforce architectural structure. University of Washington, USA, 2003
Journal Articles
- 2024
- [j23]Conrad Zimmerman
, Jenna DiVincenzo, Jonathan Aldrich:
Sound Gradual Verification with Symbolic Execution. Proc. ACM Program. Lang. 8(POPL): 2547-2576 (2024) - 2022
- [j22]Jonathan Aldrich:
Technical perspective: How do experts learn new programming languages? Commun. ACM 65(3): 90 (2022) - [j21]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): 21:1-21:39 (2022) - [j20]Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich:
Bounded Abstract Effects. ACM Trans. Program. Lang. Syst. 44(1): 5:1-5:48 (2022) - 2021
- [j19]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): 28:1-28:53 (2021) - 2020
- [j18]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): 132:1-132:28 (2020) - [j17]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): 228:1-228:28 (2020) - [j16]Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves:
Decidable subtyping for path dependent types. Proc. ACM Program. Lang. 4(POPL): 66:1-66:27 (2020) - [j15]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): 144 (2020) - [j14]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): 14:1-14:82 (2020) - 2019
- [j13]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): 83-90 (2019) - 2018
- [j12]Cyrus Omar, Jonathan Aldrich:
Reasonably programmable literal notation. Proc. ACM Program. Lang. 2(ICFP): 106:1-106:32 (2018) - 2017
- [j11]Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich:
A Capability-Based Module System for Authority Control (Artifact). Dagstuhl Artifacts Ser. 3(2): 02:1-02:2 (2017) - 2015
- [j10]Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung:
A Theory of Tagged Objects (Artifact). Dagstuhl Artifacts Ser. 1(1): 03:1-03-3 (2015) - 2014
- [j9]Jonathan Aldrich, Ricardo Massa Ferreira Lima:
Brazilian Symposium on Programming Languages (SBLP 2010). Sci. Comput. Program. 80: 51 (2014) - [j8]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: 169-187 (2014) - [j7]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): 2:1-2:42 (2014) - [j6]Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich:
Foundations of Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 36(4): 12:1-12:44 (2014) - 2008
- [j5]Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan:
Differencing and merging of architectural views. Autom. Softw. Eng. 15(1): 35-74 (2008) - 2007
- [j4]Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho:
A case study in re-engineering to enforce architectural control flow and data sharing. J. Syst. Softw. 80(2): 240-264 (2007) - 2006
- [j3]Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan:
Discovering Architectures from Running Systems. IEEE Trans. Software Eng. 32(7): 454-466 (2006) - 2005
- [j2]Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng:
Improving system dependability by enforcing architectural intent. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - 2003
- [j1]Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers:
Comprehensive synchronization elimination for Java. Sci. Comput. Program. 47(2-3): 91-120 (2003)
Conference and Workshop Papers
- 2022
- [c109]João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira:
Derivations with Holes for Concept-Based Program Synthesis. Onward! 2022: 63-79 - 2021
- [c108]Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine:
Gradual Program Analysis for Null Pointers. ECOOP 2021: 3:1-3:25 - [c107]Selva Samuel, Jonathan Aldrich:
Facilitating Connector Evolution With Architecture-Centric Development. ICSA Companion 2021: 1-7 - [c106]Jonathan Aldrich:
Integrating usability into programming language design (keynote). SLE 2021: 1 - 2020
- [c105]Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves:
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS 2020: 125-144 - [c104]Jennifer A. Fish, Darya Melicher, Jonathan Aldrich:
A case study in language-based security: building an I/O library for Wyvern. Onward! 2020: 34-47 - 2019
- [c103]Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers:
Smarter smart contract development tools. WETSEB@ICSE 2019: 48-51 - [c102]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: 2:1-2:11 - 2018
- [c101]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: 29:1 - [c100]Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich:
Capabilities: Effects for Free. ICFEM 2018: 231-247 - [c99]Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Interdisciplinary programming language design. Onward! 2018: 133-146 - [c98]Johannes Bader, Jonathan Aldrich, Éric Tanter:
Gradual Program Verification. VMCAI 2018: 25-46 - 2017
- [c97]Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich:
A Capability-Based Module System for Authority Control. ECOOP 2017: 20:1-20:27 - [c96]Ligia Nistor, Jonathan Aldrich:
The Implementation of Object Propositions: The Oprop Verification Tool. FACS 2017: 179-197 - [c95]Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Glacier: transitive class immutability for Java. ICSE 2017: 496-506 - [c94]Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: a bidirectionally typed structure editor calculus. POPL 2017: 86-99 - [c93]Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine:
Empirical Studies on the Security and Usability Impact of Immutability. SecDev 2017: 50-53 - [c92]Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer:
Toward Semantic Foundations for Program Editors. SNAPL 2017: 11:1-11:12 - 2016
- [c91]Filipe Militão, Jonathan Aldrich, Luís Caires:
Composing Interfering Abstract Protocols. ECOOP 2016: 16:1-16:26 - [c90]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: 16:1-16:6 - [c89]Cyrus Omar, Jonathan Aldrich:
Programmable semantic fragments: the design and implementation of typy. GPCE 2016: 81-92 - [c88]Darya Kurilova, Alex Potanin, Jonathan Aldrich:
Modules in wyvern: advanced control over security and privacy. HotSoS 2016: 68 - [c87]Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull:
Exploring language support for immutability. ICSE 2016: 736-747 - [c86]Waqar Ahmad, Christian Kästner, Joshua Sunshine, Jonathan Aldrich:
Inter-app communication in Android: developer challenges. MSR 2016: 177-188 - 2015
- [c85]Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin:
A Theory of Tagged Objects. ECOOP 2015: 174-197 - [c84]Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich:
Searching the state space: a qualitative study of API protocol usability. ICPC 2015: 82-93 - [c83]Bruno Cabral, Alcides Fonseca, Paulo Marques, Jonathan Aldrich:
Cooperative Exceptions for Concurrent Objects. PRDC 2015: 21-31 - [c82]Cyrus Omar, Chenglong Wang, Jonathan Aldrich:
Composable and hygienic typed syntax macros. SAC 2015: 1986-1991 - [c81]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: 245-249 - 2014
- [c80]Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich:
Safely Composable Type-Specific Languages. ECOOP 2014: 105-130 - [c79]Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich:
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. ECOOP 2014: 157-181 - [c78]Filipe Militão, Jonathan Aldrich, Luís Caires:
Rely-Guarantee Protocols. ECOOP 2014: 334-359 - [c77]Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert:
Object Propositions. FM 2014: 497-513 - [c76]Michael Maass, William L. Scherlis, Jonathan Aldrich:
In-nimbo sandboxing. HotSoS 2014: 1 - [c75]Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich:
Type-specific languages to fight injection attacks. HotSoS 2014: 18 - [c74]Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin:
Collaborative infrastructure for test-driven scientific model validation. ICSE Companion 2014: 524-527 - [c73]Nathan Fulton, Cyrus Omar, Jonathan Aldrich:
Statically typed string sanitation inside a python. PSP 2014: 3-10 - [c72]Darya Kurilova, Alex Potanin, Jonathan Aldrich:
Wyvern: Impacting Software Security via Programming Language Design. PLATEAU 2014: 57-58 - [c71]Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Considering Productivity Effects of Explicit Type Declarations. PLATEAU 2014: 59-61 - [c70]Joshua Sunshine, Jonathan Aldrich:
Usability Hypotheses in the Design of Plaid. PLATEAU 2014: 63-66 - [c69]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: 26 - [c68]Filipe Militão, Jonathan Aldrich, Luís Caires:
Substructural typestates. PLPV 2014: 15-26 - 2013
- [c67]Yuanfang Cai, Rick Kazman, Ciera Jaspan, Jonathan Aldrich:
Introducing tool-supported architecture review into software design education. CSEE&T 2013: 70-79 - [c66]Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich:
Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP 2013: 8-11 - [c65]Jonathan Aldrich:
The power of interoperability: why objects are inevitable. Onward! 2013: 101-116 - 2012
- [c64]Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross:
Statically checking API protocol conformance with mined multi-object specifications. ICSE 2012: 925-935 - [c63]Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland:
19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH 2012: 233-234 - [c62]Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff:
A type system for borrowing permissions. POPL 2012: 557-570 - [c61]Hannes Mehnert, Jonathan Aldrich:
Verification of Snapshotable Trees Using Access Permissions and Typestate. TOOLS (50) 2012: 187-201 - 2011
- [c60]Nels E. Beckman, Duri Kim, Jonathan Aldrich:
An Empirical Study of Object Protocols in the Wild. ECOOP 2011: 2-26 - [c59]Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich:
Gradual Typestate. ECOOP 2011: 459-483 - [c58]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: 828-831 - [c57]Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich:
Changing state in the plaid language. OOPSLA Companion 2011: 37-38 - [c56]Ciera Jaspan, Jonathan Aldrich:
Are object protocols burdensome?: an empirical study of developer forums. PLATEAU 2011: 51-56 - [c55]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: 183-184 - [c54]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: 319-320 - [c53]Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter:
First-class state change in plaid. OOPSLA 2011: 713-732 - 2010
- [c52]Filipe Militão, Jonathan Aldrich, Luís Caires:
Aliasing control with view-based typestate. FTfJP@ECOOP 2010: 7:1-7:7 - [c51]Darpan Saini, Joshua Sunshine, Jonathan Aldrich:
A theory of typestate-oriented programming. FTfJP@ECOOP 2010: 9:1-9:7 - [c50]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: 285-286 - [c49]Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich:
Verifying event-driven programs using ramified frame properties. TLDI 2010: 63-76 - 2009
- [c48]Ciera Jaspan, Jonathan Aldrich:
Checking Framework Interactions with Relationships. ECOOP 2009: 27-51 - [c47]Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich:
Practical API Protocol Checking with Access Permissions. ECOOP 2009: 195-219 - [c46]Donna Malayeri, Jonathan Aldrich:
Is Structural Subtyping Useful? An Empirical Study. ESOP 2009: 95-111 - [c45]Donna Malayeri, Jonathan Aldrich:
CZ: multiple inheritance without diamonds. OOPSLA 2009: 21-40 - [c44]Marwan Abi-Antoun, Jonathan Aldrich:
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. OOPSLA 2009: 321-340 - [c43]Sven Stork, Paulo Marques, Jonathan Aldrich:
Concurrency by default: using permissions to express dataflow in stateful programs. OOPSLA Companion 2009: 933-940 - [c42]Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks:
Typestate-oriented programming. OOPSLA Companion 2009: 1015-1022 - [c41]Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang:
Typestate protocol specification in JML. SAVCBS 2009: 11-18 - [c40]Marwan Abi-Antoun, Jonathan Aldrich:
Static extraction of sound hierarchical runtime object graphs. TLDI 2009: 51-64 - [c39]Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse:
Design patterns in separation logic. TLDI 2009: 105-116 - 2008
- [c38]Donna Malayeri, Jonathan Aldrich:
Integrating Nominal and Structural Subtyping. ECOOP 2008: 260-284 - [c37]Jonathan Aldrich, Robert J. Simmons, Key Shin:
SASyLF: an educational proof assistant for language theory. FDPE@ICFP 2008: 31-40 - [c36]Kevin Bierhoff, Jonathan Aldrich:
PLURAL: checking protocol compliance under aliasing. ICSE Companion 2008: 971-972 - [c35]Ciera Jaspan, Trisha Quan, Jonathan Aldrich:
Error Reporting Logic. ASE 2008: 138-147 - [c34]Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich:
Verifying correct usage of atomic blocks and typestate. OOPSLA 2008: 227-244 - [c33]Marwan Abi-Antoun, Jonathan Aldrich:
Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. OOPSLA Companion 2008: 741-742 - [c32]Marwan Abi-Antoun, Jonathan Aldrich:
Tool support for the static extraction of sound hierarchical representations of runtime object graphs. OOPSLA Companion 2008: 743-744 - [c31]Marwan Abi-Antoun, Jonathan Aldrich:
A field study in static extraction of runtime architectures. PASTE 2008: 22-28 - [c30]Jonathan Aldrich:
Using Types to Enforce Architectural Structure. WICSA 2008: 211-220 - 2007
- [c29]Jonathan Aldrich:
Assuring Object-Oriented Architecture. ECOOP 2007: 450 - [c28]Marwan Abi-Antoun, Jonathan Aldrich:
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. ASE 2007: 543-544 - [c27]Kevin Bierhoff, Jonathan Aldrich:
Modular typestate checking of aliased objects. OOPSLA 2007: 301-320 - [c26]Donna Malayeri, Jonathan Aldrich:
Combining structural subtyping and external dispatch. OOPSLA Companion 2007: 789-790 - [c25]Ciera Jaspan, Jonathan Aldrich:
Checking framework plugins. OOPSLA Companion 2007: 795-796 - [c24]Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina:
Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610 - 2006
- [c23]Donna Malayeri, Jonathan Aldrich:
Practical Exception Specifications. Advanced Topics in Exception Handling Techniques 2006: 200-220 - [c22]Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan:
Differencing and Merging of Architectural Views. ASE 2006: 47-58 - [c21]Marwan Abi-Antoun, Jonathan Aldrich:
Bringing ownership domains to mainstream Java. OOPSLA Companion 2006: 702-703 - [c20]Marwan Abi-Antoun, Jonathan Aldrich:
A static analysis for extracting runtime views from annotated object-oriented code. OOPSLA Companion 2006: 734-735 - [c19]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:
Young guns/object orientation: the next generation. OOPSLA Companion 2006: 940-942 - 2005
- [c18]Jonathan Aldrich:
Open Modules: Modular Reasoning About Advice. ECOOP 2005: 144-168 - [c17]Lee Salzman, Jonathan Aldrich:
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. ECOOP 2005: 312-336 - [c16]Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng:
Improving system dependability by enforcing architectural intent. WADS@ICSE 2005: 1:1-1:7 - [c15]Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng:
Modeling and implementing software architecture with acme and archJava. ICSE 2005: 676-677 - [c14]Neelakantan R. Krishnaswami, Jonathan Aldrich:
Permission-based ownership: encapsulating state in higher-order typed languages. PLDI 2005: 96-106 - [c13]Kevin Bierhoff, Jonathan Aldrich:
Lightweight object specification with typestates. ESEC/SIGSOFT FSE 2005: 217-226 - [c12]Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas:
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. WICSA 2005: 265-268 - 2004
- [c11]Jonathan Aldrich, Craig Chambers:
Ownership Domains: Separating Aliasing Policy from Mechanism. ECOOP 2004: 1-25 - [c10]Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman:
DiscoTect: A System for Discovering Architectures from Running Systems. ICSE 2004: 470-479 - [c9]Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng:
Modeling and implementing software architecture with acme and archJava. OOPSLA Companion 2004: 6-7 - [c8]Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng:
Modeling and implementing software architecture with acme and archJava. OOPSLA Companion 2004: 156-157 - 2003
- [c7]Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin:
Language Support for Connector Abstractions. ECOOP 2003: 74-102 - 2002
- [c6]Jonathan Aldrich, Craig Chambers, David Notkin:
Architectural Reasoning in ArchJava. ECOOP 2002: 334-367 - [c5]Jonathan Aldrich, Craig Chambers, David Notkin:
ArchJava: connecting software architecture to implementation. ICSE 2002: 187-197 - [c4]Jonathan Aldrich, Valentin Kostadinov, Craig Chambers:
Alias annotations for program understanding. OOPSLA 2002: 311-330 - [c3]Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin:
Architecture-centric programming for adaptive systems. WOSS 2002: 93-95 - 1999
- [c2]Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers:
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. SAS 1999: 19-38 - 1998
- [c1]Jonathan Aldrich, James Dooley, Scott Mandelsohn, Adam Rifkin:
Providing Easier Access to Remote Objects in Client-Server Systems. HICSS (7) 1998: 366-375
Parts in Books or Collections
- 2013
- [p1]Jonathan Aldrich:
A Retrospective on Aliasing Type Systems: 2012-2022. Aliasing in Object-Oriented Programming 2013: 509-511
Editorship
- 2024
- [e3]Jonathan Aldrich, Guido Salvaneschi:
38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16-20, 2024, Vienna, Austria. LIPIcs 313, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-341-6 [contents] - 2015
- [e2]Jonathan Aldrich, Patrick Eugster:
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. ACM 2015, ISBN 978-1-4503-3689-5 [contents] - [e1]Jonathan Aldrich, Patrick Eugster:
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. ACM 2015, ISBN 978-1-4503-3722-9 [contents]
Data and Artifacts
- 2020
- [d1]Michael Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian (Artifact). Zenodo, 2020
Informal and Other Publications
- 2024
- [i16]Ian McCormack, Tomas Dougan, Sam Estep, Hanan Hibshi, Jonathan Aldrich, Joshua Sunshine:
"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code. CoRR abs/2404.02230 (2024) - [i15]Ian McCormack, Joshua Sunshine, Jonathan Aldrich:
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. CoRR abs/2404.11671 (2024) - 2023
- [i14]Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich:
Latte: Lightweight Aliasing Tracking for Java. CoRR abs/2309.05637 (2023) - [i13]Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich:
Sound Gradual Verification with Symbolic Execution. CoRR abs/2311.07559 (2023) - [i12]Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila, Jonathan Aldrich, Jenna DiVincenzo:
Gradual Verification for Smart Contracts. CoRR abs/2311.13351 (2023) - 2022
- [i11]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 abs/2210.02428 (2022) - [i10]Hemant Gouni, Jonathan Aldrich:
Static Information Flow Control Made Simpler. CoRR abs/2210.12996 (2022) - 2021
- [i9]Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine:
Gradual Program Analysis for Null Pointers. CoRR abs/2105.06081 (2021) - [i8]Timothy Mou, Michael J. Coblenz, Jonathan Aldrich:
An Empirical Study of Protocols in Smart Contracts. CoRR abs/2110.08983 (2021) - 2020
- [i7]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 abs/2003.12209 (2020) - [i6]Reed Oei, Michael J. Coblenz, Jonathan Aldrich:
Psamathe: A DSL with Flows for Safe Blockchain Assets. CoRR abs/2010.04800 (2020) - [i5]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 abs/2011.07565 (2020) - 2019
- [i4]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 abs/1909.03523 (2019) - [i3]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 abs/1912.04719 (2019) - 2017
- [i2]Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer:
Toward Semantic Foundations for Program Editors. CoRR abs/1703.08694 (2017) - 2016
- [i1]Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR abs/1607.04180 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-14 02:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
