Yahoo Canada Web Search

Sign In

Search results

  1. Videos

    View all

  2. www.cs.umd.edu › ~dvanhornDavid Van Horn : Home - UMD

    David Van Horn is an associate professor of computer science at the University of Maryland, where he directs the PLUM lab and advises Technica hackathon. His research interests include program analysis, verification, security, logic, and algorithms.

  3. www.cs.umd.edu › people › dvanhornDavid Van Horn | UMD Department of Computer Science

    David Van Horn is an Associate Professor in the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS) at the University of Maryland, College Park. His research interests are in programming languages and formal methods, where he works toward making the construction of reusable, trusted software components possible and effective.

  4. Images

    • David Van Horn: Actor Profile
    • David Van Horn - Actor Profile & Biography
    • David Van Horn: Actor Profile
    • David Van Horn — The Movie Database (TMDb)
    • David Van Horn Receives Most Influential Paper Award at ICFP 2020 | UMD ...
    • David Van Horn: Age, Photos, Family, Biography, Movies, Wiki & Latest ...

    View all

  5. scholar.google.com › citations‪David Van Horn‬ - ‪Google Scholar‬

    114. 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 ….

  6. cyber.umd.edu › clark › facultyVan Horn, David | Maryland Cybersecurity Center - UMD

    BACKGROUND. David Van Horn is an assosicate professor in the Department of Computer Science with a joint appointment in the University of Maryland Institute for Advanced Computer Studies. He is a core faculty member in the Maryland Cybersecurity Center and co-director of the Lab for Programming Languages at the University of Maryland (PLUM).

    • Associate Professor
    • 5250 Iribe Center

  7. www.umiacs.umd.edu › people › dvanhornDavid Van Horn | UMIACS

    David Van Horn is a researcher and educator in program analysis, programming languages, software engineering, verification and security. He is an associate professor at the University of Maryland and a member of the Maryland Cybersecurity Center and the Lab for Programming Languages.

  8. www.cs.umd.edu › ~dvanhorn › researchDavid Van Horn : Research - UMD

    David Van Horn is an associate professor of computer science at UMIACS, University of Maryland. He leads and participates in several research projects on verification, security, and programming languages.

  9. People also ask

  10. arxiv.org › a › vanhorn_d_1David Van Horn's articles on arXiv

    Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn. Comments: This paper unifies and expands upon the work presented in the papers "Soft contract verification" [ arXiv:1307.6239 ], and "Relatively complete counterexamples for higher-order programs" [ arXiv:1411.3967 ]. It also subsumes the work in the paper "Higher-order symbolic execution via ...