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
155*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
892010
Competitor analysis and its defenses in the e-marketplace
YP Sheng, PP Mykytyn Jr, CR Litecky
Communications of the ACM 48 (8), 107-112, 2005
77*2005
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
612012
Soft contract verification
PC Nguyen, S Tobin-Hochstadt, D Van Horn
ACM SIGPLAN Notices 49 (9), 139-152, 2014
532014
Higher-Order Symbolic Execution via Contracts
S Tobin-Hochstadt, D Van Horn
532012
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
502013
Deciding kCFA is complete for EXPTIME
D Van Horn, HG Mairson
ACM Sigplan Notices 43 (9), 275-282, 2008
492008
Types and trace effects of higher order programs
C Skalka, S Smith, D Van Horn
Journal of Functional Programming 18 (2), 179-249, 2008
472008
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
442016
Pushdown control-flow analysis of higher-order programs
C Earl, M Might, D Van Horn
arXiv preprint arXiv:1007.4268, 2010
442010
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
412015
Beyond data and analysis
CK Davis
Communications of the ACM 57 (6), 39-41, 2014
412014
Relatively complete counterexamples for higher-order programs
PC Nguyễn, D Van Horn
ACM SIGPLAN Notices 50 (6), 446-456, 2015
352015
Abstracting abstract control
JI Johnson, D Van Horn
Proceedings of the 10th ACM Symposium on Dynamic languages, 11-22, 2014
332014
Optimizing abstract abstract machines
JI Johnson, N Labich, M Might, D Van Horn
ACM SIGPLAN Notices 48 (9), 443-454, 2013
282013
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
262017
Relating complexity and precision in control flow analysis
D Van Horn, HG Mairson
ACM SIGPLAN Notices 42 (9), 85-96, 2007
262007
Systematic abstraction of abstract machines
D Van Horn, M Might
Journal of Functional Programming, 2011
232011
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
212015
The system can't perform the operation now. Try again later.
Articles 1–20