Yahoo Canada Web Search

Search results

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

   www.cs.umd.edu › ~dvanhorn

   • Cached

   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.

   • Home

     I work toward making the construction of reusable, trusted...

   • Research

     With David Darais, Phúc C. Nguyễn, and Nicholas Labich. The...

   • Teaching

     David Van Horn. Associate Professor Department of Computer...

   • Service

     Reviewer. ACM SIGPLAN-SIGACT Symposium on Principles of...

   • Contact

     David Van Horn 5250 Iribe Center for Computer Science and...

   • PGP

     -----BEGIN PGP PUBLIC KEY BLOCK----- Version: GnuPG/MacGPG2...

   • Michael Hicks

     Please visit https://mhicks.me/ to see my full web...

   • Umiacs

     Nicole Yunger Halpern was recognized for innovative writing...

2. en.wikipedia.org › wiki › Dave_Van_HornDave Van Horn - Wikipedia

   en.wikipedia.org › wiki › Dave_Van_Horn

   • Cached

   David Kevin Van Horn (born September 17, 1960) is an American baseball coach and former infielder, who is the head baseball coach of the Arkansas Razorbacks.

3. Images

   • 
   • 
   • 
   • 
   • 
   • 

   View all

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

   www.cs.umd.edu › people › dvanhorn

   • Cached

   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.

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

   cyber.umd.edu › clark › faculty

   • Cached

   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).

   • Occupation: Associate Professor

   • Work Location: 5250 Iribe Center

6. Videos

   • 2:32

     youtube.com

     Dave Van Horn & Tony Vitello *FULL ARGUMENT* | Arkansas vs. Tennessee

     May 17, 2021

     137.1K Views

   • 39:00

     youtube.com

     Flashback: Dave Van Horn Introduced at Arkansas on June 21, 2002

     Jun 21, 2021

     9.4K Views

   • 35:46

     youtube.com

     Dave Van Horn previews upcoming season and Fall World Series

     Oct 7, 2021

     2.6K Views

   View all

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

   scholar.google.com › citations

   • Cached

   David Van Horn. Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …. Proceedings of the Third ACM workshop on Security and privacy in smartphones …. Proceedings of...

8. www.cs.umd.edu › article › 2020David Van Horn Receives Most Influential Paper Award at ... - UMD

   www.cs.umd.edu › article › 2020

   • Cached

   Aug 31, 2020 · UMD computer science associate professor David Van Horn received the Most Influential Paper award at ICFP 2020 for his 2010 paper on abstracting abstract machines. The paper presents a derivational approach to abstract interpretation that yields sound static analyses for various language constructs.

9. People also ask

   Who is David Van Horn?

   • programming languages, verification, static analysis, security 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.

   David Van Horn | UMD Department of Computer Science

   www.cs.umd.edu/people/dvanhorn

   See all results for this question

   What does Van Horn do in Computer Science?

   • It covers the entire spectrum of work, from practice to theory, including its peripheries. In addition to being a professor of computer science, Van Horn holds a joint appointment in the University of Maryland Institute for Advanced Computer Studies. The Department welcomes comments, suggestions and corrections.

   David Van Horn Receives Most Influential Paper Award at ICFP 2020

   www.cs.umd.edu/article/2020/08/david-van-horn-receives-most-influential-paper-award-icfp-2020

   See all results for this question

   What is Van Horn most proud of?

   • Beyond the technical contributions, Van Horn is most proud of this kind of impact, saying “The work made it a little bit easier for people to understand what was going on, and in doing so, it drew in more bright and creative people to the field.”

   David Van Horn Receives Most Influential Paper Award at ICFP 2020

   www.cs.umd.edu/article/2020/08/david-van-horn-receives-most-influential-paper-award-icfp-2020

   See all results for this question

   How many children does Dave Van Horn have?

   • The couple has two daughters, Hollan and Mariel. Three grandchildren. Dave van Horn departs the field after a 2009 mound visit in Baum Stadium. Dave Van Horn's first collegiate head coaching job was in 1994 for the Central Missouri State Mules, now called the University of Central Missouri.

   Dave Van Horn - Wikipedia

   en.wikipedia.org/wiki/Dave_Van_Horn

   See all results for this question

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

    arxiv.org › a › vanhorn_d_1

    • Cached

    Size-Change Termination as a Contract. Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn. Journal-ref: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '19), June 22-26, 2019, Phoenix, AZ, USA.