Carpentry compiler

Abstract

Traditional manufacturing workflows strongly decouple design and fabrication phases. As a result, fabrication-related objectives such as manufacturing time and precision are difficult to optimize in the design space, and vice versa. This paper presents HL-HELM, a high-level, domain-specific language for expressing abstract, parametric fabrication plans; it also introduces LL-HELM, a low-level language for expressing concrete fabrication plans that take into account the physical constraints of available manufacturing processes. We present a new compiler that supports the real-time, unoptimized translation of high-level, geometric fabrication operations into concrete, tool-specific fabrication instructions; this gives users immediate feedback on the physical feasibility of plans as they design them. HELM offers novel optimizations to improve accuracy and reduce fabrication time as well as material costs. Finally, optimized low-level plans can be interpreted as step-by-step instructions for users to actually fabricate a physical product. We provide a variety of example fabrication plans in the carpentry domain that are designed using our high-level language, show how the compiler translates and optimizes these plans to generate concrete low-level instructions, and present the final physical products fabricated in wood.

Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings

“…with signature 𝑐 (𝐹 (𝑘 1 : 𝐾, .., 𝑘 𝑛 : 𝐾)) : 𝐾 if the cost is of type 𝐾), a relatively simple bottom-up e-graph traversal can be used [23]. More complex cost functions require more complex extraction procedures [32,35].…”

Fabrication‐Aware Reverse Engineering for Carpentry

“…In the carpentry domain, grammars have also been used outside of reverse engineering tasks, including interactive design systems [UIM12; KLY∗14; SFJ∗17; GJG16; FSY∗15] and optimization of fabrication plans [YWM15; KHLM17; LVLR19; LOMI11; WZN∗19]. Our work uses similar fabrication‐aware representations for reverse‐engineering.…”

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material

“…This section describes how we compute the three costs: material usage (𝑓 𝑐 ), cutting precision (𝑓 𝑝 ), and fabrication time (𝑓 𝑡 ). Our formulae are updated versions of the ones used by Wu et al [2019].…”

“…Such a layout process is called a full Traversal which traverses all of the parts in a specific order. Prior work [Wu et al 2019] has used a similar approach but used the number of Traversals as the termination criterion which prevents them to control the amount of fabrication arrangements to generate with this heuristic-driven method.…”