Van Horn, David
- A Formal Model of Checked C
2022/01/31 by Liyi Li, Li, Liyi, Yiyun Liu +9 · 2 voices
Computer Science · #cs.PL #cs.SE
- Higher-order symbolic execution for contract verification and refutation
2015/07/17 by Phuc C. Nguyen, Nguyen, Phuc C., Sam Tobin-Hochstadt +3 · 2 voices
Computer Science · #cs.PL
- Type-Level Computations for Ruby Libraries
2019/04/06 by Milod Kazerounian, Sankha Narayan Guria, Kazerounian, Milod +7 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- RbSyn: Type- and Effect-Guided Program Synthesis
2021/02/25 by Guria, Sankha Narayan, Foster, Jeffrey S., Van Horn, David · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- A family of abstract interpretations for static analysis of concurrent higher-order programs
2011/03/26 by Matthew Might, David Van Horn, Might, Matthew +1 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #cs.PL
- Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation
2013/11/17 by Shuying Liang, Andrew W. Keep, Liang, Shuying +11 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #D.2.0 #F.3.2 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing #Software Testing and Debugging Techniques #cs.CR #cs.PL
- Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
2020/07/24 by Cameron Moy, Phúc C. Nguyễn, Phúc C. Nguyen +6 · 1 voice
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques #cs.PL