Modularity and Modular Reasoning
Languages, interfaces, and contracts that let engineers reason about complex software one module at a time.
Learn more →Tulane University · School of Science & Engineering
The Laboratory for Software Design brings modular reasoning to programming languages, software at scale, and AI-enabled systems, so the software the world relies on can be built, verified, and trusted.
A single idea runs through our work: modular reasoning, the ability to understand and change one part of a system without grappling with the whole.
Languages, interfaces, and contracts that let engineers reason about complex software one module at a time.
Learn more →Boa expresses software-analysis tasks modularly so they run across the world's open-source code.
Learn more →Decomposing learned models into modules and bringing software-engineering rigor to AI-enabled systems.
Learn more →FSE '25
ICSE '25
ICSE '25
ICSE '25
TOSEM '24
ICSE '24
ICSE '23
ICSE '23
ICSE '23
ESEC-FSE '22
ICSE '22
ICSE '22
ICSE '22
ICSE '22
ESEC-FSE '21
ESEC-FSE '20
ESEC-FSE '20
ICSE '20
ICSE '20
ESEC-FSE '19
June 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...
April 02, 2024
The Department of Computer Science in the College of Liberal Arts and Sciences at Iowa State University seeks outstanding applicants for a postdoctoral position in...
Links: Projects