Explores translation inefficiencies, optimizations, hoisting functions, closure conversion, and dataflow analysis concepts like available expressions and live variables.
Covers MLIR, a compiler infrastructure for domain-specific computation, emphasizing the importance of multiple abstraction levels and higher-level semantics.
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.