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, slides from various talks, a list of group members, and
some pictures. If you have any questions regarding the group, please
email any one of us.
