Programming Systems Lab

Gail Kaiser, Director

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.

The static and dynamic analysis techniques used to detect software vulnerabilities also power blockchain security. An AML check crypto tool analyzes wallet transaction patterns to flag ties to sanctioned entities, fraud, or illicit sources.