pith. sign in

David Van Horn

Identifiers

  • name variant David Van Horn 0.60 · backfill

Papers (37)

  1. Type-Level Computations for Ruby Libraries cs.PL · 2019 · author #5
  2. Size-Change Termination as a Contract cs.PL · 2018 · author #4
  3. Constructive Galois Connections cs.PL · 2018 · author #2
  4. Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell) cs.PL · 2018 · author #4
  5. Soft Contract Verification for Higher-Order Stateful Programs cs.PL · 2017 · author #4
  6. Abstracting Definitional Interpreters cs.PL · 2017 · author #4
  7. A Vision for Online Verification-Validation cs.PL · 2016 · author #3
  8. Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory cs.PL · 2015 · author #2
  9. Higher-order symbolic execution for contract verification and refutation cs.PL · 2015 · author #3
  10. Mechanically Verified Calculational Abstract Interpretation cs.PL · 2015 · author #2
  11. Pushdown Control-Flow Analysis for Free cs.PL · 2015 · author #5
  12. Running Probabilistic Programs Backwards cs.PL · 2014 · author #3
  13. Relatively Complete Counterexamples for Higher-Order Programs cs.PL · 2014 · author #2
  14. Galois Transformers and Modular Abstract Interpreters cs.PL · 2014 · author #3
  15. Pruning, Pushdown Exception-Flow Analysis cs.PL · 2014 · author #5
  16. Pushdown flow analysis with abstract garbage collection cs.PL · 2014 · author #5
  17. Flow analysis, linearity, and PTIME cs.PL · 2013 · author #1
  18. Deciding $k$CFA is complete for EXPTIME cs.PL · 2013 · author #1
  19. The Complexity of Flow Analysis in Higher-Order Languages cs.PL · 2013 · author #1
  20. Resolving and Exploiting the $k$-CFA Paradox cs.PL · 2013 · author #3
  21. Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation cs.PL · 2013 · author #7
  22. AnaDroid: Malware Analysis of Android with User-supplied Predicates cs.PL · 2013 · author #3
  23. Soft Contract Verification cs.PL · 2013 · author #3
  24. Abstracting Abstract Control (Extended) cs.PL · 2013 · author #2
  25. Pushdown Exception-Flow Analysis of Object-Oriented Programs cs.PL · 2013 · author #4
  26. Optimizing Abstract Abstract Machines cs.PL · 2012 · author #4
  27. Introspective Pushdown Analysis of Higher-Order Programs cs.PL · 2012 · author #4
  28. Pushdown Abstractions of JavaScript cs.PL · 2011 · author #1
  29. Systematic Abstraction of Abstract Machines cs.PL · 2011 · author #1
  30. Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis cs.PL · 2011 · author #1
  31. Semantic Solutions to Program Analysis Problems cs.PL · 2011 · author #2
  32. A family of abstract interpretations for static analysis of concurrent higher-order programs cs.PL · 2011 · author #2
  33. Higher-Order Symbolic Execution via Contracts cs.PL · 2011 · author #2
  34. Evaluating Call-By-Need on the Control Stack cs.PL · 2010 · author #2
  35. Stack-Summarizing Control-Flow Analysis of Higher-Order Programs cs.PL · 2010 · author #3
  36. Abstracting Abstract Machines cs.PL · 2010 · author #1
  37. Pushdown Control-Flow Analysis of Higher-Order Programs cs.PL · 2010 · author #3

Mentions

  • 1311.5825 #1 · backfill · confidence 0.70 David Van Horn
  • 1311.5810 #1 · backfill · confidence 0.70 David Van Horn
  • 1311.4733 #1 · backfill · confidence 0.70 David Van Horn
  • 1311.4231 #3 · backfill · confidence 0.70 David Van Horn
  • 1311.4201 #7 · backfill · confidence 0.70 David Van Horn
  • 1311.4198 #3 · backfill · confidence 0.70 David Van Horn
  • 1307.6239 #3 · backfill · confidence 0.70 David Van Horn
  • 1305.3163 #2 · backfill · confidence 0.70 David Van Horn
  • 1302.2692 #4 · backfill · confidence 0.70 David Van Horn
  • 1211.3722 #4 · backfill · confidence 0.70 David Van Horn
  • 1207.1813 #4 · backfill · confidence 0.70 David Van Horn
  • 1109.4467 #1 · backfill · confidence 0.70 David Van Horn
  • 1107.3539 #1 · backfill · confidence 0.70 David Van Horn
  • 1105.1743 #1 · backfill · confidence 0.70 David Van Horn
  • 1105.0106 #2 · backfill · confidence 0.70 David Van Horn
  • 1103.5167 #2 · backfill · confidence 0.70 David Van Horn
  • 1103.1362 #2 · backfill · confidence 0.70 David Van Horn
  • 1009.3174 #2 · backfill · confidence 0.70 David Van Horn
  • 1009.1560 #3 · backfill · confidence 0.70 David Van Horn
  • 1007.4446 #1 · backfill · confidence 0.70 David Van Horn
  • 1007.4268 #3 · backfill · confidence 0.70 David Van Horn

Frequent Coauthors