ARISE LAB

Advanced Research in Software Engineering

Our goal is to build novel techniques and tools to improve software robustness. For both traditional and AI-based software, we devise novel program analysis techniques to analyze various program behaviors and learn from them by developing advanced AI models. Such models help us building tools that automate program development, bug detection, and program repair at scale.

 
 
bigcode1.png
ai-machine-learning.png

AI4SE

With the unprecedented growth of Software Engineering related data (e.g., source code, test cases, bug reports, etc.) available through open-source repositories like GitHub, Bitbucket, etc., we build AI models to capture interesting coding patterns and anti-patterns. In particular, we build ML models to automate both static- and dynamic-analysis based bug detection process at scale.

SE4AI

AI models are increasingly being used in safety-critical systems like autonomous vehicles. This comes with the concerns about the quality and reliability of these systems, as several erroneous and sometimes even fatal behaviors have already been reported. However, due to the fundamental architectural differences between AI and traditional software, existing software testing techniques do not apply to them in an obvious way. In fact, companies like Google, Tesla, etc. are increasingly facing all the traditional software testing challenges. To this end, we aim to develop a testing framework for detecting erroneous behaviors for AI systems. So far, we have found thousands of erroneous behaviors in award-winning self-driving car models, many of which could lead to potentially fatal crashes.

NEWS

MTFuzz got accepted in FSE 2020.​ Congrats Dongdong and Rahul!

Our paper on code comment generation got accepted in ACL. Congrats Saikat and Wasi.

DeepInspect got accepted in ICSE 2020.​ Congrats Yuchi and Ziyuan!

Neutaint got accepted in S&P 2020.​ Congrats Dongdong!

Our Metric Learning method for Adversarial Robustness got accepted in NeuRips 2019. Congrats Ziyuan!

Neuzz got accepted in  S&P 2019. Congrats Dongdong!

DeepTest got accepted in ICSE 2018. Congrats Yuchi!

Our tree-based language model for source code prediction got accepted in ACL 2018. Congrats Saikat! 

Columbia University

New York City, NY 10027, USA