Jonathan Aldrich
Carnegie Mellon University
H-index: 39
North America-United States
Top articles of Jonathan Aldrich
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
arXiv preprint arXiv:2404.11671
2024/4/17
Joshua Sunshine
H-Index: 13
Jonathan Aldrich
H-Index: 22
" Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code
arXiv preprint arXiv:2404.02230
2024/4/2
Sound gradual verification with symbolic execution
Proceedings of the ACM on Programming Languages
2024/1/5
Jonathan Aldrich
H-Index: 22
Gradual Verification for Smart Contracts
arXiv preprint arXiv:2311.13351
2023/11/22
Kunal Singh
H-Index: 12
Jonathan Aldrich
H-Index: 22
Latte: Lightweight Aliasing Tracking for Java
arXiv preprint arXiv:2309.05637
2023/9/11
Jonathan Aldrich
H-Index: 22
Plan B: Design methodology for cyber-physical systems robust to timing failures
ACM Transactions on Cyber-Physical Systems (TCPS)
2022/9/7
Technical perspective: How do experts learn new programming languages?
Communications of the ACM
2022/2/23
Jonathan Aldrich
H-Index: 22
Bounded Abstract Effects
ACM Transactions on Programming Languages and Systems (TOPLAS)
2022/1/12
Alex Potanin
H-Index: 13
Jonathan Aldrich
H-Index: 22
Derivations with holes for concept-based program synthesis
2022/11/29
Jonathan Aldrich
H-Index: 22
Luís Carvalho
H-Index: 3
Bernardo Toninho
H-Index: 16
Carla Ferreira
H-Index: 4
Static Information Flow Control Made Simpler
arXiv preprint arXiv:2210.12996
2022/10/24
Jonathan Aldrich
H-Index: 22
Gradual C0: Symbolic Execution for Efficient Gradual Verification
arXiv preprint arXiv:2210.02428
2022/10/5
Gradual C0: Symbolic Execution for Gradual Verification
arXiv preprint arXiv:2210.02428
2022/10
An empirical study of protocols in smart contracts
arXiv preprint arXiv:2110.08983
2021/10/18
Michael Coblenz
H-Index: 10
Jonathan Aldrich
H-Index: 22
Integrating usability into programming language design (keynote)
2021/10/17
Jonathan Aldrich
H-Index: 22
PLIERS: a process that integrates user-centered methods into programming language design
ACM Transactions on Computer-Human Interaction (TOCHI)
2021/7/23
Gradual program analysis for null pointers
arXiv preprint arXiv:2105.06081
2021/5/13
Facilitating Connector Evolution With Architecture-Centric Development
2021/3/22
Jonathan Aldrich
H-Index: 22
Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory
2021
Jonathan Aldrich
H-Index: 22
Obsidian: Typestate and assets for safer blockchain programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
2020/11/24
A case study in language-based security: Building an I/O library for Wyvern
2020/11/18
Jennifer A Fish
H-Index: 5
Jonathan Aldrich
H-Index: 22