Contact: Barbara Ryder
PROLANGS@VT researches analysis-based approaches to solving real software engineering problems. We have developed static, dynamic, and hybrid analyses to help engineers maintain code, find security problems, locate bugs, and improve performance in their applications. We have implemented these analyses in tools for modern object-oriented programming languages such as Java and collaborated with industrial partners to evaluate our methodologies on real, production systems.
Specific current projects include: