Journal Article Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian 2020 • Proceedings of the ACM on Programming Languages • 4: Coblenz M, Aldrich J, Myers BA, Sunshine J
Journal Article Decidable Subtyping for Path Dependent Types 2020 • Proceedings of the ACM on Programming Languages • 4: Mackay J, Potanin A, Aldrich J, Groves L
Journal Article Gradual Verification of Recursive Heap Data Structures 2020 • Proceedings of the ACM on Programming Languages • 4: Wise J, Bader J, Wong C, Aldrich J, Tanter E, Sunshine J
Journal Article Obsidian: Typestate and Assets for Safer Blockchain Programming 2020 • ACM Transactions on Programming Languages and Systems • 42(3): Coblenz M, Oei R, Etzel T, Koronkevich P, Baker M, Bloem Y, Myers BA, Sunshine J, Aldrich J
Journal Article PENROSE: From Mathematical Notation to Beautiful Diagrams 2020 • ACM Transactions on Graphics • 39(4): Ye K, Ni W, Krieger X, Ma'ayan D, Wise J, Aldrich J, Sunshine J, Crane K
Chapter Syntactically Restricting Bounded Polymorphism for Decidable Subtyping 2020 • Lecture Notes in Computer Science • 12470:125-144 Mackay J, Potanin A, Aldrich J, Groves L
Preprint User-Centered Programming Language Design: A Course-Based Case Study 2020 Coblenz M, Davis A, Hofmann M, Huang V, Jin S, Krieger M, Liang K, Wei B, Yong MS, Aldrich J
Journal Article Model-Based Adaptation for Robotics Software 2019 • IEEE Software • 36(2):83-90 Aldrich J, Garlan D, Kaestner C, Le Goues C, Mohseni-Kabir A, Ruchkin I, Samuel S, Schmerl B, Timperley C, Veloso M, Voysey I, Biswas J, Guha A, Holtz J, Camara J, Jamshidi P
Preprint Obsidian: Typestate and Assets for Safer Blockchain Programming 2019 Coblenz M, Oei R, Etzel T, Koronkevich P, Baker M, Bloem Y, Myers BA, Sunshine J, Aldrich J
Preprint PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design 2019 Coblenz M, Kambhatla G, Koronkevich P, Wise JL, Barnaby C, Sunshine J, Aldrich J, Myers BA
Conference Smarter Smart Contract Development Tools 2019 • 2019 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB 2019) • 48-51 Coblenz M, Sunshine J, Aldrich J, Myers BA
Conference Capabilities: Effects for Free 2018 • Lecture Notes in Computer Science • 11232:231-247 Craig A, Potanin A, Groves L, Aldrich J
Conference Gradual Program Verification 2018 • Lecture Notes in Computer Science • 10747:25-46 Bader J, Aldrich J, Tanter E
Conference Interdisciplinary Programming Language Design 2018 • ONWARD!'18: PROCEEDINGS OF THE 2018 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE • 133-146 Coblenz M, Aldrich J, Myers BA, Sunshine J
Conference Reasonably Programmable Literal Notation 2018 • Proceedings of the ACM on Programming Languages • 2: Omar C, Aldrich J
Conference Using object capabilities and effects to build an authority-safe module system 2018 1-1 Melicher D, Shi Y, Zhao V, Potanin A, Aldrich J
Conference A capability-based module system for authority control 2017 • Leibniz International Proceedings in Informatics • 74:201-2027 Melicher D, Shi Y, Potanin A, Aldrich J
Conference Empirical Studies on the Security and Usability Impact of Immutability 2017 • 2017 IEEE CYBERSECURITY DEVELOPMENT (SECDEV) • 50-53 Weber S, Coblenz M, Myers B, Aldrich J, Sunshine J
Conference Glacier: Transitive Class Immutability for Java 2017 • Proceedings - International Conference on Software Engineering • 496-506 Coblenz M, Nelson W, Aldrich J, Myers B, Sunshine J
Conference Hazelnut: A Bidirectionally Typed Structure Editor Calculus 2017 • ACM Sigplan Notices • 52(1):86-99 Omar C, Voysey I, Hilton M, Aldrich J, Hammer MA
Conference OOPSLA Program Chair’s Welcome 2017 • Splash Companion 2017 Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems Programming Languages and Applications Software for Humanity • vi-vii Aldrich J
Conference Programmable Semantic Fragments The Design and Implementation of typy 2017 • ACM Sigplan Notices • 52(3):81-92 Omar C, Aldrich J
Conference The Implementation of Object Propositions: The Oprop Verification Tool 2017 • Lecture Notes in Computer Science • 10487:179-197 Nistor L, Aldrich J
Conference Toward semantic foundations for program editors 2017 • Leibniz International Proceedings in Informatics • 71: Omar C, Voysey I, Hilton M, Sunshine J, Goues CL, Aldrich J, Hammer MA
