My research interest spans the following areas.
- Modularity, modular reasoning
- Programming languages, Software Engineering, and Compilers
- Data science, especially Software Engineering of Data Science software.
- Concurrency, especially modular reasoning about concurrency
correctness and performance. Scalable support for modular verification
of concurrency properties in compilers.
- Advanced separation of concerns mechanisms such as events, reactive
signals, and aspects and modular reasoning about such mechanisms.
I direct the Laboratory for Software Design
in the Department of Computer Science.
Our main projects are
Boa that is investigating shared infrastructures
for data driven science, and Panini that is investigating
programming abstractions for concurrency that also enable modular reasoning about concurrency
properties. This year we have also organized the Inaugural
Midwest Big Data Summer School.
For more details including publications,
and current students
please visit my lab's web-pages.
My research has been supported in part by the following grants.
Major Awards and Honors
Former Graduate Students
- Mehdi Bagherzadeh (PhD Summer'16, MS Fall'10), Assistant Professor at Oakland University
- Yuheng Long (PhD Spring'16, MS Spring'10), Google
- Robert Dyer (PhD Fall'13, MS Fall'08), Assistant Professor at Bowling Green State University
- Tyler Sondag (PhD Fall'11, MS Fall'09), Intel R&D
- Sean L. Mooney (MS Summer'15), SourceAllies
- Harish Narayanappa (MS Spring'10), eBay
- Youssef W. Hanna (MS Fall'08), Google
- Rakesh Setty (MS Fall'08), eBay
- Mahantesh Hosamani (MS Fall'07), Ericsson