Welcome to the Program Analyses and Software Tools (PRESTO)
Research Group at the Ohio State University. The focus of our
research are static and dynamic software analyses, and their use for
challenging tasks in software understanding, testing, optimization, and
evolution. Our work combines
development of rigorous formal techniques to model the
behavior of software systems, at various levels of abstraction
design and implementation of efficient algorithms and data structures for software
analysis, based on these formal foundations
experimental evaluation of the analyses on real-world software systems
The ultimate goal of our work is to help create higher-quality
software systems. This page contains an overview of research
projects, publications, talks, publicly-released software, list of group members, and a few
pictures. If you have any questions regarding the group, please email
any one of us.