Hi everyone,
We will be having a PL seminar on WednesdayÂAugust 19, atÂ1pm.ÂZach Tatlock from theÂUniversity of Washington will be giving a talk titled "Synthesizing
Backward through the Geometry Pipeline".
Here is the abstract for the talk:
Most physical goods are actually program outputs: designers develop declarative specifications of objects, such specifications are then compiled down to control languages, and finally control programs are executed by fabrication devices to physically implement
the design.
Given the rise of "desktop manufacturing" in the form of affordable 3D printers, laser cutters, and mini CNC mills, why does the design-to-prototype workflow still require so much expertise, tinkering, and failure?
We are trying to figure that out. Our key hypothesis is that "designs are just programs" and therefore we can bring all the powerful machinery of modern Programming Languages research to bear on the problem: synthesis, language design, and compiler optimizations
all have a role to play.
In this talk, I will focus on our efforts to help users get more-editable designs out of the low-level representations commonly shared online. This "decompilation" starts with a description of an object's surface as a set of triangles and ends up with high-level
CAD program that parameterizes over repetitive design features. Along the way we'll see some semantics for CAD, domain-specific heuristics for geometry synthesis, and some new techniques that extend equality saturation in addressing the dread "AC matching
problem" that makes trouble for all kinds of automated solvers. We'll highlight how the new egg egraph library enables new kinds of synthesis by specializing egraphs to equality saturation and enables greater flexibility via novel eclass analyses.
We'll send out another reminder on Wednesday.
John
Topic: madPL seminar
Time: This is a recurring meeting Meet anytime
Join Zoom Meeting
Meeting ID: 859 451 761
One tap mobile
+19292056099,,859451761# US (New York)
+13017158592,,859451761# US (Germantown)
Dial by your location
    +1 929 205 6099 US (New York)
    +1 301 715 8592 US (Germantown)
    +1 312 626 6799 US (Chicago)
    +1 669 900 6833 US (San Jose)
    +1 253 215 8782 US (Tacoma)
    +1 346 248 7799 US (Houston)
Meeting ID: 859 451 761