Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Wed 17 Jun 2020 08:40 - 09:00 at PLDI Research Papers live stream - Synthesis I Chair(s): James Bornholt

Recent program synthesis techniques help users customize CAD models(e.g., for 3D printing) by decompiling low-level triangle meshes to Constructive Solid Geometry (CSG) expressions. Without loops or functions, editing CSG can require many coordinated changes, and existing mesh decompilers use heuristics that can obfuscate high-level structure.

This paper proposes a second decompilation stage to robustly "shrink" unstructured CSG expressions into more editable programs with map and fold operators. We present Szalinski, a tool that uses Equality Saturation with semantics-preserving CAD rewrites to efficiently search for smaller equivalent programs. Szalinski relies on inverse transformations, a novel way for solvers to speculatively add equivalences to an E-graph. We qualitatively evaluate Szalinski in case studies, show how it composes with an existing mesh decompiler, and demonstrate that Szalinski can shrink large models in seconds.

Wed 17 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

08:00 - 09:00: Synthesis IPLDI Research Papers at PLDI Research Papers live stream
Chair(s): James BornholtUniversity of Texas at Austin

YouTube lightning session video

08:00 - 08:20
Data-Driven Inference of Representation Invariants
PLDI Research Papers
Anders MiltnerPrinceton University, USA, Saswat PadhiUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California at Los Angeles, USA, David WalkerPrinceton University, USA
08:20 - 08:40
Type Error Feedback via Analytic Program Repair
PLDI Research Papers
Georgios SakkasUniversity of California at San Diego, USA, Madeline EndresUniversity of Michigan, USA, Benjamin CosmanUniversity of California at San Diego, USA, Westley WeimerUniversity of Michigan, USA, Ranjit JhalaUniversity of California at San Diego, USA
08:40 - 09:00
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
PLDI Research Papers
Chandrakana NandiUniversity of Washington, USA, Max WillseyUniversity of Washington, USA, Adam AndersonUniversity of Washington, USA, James R. WilcoxCertora, USA, Eva DarulovaMPI-SWS, Germany, Dan GrossmanUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle