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
174*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
1002010
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
97*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
672012
Beyond data and analysis
CK Davis
Communications of the ACM 57 (6), 39-41, 2014
662014
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
642013
Higher-Order Symbolic Execution via Contracts
S Tobin-Hochstadt, D Van Horn
602012
Soft contract verification
PC Nguyen, S Tobin-Hochstadt, D Van Horn
ACM SIGPLAN Notices 49 (9), 139-152, 2014
592014
Deciding kCFA is complete for EXPTIME
D Van Horn, HG Mairson
ACM Sigplan Notices 43 (9), 275-282, 2008
542008
Types and trace effects of higher order programs
C Skalka, S Smith, D Van Horn
Journal of Functional Programming 18 (2), 179-249, 2008
542008
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
522016
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
482015
Pushdown control-flow analysis of higher-order programs
C Earl, M Might, D Van Horn
arXiv preprint arXiv:1007.4268, 2010
482010
Relatively complete counterexamples for higher-order programs
PC Nguyễn, D Van Horn
ACM SIGPLAN Notices 50 (6), 446-456, 2015
392015
Abstracting abstract control
JI Johnson, D Van Horn
Proceedings of the 10th ACM Symposium on Dynamic languages, 11-22, 2014
372014
Optimizing abstract abstract machines
JI Johnson, N Labich, M Might, D Van Horn
arXiv preprint arXiv:1211.3722, 2012
342012
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
332017
Relating complexity and precision in control flow analysis
D Van Horn, HG Mairson
ACM SIGPLAN Notices 42 (9), 85-96, 2007
282007
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
262015
Running probabilistic programs backwards
N Toronto, J McCarthy, D Van Horn
European Symposium on Programming Languages and Systems, 53-79, 2015
222015
The system can't perform the operation now. Try again later.
Articles 1–20