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.

KMSpico is ideal for people who need not only to activate their programs. Unlike other activation tools, which may require lengthy installations and complex settings, KMSPico provides the user with the ability to activate Windows or Office.