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
2020 – today
- 2024
[j23]Conrad Zimmerman
, Jenna DiVincenzo, Jonathan Aldrich:
Sound Gradual Verification with Symbolic Execution. Proc. ACM Program. Lang. 8(POPL): 2547-2576 (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] - [i17]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) - [i16]Ian McCormack, Joshua Sunshine, Jonathan Aldrich:
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. CoRR abs/2404.11671 (2024) - [i15]Luís F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich, Rui Abreu:
An Exploratory Study of ML Sketches and Visual Code Assistants. CoRR abs/2412.13386 (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
- [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) - [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 - [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
- [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) - [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 - [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
- [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) - [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 - [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
- [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)
2010 – 2019
- 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) - [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 - [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) - 2018
- [j12]Cyrus Omar, Jonathan Aldrich:
Reasonably programmable literal notation. Proc. ACM Program. Lang. 2(ICFP): 106:1-106:32 (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
- [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) - [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 - [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
- [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 - [i1]Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR abs/1607.04180 (2016) - 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) - [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 - [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] - 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) - [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 - [p1]Jonathan Aldrich:
A Retrospective on Aliasing Type Systems: 2012-2022. Aliasing in Object-Oriented Programming 2013: 509-511 - 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
2000 – 2009
- 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
- [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) - [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]