Aldrich, Jonathan
- 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
#cs.PL
- PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
2019/12/10 by Michael Coblenz, Coblenz, Michael, Gauri Kambhatla +13 · 1 voice
#cs.HC #cs.PL #cs.SE
- Obsidian: Typestate and Assets for Safer Blockchain Programming
2019/09/08 by Michael Coblenz, Reed Oei, Coblenz, Michael +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
- A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
2024/04/02 by McCormack, Ian, Dougan, Tomas, Estep, Sam +3 · 1 citation
#D.2 #FOS: Computer and information sciences #Software Engineering (cs.SE)