Modular reasoning
Modularity and Modular Reasoning
Languages and interfaces that let developers reason about one part of a program at a time.
Learn more →Tulane University · School of Science & Engineering
The Laboratory for Software Design works on programming languages and software engineering. Much of our current work studies how to make AI-enabled systems more reliable, using ideas from modular reasoning.
Most of our work comes back to modular reasoning, which lets people and tools work on one part of a system at a time.
Languages and interfaces that let developers reason about one part of a program at a time.
Learn more →Boa lets a software analysis be written once and run across very large collections of open-source code.
Learn more →Decomposing trained models into modules, and using software engineering to make AI-enabled systems more reliable.
Learn more →ICSE '13
ESEC-FSE '19
ECOOP '08
ICSE '21
ESEC-FSE '20
ICSE '22
FSE '25
ICSE '25
ICSE '24
ICSE '23
ESEC-FSE '23
ESEC-FSE '21
ICSE '20
June 19, 2026
Keeping AI Agents Within the User’s Intent Our paper “RefineAct: Automatic Runtime Verification of LLM Agent Actions” has been accepted at the 41st IEEE/ACM International...
Links: Read the paperJune 16, 2026
Postdoctoral Fellow Position Open The Laboratory for Software Design is hiring one or more postdoctoral fellows in the Department of Computer Science at Tulane University,...
Links: Apply on Tulane's career siteJune 02, 2026
I am delighted to share that the National Science Foundation has funded a new collaborative project that Mohammad Wardat and I will pursue together. Mohammad...
September 12, 2025
Dr. Sayma Sultana She earned her Ph.D. in Computer Science from Wayne State University under the supervision of Dr. Amiangshu Bosu. Her research focuses on...
April 27, 2025
Three members of our lab presented their work at ICSE’25 in Ottawa, Canada: Deepak-George Thomas presented his paper titled “µPRL: A Mutation Testing Pipeline for...
October 11, 2024
Sayem Imtiaz has successfully defended his Ph.D. thesis entitled “Modularity-inspired Techniques for Patching the Weak Components in Deep Learning”. His research focused on addressing data-driven...
Links: Event LinkAugust 22, 2024
It is a privilege to celebrate another former student stepping into a faculty role. Shibbir Ahmed, who completed his PhD with our group at Iowa...
August 15, 2024
One of the deepest joys of academic life is watching the people you mentor grow into colleagues and leaders in their own right. This season...
July 01, 2024
After 19 amazing years at Iowa State University Dept. of Computer Science,I will be moving to Tulane University as the next Dean of the School...
Links: PapersJune 03, 2024
Hridesh Rajan, Kingland professor and chair of the Department of Computer Science at Iowa State University, has been named the new dean of Tulane University’s...