|
|
|
 |
Suresh
Jagannathan
Professor
University Faculty Scholar
Department of Computer Science 305 North University Street West Lafayette, IN 47907 Purdue University Phone: 765-494-0971 email: suresh@cs.purdue.edu |
| Research
Interests |
- Programming Languages and Analysis, Compilation, Software Engineering
- higher-order verification
- dynamic program analyses for concurrency
- specification techniques for concurrent programs
- functional abstractions for parallel and distributed computing
- verifying compilation and relaxed memory
- Multicore and Distributed Systems
- software transactional memory
- deterministic parallelism
- software coherence and message-passing
- software-based speculation
- storage systems