PhD in Computer Science and Engineering - Languages, Compilers, and Runtime Systems in Ann Arbor United States | University of Michigan Ann Arbor

Static and dynamic compiler systems enhance performance, reliability, and energy efficiency by leveraging advanced program analysis, transformation, and adaptation techniques. By thoroughly examining application behavior, these systems enable software customization for specific hardware while also automating hardware adjustments for targeted applications. Runtime profiling data reveals optimization opportunities, allowing for both general-case and input-specific improvements. CSE researchers are pioneering compiler techniques to optimize applications across devices, from mobile to cloud servers. Approaches like approximate computing boost performance in scenarios where perfect accuracy isn't required or achievable. Just-in-time compilation enables on-the-fly optimizations without interrupting application execution. Additional research addresses challenges at the intersection of architecture, operating systems, and program analysis, improving parallel software development through solutions for concurrency bugs, memory models, and execution replay. Faculty also develop specialized optimizations for key algorithms and computing frameworks, particularly those used in big data applications like MapReduce.