McCormack, Ian

1. A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
   2024/04/17 by Ian McCormack, McCormack, Ian, Joshua Sunshine +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
2. Gradual C0: Symbolic Execution for Gradual Verification
   2022/10/05 by Jenna DiVincenzo, DiVincenzo, Jenna, Ian McCormack +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
3. 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)