Compiler Design Programming Languages

Research Frontiers in Shape Inference and Tensor Type Analysis

Development of static analysis techniques for inferring and verifying tensor shapes and dimensions in numerical computing frameworks.

All Compiler Design & Programming Languages PhD categories