David Van Horn

1. A Formal Model of Checked C
   2022/01/31 by Liyi Li, Yiyun Liu, Li, Liyi +9 · 2 voices
   #cs.PL #cs.SE
2. Higher-order symbolic execution for contract verification and refutation
   2015/07/17 by Phuc C. Nguyen, Sam Tobin-Hochstadt, Nguyen, Phuc C. +3 · 2 voices
   #cs.PL
3. A family of abstract interpretations for static analysis of concurrent\n higher-order programs
   2011/03/26 by Matthew Might, David Van Horn, Might, Matthew +1 · 1 citation
   Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Formal Methods in Verification
4. 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 +10 · 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