Publications by Jonathan Aldrich

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

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