Conference A pilot study of the safety and usability of the obsidian blockchain programming language 2020 • OASIcs : OpenAccess Series in Informatics • 76: Kambhatla G, Coblenz M, Oei R, Sunshine J, Aldrich J, Myers BA
Preprint Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian 2020 Coblenz M, Aldrich J, Sunshine J, Myers BA
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11232:231-247 Craig A, Potanin A, Groves L, Aldrich J
Conference Gradual Program Verification 2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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