A Compilation-based Under-Constrained Execution Engine

Mingjun Yin, UC Riverside and Google; Zhaorui Li, UC Riverside; Ju Chen, UC Riverside and Meta; Haochen Zeng and Chengyu Song, UC Riverside