David Van Horn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
11
Active years
2007–2021
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PLDI | RbSyn: type- and effect-guided program synthesis. | Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn |
| 2019 | PLDI | Type-level computations for Ruby libraries. | Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn |
| 2019 | PLDI | Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. | Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn |
| 2018 | HASKELL | Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). | Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton |
| 2016 | GPCE | A vision for online verification-validation. | Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn |
| 2016 | ICFP | Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. | David Darais, David Van Horn |
| 2016 | POPL | Pushdown control-flow analysis for free. | Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn |
| 2015 | ESOP | Running Probabilistic Programs Backwards. | Neil Toronto, Jay McCarthy, David Van Horn |
| 2015 | OOPSLA | Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. | David Darais, Matthew Might, David Van Horn |
| 2015 | OOPSLA | Incremental computation with names. | Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn |
| 2015 | PLDI | Relatively complete counterexamples for higher-order programs. | Phuc C. Nguyen, David Van Horn |
| 2014 | DLS | Abstracting abstract control. | Dionna Amalie Glaze, David Van Horn |
| 2014 | ICFP | Soft contract verification. | Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn |
| 2014 | SCAM | Pruning, Pushdown Exception-Flow Analysis. | Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn |
| 2013 | CCS | Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. | Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn |
| 2013 | ICFP | Optimizing abstract abstract machines. | Dionna Amalie Glaze, Nicholas Labich, Matthew Might, David Van Horn |
| 2012 | ICFP | Introspective pushdown analysis of higher-order programs. | Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn |
| 2012 | OOPSLA | Higher-order symbolic execution via contracts. | Sam Tobin-Hochstadt, David Van Horn |
| 2011 | SAS | A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. | Matthew Might, David Van Horn |
| 2010 | ICFP | Abstracting abstract machines. | David Van Horn, Matthew Might |
| 2010 | PLDI | Resolving and exploiting the | Matthew Might, Yannis Smaragdakis, David Van Horn |
| 2008 | ICFP | Deciding | David Van Horn, Harry G. Mairson |
| 2008 | SAS | Flow Analysis, Linearity, and PTIME. | David Van Horn, Harry G. Mairson |
| 2007 | ICFP | Relating complexity and precision in control flow analysis. | David Van Horn, Harry G. Mairson |