pith. sign in

Matthew Might

Identifiers

  • name variant Matthew Might 0.60 · backfill

Papers (20)

  1. Neural Guided Constraint Logic Programming for Program Synthesis cs.LG · 2018 · author #6
  2. miniAdapton: A Minimal Implementation of Incremental Computation in Scheme cs.PL · 2016 · author #4
  3. Pushdown Control-Flow Analysis for Free cs.PL · 2015 · author #4
  4. Galois Transformers and Modular Abstract Interpreters cs.PL · 2014 · author #2
  5. Pruning, Pushdown Exception-Flow Analysis cs.PL · 2014 · author #3
  6. Pushdown flow analysis with abstract garbage collection cs.PL · 2014 · author #4
  7. Resolving and Exploiting the $k$-CFA Paradox cs.PL · 2013 · author #1
  8. Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation cs.PL · 2013 · author #3
  9. AnaDroid: Malware Analysis of Android with User-supplied Predicates cs.PL · 2013 · author #2
  10. Pushdown Exception-Flow Analysis of Object-Oriented Programs cs.PL · 2013 · author #2
  11. Optimizing Abstract Abstract Machines cs.PL · 2012 · author #3
  12. Introspective Pushdown Analysis of Higher-Order Programs cs.PL · 2012 · author #3
  13. Pushdown Abstractions of JavaScript cs.PL · 2011 · author #2
  14. Systematic Abstraction of Abstract Machines cs.PL · 2011 · author #2
  15. Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis cs.PL · 2011 · author #2
  16. A family of abstract interpretations for static analysis of concurrent higher-order programs cs.PL · 2011 · author #1
  17. Yacc is dead cs.PL · 2010 · author #1
  18. Stack-Summarizing Control-Flow Analysis of Higher-Order Programs cs.PL · 2010 · author #2
  19. Abstracting Abstract Machines cs.PL · 2010 · author #2
  20. Pushdown Control-Flow Analysis of Higher-Order Programs cs.PL · 2010 · author #2

Mentions

  • 1302.2692 #2 · backfill · confidence 0.70 Matthew Might
  • 1211.3722 #3 · backfill · confidence 0.70 Matthew Might
  • 1207.1813 #3 · backfill · confidence 0.70 Matthew Might
  • 1109.4467 #2 · backfill · confidence 0.70 Matthew Might
  • 1107.3539 #2 · backfill · confidence 0.70 Matthew Might
  • 1105.1743 #2 · backfill · confidence 0.70 Matthew Might
  • 1103.5167 #1 · backfill · confidence 0.70 Matthew Might
  • 1010.5023 #1 · backfill · confidence 0.70 Matthew Might
  • 1009.1560 #2 · backfill · confidence 0.70 Matthew Might
  • 1007.4446 #2 · backfill · confidence 0.70 Matthew Might
  • 1007.4268 #2 · backfill · confidence 0.70 Matthew Might

Frequent Coauthors