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
Faculty & Researchers
Affiliated & Emeritus