2026-07-20T11:02:42Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7122 2024-03-06T10:39:35Z ddc:004 open_access

Programming Language Tools and Techniques for 3D Printing Nandi, Chandrakana Caspi, Anat Grossman, Dan Tatlock, Zachary 3D printing rapid prototyping desktop manufacturing compilers verification synthesis We propose a research agenda to investigate programming language techniques for improving affordable, end-user desktop manufacturing processes such as 3D printing. Our goal is to adapt programming languages tools and extend the decades of research in industrial, high-end CAD/CAM in order to help make affordable desktop manufacturing processes more accurate, fast, reliable, and accessible to end-users. We focus on three major areas where 3D printing can benefit from programming language tools: design synthesis, optimizing compilation, and runtime monitoring. We present preliminary results on synthesizing editable CAD models from difficult-to-edit surface meshes, discuss potential new compilation strategies, and propose runtime monitoring techniques. We conclude by discussing additional near-future directions we intend to pursue. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Chandrakana Nandi and Anat Caspi and Dan Grossman and Zachary Tatlock 2017 Is Part Of LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SNAPL.2017.10 urn:nbn:de:0030-drops-71226 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.10 eng https://creativecommons.org/licenses/by/3.0/legalcode