Compiler Design Programming Languages

Research Frontiers in Cost Inference and Resource Analysis Compilation

Development of compiler analyses that automatically infer resource consumption bounds for time, space, and energy at compile-time.

All Compiler Design & Programming Languages PhD categories