Compiler Design Programming Languages

Research Frontiers in Compiler-Assisted Concurrency Bug Detection

Development of static analysis and dynamic instrumentation techniques to detect race conditions and deadlocks at compile-time.

All Compiler Design & Programming Languages PhD categories