Jonathan Aldrich
- A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
2024/04/17 by Ian McCormack, Joshua Sunshine, McCormack, Ian +3 · 6 voices · 5 citations
Biochemistry, Genetics and Molecular Biology · Agricultural and Biological Sciences · #Yeasts and Rust Fungi Studies #Greenhouse Technology and Climate Control #Wheat and Barley Genetics and Pathology
- Toward Semantic Foundations for Program Editors
2017/03/25 by Cyrus Omar, Ian Voysey, Omar, Cyrus +11 · 2 voices · 1 citation
Computer Science · #cs.PL
- PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
2019/12/10 by Michael Coblenz, Gauri Kambhatla, Coblenz, Michael +14 · 1 voice
Computer Science · #Software Engineering Research #cs.HC #cs.PL #cs.SE
- Obsidian: Typestate and Assets for Safer Blockchain Programming
2019/09/08 by Michael Coblenz, Coblenz, Michael, Reed Oei +15 · 4 citations
Computer Science · #Blockchain Technology Applications and Security #Cloud Computing and Resource Management #D.2.3 #D.3.2 #D.3.3 #Distributed systems and fault tolerance #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Gradual C0: Symbolic Execution for Gradual Verification
2022/10/05 by Jenna DiVincenzo, Ian McCormack, DiVincenzo, Jenna +16 · 2 citations
Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
- An Exploratory Study of ML Sketches and Visual Code Assistants
2024/12/17 by Luís F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich +1 · 2 voices · 2 citations
Computer Science · #cs.SE #cs.AI #cs.HC
- The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference
2026/07/20 by Hemant Gouni, Frank Pfenning, Jonathan Aldrich
Computer Science · #cs.PL #cs.CR