Follow
David Van Horn
David Van Horn
Verified email at cs.umd.edu - Homepage
Title
Cited by
Cited by
Year
Abstracting abstract machines
D Van Horn, M Might
The 15th ACM SIGPLAN International Conference on Functional Programming, 51-62, 2010
211*2010
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis
M Might, Y Smaragdakis, D Van Horn
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
1202010
Sound and precise malware analysis for Android via pushdown reachability and entry-point saturation
S Liang, AW Keep, M Might, S Lyde, T Gilray, P Aldous, D Van Horn
Proceedings of the Third ACM workshop on Security and privacy in smartphones …, 2013
752013
Abstracting definitional interpreters (functional pearl)
D Darais, N Labich, PC Nguyen, D Van Horn
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-25, 2017
712017
Soft contract verification
PC Nguyen, S Tobin-Hochstadt, D Van Horn
ACM SIGPLAN Notices 49 (9), 139-152, 2014
702014
Higher-Order Symbolic Execution via Contracts
S Tobin-Hochstadt, D Van Horn
692012
Incremental computation with names
MA Hammer, J Dunfield, K Headley, N Labich, JS Foster, M Hicks, ...
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
682015
Introspective pushdown analysis of higher-order programs
C Earl, I Sergey, M Might, D Van Horn
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
672012
Pushdown control-flow analysis for free
T Gilray, S Lyde, MD Adams, M Might, D Van Horn
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
652016
Types and trace effects of higher order programs
C Skalka, S Smith, D Van Horn
Journal of Functional Programming 18 (2), 179-249, 2008
652008
Deciding kCFA is complete for EXPTIME
D Van Horn, HG Mairson
ACM Sigplan Notices 43 (9), 275-282, 2008
622008
Pushdown control-flow analysis of higher-order programs
C Earl, M Might, D Van Horn
arXiv preprint arXiv:1007.4268, 2010
492010
Relatively complete counterexamples for higher-order programs
PC Nguyễn, D Van Horn
ACM SIGPLAN Notices 50 (6), 446-456, 2015
472015
Optimizing abstract abstract machines
D Glaze, N Labich, M Might, D Van Horn
ACM SIGPLAN Notices 48 (9), 443-454, 2013
402013
Abstracting Abstract Control (Extended)
JI Johnson, D Van Horn
arXiv preprint arXiv:1305.3163, 2013
382013
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis
D Darais, M Might, D Van Horn
ACM SIGPLAN Notices 50 (10), 552-571, 2015
372015
Soft contract verification for higher-order stateful programs
PC Nguyễn, T Gilray, S Tobin-Hochstadt, D Van Horn
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
342017
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)
N Vazou, J Breitner, R Kunkel, D Van Horn, G Hutton
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 132-144, 2018
322018
Running probabilistic programs backwards
N Toronto, J McCarthy, D Van Horn
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
282015
Relating complexity and precision in control flow analysis
D Van Horn, HG Mairson
ACM SIGPLAN Notices 42 (9), 85-96, 2007
282007
The system can't perform the operation now. Try again later.
Articles 1–20