David Van Horn

Citée par

	Toutes	Depuis 2019
Citations	1634	720
indice h	22	16
indice i10	37	24

180

135

2008200920102011201220132014201520162017201820192020202120222023202418 15 12 52 59 97 104 95 142 158 122 175 111 112 96 100 126

Accès public

Tout afficher

13 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamAdresse e-mail validée de uab.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityAdresse e-mail validée de cs.indiana.edu
Thomas GilrayUniversity of Alabama at BirminghamAdresse e-mail validée de uab.edu
Jeffrey S. FosterComputer Science, Tufts UniversityAdresse e-mail validée de tufts.edu
David DaraisGalois, Inc.Adresse e-mail validée de galois.com
Shuying LiangPh.D. Student of Computer Science, University of UtahAdresse e-mail validée de cs.utah.edu
Ilya SergeyAssociate Professor, National University of SingaporeAdresse e-mail validée de nus.edu.sg
Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityAdresse e-mail validée de cs.jhu.edu
Yannis SmaragdakisUniversity of AthensAdresse e-mail validée de di.uoa.gr
Jana DunfieldQueen's UniversityAdresse e-mail validée de queensu.ca
Kyle HeadleyUniversity of Alabama at BirminghamAdresse e-mail validée de uab.edu
Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityAdresse e-mail validée de felleisen.org
Jay McCarthyAssociate Professor of Computer Science, UMass LowellAdresse e-mail validée de cs.uml.edu
Jan MidtgaardTaridesAdresse e-mail validée de janmidtgaard.dk
Stephen ChangUniversity of Massachusetts BostonAdresse e-mail validée de umb.edu
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderAdresse e-mail validée de cs.colorado.edu
Matthew A. HammerNone

Suivre

David Van Horn

University of Maryland

Adresse e-mail validée de cs.umd.edu - Page d'accueil

Programming languages


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	120	2010
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	75	2013
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	71	2017
Soft contract verification PC Nguyen, S Tobin-Hochstadt, D Van Horn ACM SIGPLAN Notices 49 (9), 139-152, 2014	70	2014
Higher-Order Symbolic Execution via Contracts S Tobin-Hochstadt, D Van Horn	69	2012
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	68	2015
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	67	2012
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	65	2016
Types and trace effects of higher order programs C Skalka, S Smith, D Van Horn Journal of Functional Programming 18 (2), 179-249, 2008	65	2008
Deciding kCFA is complete for EXPTIME D Van Horn, HG Mairson ACM Sigplan Notices 43 (9), 275-282, 2008	62	2008
Pushdown control-flow analysis of higher-order programs C Earl, M Might, D Van Horn arXiv preprint arXiv:1007.4268, 2010	49	2010
Relatively complete counterexamples for higher-order programs PC Nguyễn, D Van Horn ACM SIGPLAN Notices 50 (6), 446-456, 2015	47	2015
Optimizing abstract abstract machines D Glaze, N Labich, M Might, D Van Horn ACM SIGPLAN Notices 48 (9), 443-454, 2013	40	2013
Abstracting Abstract Control (Extended) JI Johnson, D Van Horn arXiv preprint arXiv:1305.3163, 2013	38	2013
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	37	2015
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	34	2017
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	32	2018
Running probabilistic programs backwards N Toronto, J McCarthy, D Van Horn Programming Languages and Systems: 24th European Symposium on Programming …, 2015	28	2015
Relating complexity and precision in control flow analysis D Van Horn, HG Mairson ACM SIGPLAN Notices 42 (9), 85-96, 2007	28	2007

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs