Skip to main content

Topics

Compiler infrastructure
Compilers for optimizing software libraries
Domain-specific language
Interfacing programming languages and databases
Language support for component-based programming
Modeling languages
Object-oriented programming
Program synthesis
Programming languages
Strategic programming
Turnkey pointer analysis

Faculty & Researchers

Siddhartha Chatterjee
Professor of Instruction
Swarat Chaudhuri
Professor
Işıl Dillig
Professor
Glenn Downing
Associate Professor of Instruction
Calvin Lin
Professor
Ken McMillan
Professor
Shravan Narayan
Assistant Professor
Arthur Peters
Research Scientist
Keshav Pingali
Professor
Don Batory
Professor Emeritus