Columbia University · Department of Computer Science
ARiSE LabAI for Reliable and Intelligent Software Engineering
Led by Prof. Baishakhi Ray at Columbia University, our group conducts research at the intersection of AI and Software Engineering, with a particular focus on AI for Code. We explore how neurosymbolic techniques, blending the power of machine learning with the rigor of formal reasoning, can transform software reliability, security, and developer productivity. Through building new language models, agents, and new abstractions, we aim to make code not just easier to write, but easier to trust. Prof. Ray also serves as an Amazon Scholar, collaborating with the Amazon Agentic AI team.
Making your Code Smarter, Safer, and More Collaborative — with AI
Simin Chen accepted a tenure-track faculty offer at George Mason University. Congrats!
Your Compiler is Backdooring Your Model received a Distinguished Paper Award at S&P (Oakland) '26. Congrats!
Chenxi Huang named Gold Reviewer at ICML '26. Congrats!
Outrunning LLM Cutoffs was accepted to ICML '26.
Understanding APR Agents Through the Lens of Traceability was accepted to ISSTA '26.
Organized AI for Code industry roundtable.
ICLR'26: Two papers are in.
PhD student Yangruibo Ding accepted a tenure-track faculty offer at UCLA. Congrats!!
We're always looking for motivated students and researchers to join our group. If you're interested in AI for Software Engineering, reach out at ariselab2020@gmail.com. You can also explore our active research areas to learn more about what we work on.