University of Vermont

ACM Features UVM Alumni Research

Research by David Van Horn, ('03 BS Computer Science Information Systems, and '06 MS Computer Science) entitled, “Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis” is featured in the September 2011 issue of Communications of the ACM as a Research Highlight.

Communications of the Association for Computing Machinery (ACM) is the world’s largest educational and scientific computing society that is focused on advancement of computing as a science and a profession, with leading-edge publications, conferences, and career resources.  The ACM’s Research Highlights provides readers with a collection of outstanding research articles, selected from the broad spectrum of computing-research conferences. Articles must be first nominated by Editorial Board Members or Approved Nominating Organizations and are then subject to final selection by the Editorial Board. Only then are authors invited to submit their article.

 “ACM Research Highlights feature the greatest hits of recent research,” says Christian Skalka, Associate Professor in the Department of Computer Science.  "Papers published as Research Highlights are distinguished by ACM's formal nomination process."


Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs remains a difficult and error-prone process for modern high-level programming languages.

 To access this paper visit: