Re: [madPL] Zach Tatlock PL Seminar


Date: Wed, 19 Aug 2020 12:20:29 -0500
From: "Loris D'Antoni" <loris@xxxxxxxxxxx>
Subject: Re: [madPL] Zach Tatlock PL Seminar
This is happening in 40 minutes!!

On Mon, Aug 17, 2020 at 12:48 PM JOHN CYPHERT <pl-seminar-bounces@xxxxxxxxxxx> wrote:
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
Find your local number:Âhttps://us02web.zoom.us/u/kcQuuMMmh

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar


--
-Loris
[← Prev in Thread] Current Thread [Next in Thread→]