Might, Matthew

1. Yacc is dead
   2010/10/24 by Matthew Might, Might, Matthew, David Darais +1 · 5 voices
   Computer Science · #Logic, programming, and type systems #Natural Language Processing Techniques #Advanced Database Systems and Queries
2. Neural Guided Constraint Logic Programming for Program Synthesis
   2018/09/08 by Lisa Zhang, Zhang, Lisa, Gregory Rosenblatt +13 · 2 citations
   Computer Science · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Engineering Research
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