PSL conducts research in software engineering and security from a systems perspective, focusing on program analysis and software testing. Our current work ranges across both static and dynamic program analysis techniques, and across source code and executable (bytecode/binaries) targets. We also investigate machine learning techniques to solving software engineering problems (AI4SE).

Projects seeking new MS and undergraduate students are listed here. Our software is available at https://github.com/programming-systems-lab.