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.
Explores scalability challenges in shared-work systems, emphasizing optimization and execution, experimental setups, data-query operators, and the impact of schema on learning.
