Covers MLIR, a compiler infrastructure for domain-specific computation, emphasizing the importance of multiple abstraction levels and higher-level semantics.
Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.
Explores inverse design optimization in geometric computing, covering topics such as deployable structures, material-aware design, and programmed materials.
