S
Research Interests
Application Security
Compiler Optimizations
Compilers
Domain-Specific Programming Languages
Memory Management
Program Analysis
Program Performance
Programming Languages
Runtime Systems
Software Reliability
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
Software Engineering Research
Security and Verification in Computing
Software Testing and Debugging Techniques