![](https://www.cs.columbia.edu/wp-content/uploads/sites/7/2020/06/profile.Nov18.jpg)
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.
![](http://www.cs.columbia.edu/wp-content/uploads/sites/7/2017/04/logo-psl.png)
![](https://www.cs.columbia.edu/wp-content/uploads/sites/7/2013/01/2011-12-01-14.39.28-1024x768-1024x768.jpg)
![](https://www.cs.columbia.edu/wp-content/uploads/sites/7/2013/01/2011-12-01-14.40.00-1024x768-1024x768.jpg)
![](http://www.cs.columbia.edu/wp-content/uploads/sites/7/2022/02/totebag.gif)