Publications by Jonathan Aldrich

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

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

A theory of tagged objects

2015 • Leibniz International Proceedings in Informatics • 37:174-197
Lee J, Aldrich J, Shaw T, Potanin A

Conference

Message from the chairs

2015 • Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications OOPSLA • 25-30-Oct-2015:iii
Aldrich J, Eugster P

Journal Article

Systemic Assurance

2015
Scherlis W, Aldrich J, Breaux TD, Garlan D, Kastner C, Le Goues C, Schmerl B, Sunshine J