PSL conducts research in software engineering and security from a systems perspective, currently focusing on program analysis and software testing. We also apply software engineering techniques to AI-based systems, and apply AI techniques to SE problems. We are also interested in working with computational scientists on finding and fixing bugs in their software.
Projects seeking new MS and undergraduate students are listed here.
Our recent software is available at https://github.com/programming-systems-lab.
