Joshua Sunshine
- 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
- Containing Malicious Package Updates in npm with a Lightweight\n Permission System
2021/03/07 by Gabriel S. Ferreira, Ferreira, Gabriel, Limin Jia +5 · 5 citations
Computer Science · #Advanced Malware Detection Techniques #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE)
- PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
2019/12/10 by Michael Coblenz, Gauri Kambhatla, Coblenz, Michael +13 · 1 voice
#cs.HC #cs.PL #cs.SE
- 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
- Obsidian: Typestate and Assets for Safer Blockchain Programming
2019/09/08 by Michael Coblenz, Reed Oei, Coblenz, Michael +15 · 3 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)
- Rose: Composable Autodiff for the Interactive Web
2024/02/27 by Sam Estep, Estep, Sam, Wode Ni +5 · 1 voice
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL