Welcome to the web page of the Program Analyses and Software Tools
(PRESTO) Research Group at the Ohio State University. As the name
suggests, the focus of our research are various static and dynamic
program analyses, and their use in tools for software understanding,
testing, optimization, and verification. This page contains a brief
overview of some of our ongoing projects, PDF files of all our
publications, PowerPoint slides from various talks, a list of group
members, and even some pictures. If you have any questions regarding
the group, please email any one of us.
