TLDR: ATL (A tensor language) is APL, functional arrays. Working on getting fold/sequential computation as recursion possibly happening.
Implemented currently in Roq with manual passes as user written tactics, then lowered to C.
Redo in Python and connect with egglog? How to implement user written schedules there? Would this be useful? Incrementally move to eqsat? Learn costs from examples?
Sketch guided eqsat, Thomas Koehler and Michel Steuwer
UW scientists, could we help them optimize something to get at real "what do they use tools for"?
Eleftheria Roumeli
was working on Jupyter reproducability
Daniel Shapero Glacial flow in Python