Aligning Physics with Computation

This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.

A guest lecture for 342 Energy Efficient Computing course at Stanford University, co-presented with Steven Abreu (University of Groningen). The talk covers (1) the representation relation between physical systems and abstract models (Horsman, 2014), (2) computational classes and structure-preserving maps (Yanofsky, 2022), (3) source-independent linking and semantic retention for compiler…

Read on /posts/talks/202604_stanford_eec/ ↗