Programming Language Tools and Techniques for 3D Printing

Authors Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock

Thumbnail PDF


  • Filesize: 4.27 MB
  • 12 pages

Document Identifiers

Author Details

Chandrakana Nandi
Anat Caspi
Dan Grossman
Zachary Tatlock

Cite AsGet BibTex

Chandrakana Nandi, Anat Caspi, Dan Grossman, and Zachary Tatlock. Programming Language Tools and Techniques for 3D Printing. In 2nd Summit on Advances in Programming Languages (SNAPL 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 71, pp. 10:1-10:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


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.
  • 3D printing
  • rapid prototyping
  • desktop manufacturing
  • compilers
  • verification
  • synthesis


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Autodesk. Meshmixer. URL:
  2. blender. Creative freedom starts here. URL:
  3. Cura Software. URL:
  4. P. Delfs, M. ̈Tows, and H.-J. Schmid. Optimized build orientation of additive manufactured parts for improved surface quality and build time. Additive Manufacturing, 12, Part B:314-320, 2016. Special Issue on Modeling &Simulation for Additive Manufacturing. URL:
  5. Jérémie Dumas, An Lu, Sylvain Lefebvre, Jun Wu, and Christian Dick. By-example synthesis of structurally sound patterns. ACM Trans. Graph., 34(4):137:1-137:12, July 2015. URL:
  6. Salomé Galjaard, Sander Hofman, and Shibo Ren. New opportunities to optimize structural designs in metal by using additive manufacturing. In Philippe Block, Jan Knippers, Niloy J. Mitra, and Wenping Wang, editors, Advances in Architectural Geometry 2014, pages 79-93. Springer International Publishing, Cham, 2015. URL:
  7. Gartner Forecast: 3D Printers, Worldwide, 2015. URL:
  8. T. Grimm. User’s Guide to Rapid Prototyping. Society of Manufacturing Engineers, 2004. Google Scholar
  9. G. T. Klein, Y. Lu, and M. Y. Wang. 3D Printing and Neurosurgery - Ready for Prime Time? World Neurosurgery, 80(3):233-235, 9 2013. Google Scholar
  10. Venkat Krishnamurthy and Marc Levoy. Fitting smooth surfaces to dense polygon meshes. In Proceedings of the 23rd Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH'96, pages 313-324, New York, NY, USA, 1996. ACM. URL:
  11. Zhenmin Li, Shan Lu, Suvda Myagmar, and Yuanyuan Zhou. Cp-miner: A tool for finding copy-paste and related bugs in operating system code. In Proceedings of the 6th Conference on Symposium on Operating Systems Design &Implementation - Volume 6, OSDI'04, pages 20-20, Berkeley, CA, USA, 2004. USENIX Association. URL:
  12. James McCrae, Nobuyuki Umetani, and Karan Singh. Flatfitfab: Interactive modeling with planar sections. In Proceedings of the 27th Annual ACM Symposium on User Interface Software and Technology, UIST'14, pages 13-22, New York, NY, USA, 2014. ACM. URL:
  13. Stefanie Mueller, Sangha Im, Serafima Gurevich, Alexander Teibrich, Lisa Pfisterer, François Guimbretière, and Patrick Baudisch. WirePrint: 3D Printed Previews for Fast Prototyping. In Proceedings of the 27th Annual ACM Symposium on User Interface Software and Technology, UIST'14, pages 273-280, New York, NY, USA, 2014. ACM. URL:
  14. Stefanie Mueller, Bastian Kruck, and Patrick Baudisch. LaserOrigami: Laser-cutting 3D Objects. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI'13, pages 2585-2592, New York, NY, USA, 2013. ACM. URL:
  15. Stefanie Mueller, Tobias Mohr, Kerstin Guenther, Johannes Frohnhofen, and Patrick Baudisch. faBrickation: Fast 3D Printing of Functional Objects by Integrating Construction Kit Building Blocks. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI'14, pages 3827-3834, New York, NY, USA, 2014. ACM. URL:
  16. OpenSCAD. URL:
  17. David A. Patterson, Garth Gibson, and Randy H. Katz. A case for redundant arrays of inexpensive disks (raid). In Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, SIGMOD'88, pages 109-116, New York, NY, USA, 1988. ACM. URL:
  18. Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati. Scaling up superoptimization. SIGPLAN Not., 51(4):297-310, March 2016. URL:
  19. Project Escher. URL:
  20. ReplicatorG lowering the barrier to 3D printing. URL:
  21. Rhinoceros. URL:
  22. C. Schubert, M. C. van Langeveld, and L. A. Donoso. Innovations in 3D Printing: a 3D Overview from Optics to Organs. British Journal of Ophthalmology, 98(2):159-161, 2014. Google Scholar
  24. Pitchaya Sitthi-Amorn, Javier E. Ramos, Yuwang Wangy, Joyce Kwan, Justin Lan, Wenshou Wang, and Wojciech Matusik. MultiFab: A Machine Vision Assisted Platform for Multi-material 3D Printing. ACM Trans. Graph., 34(4):129:1-129:11, July 2015. URL:
  25. Skeinforge. URL:
  26. SketchUp. URL:
  27. Slic3r. URL:
  28. Solidworks. URL:
  29. Ondrej Stava, Juraj Vanek, Bedrich Benes, Nathan Carr, and Radomír Měch. Stress Relief: Improving Structural Strength of 3D Printable Objects. ACM Trans. Graph., 31(4):48:1-48:11, July 2012. URL:
  30. Ivan E. Sutherland. Sketch pad a man-machine graphical communication system. In Proceedings of the SHARE Design Automation Workshop, DAC'64, pages 6.329-6.346, New York, NY, USA, 1964. ACM. URL:
  31. Alexander Teibrich, Stefanie Mueller, François Guimbretière, Robert Kovacs, Stefan Neubert, and Patrick Baudisch. Patching physical objects. In Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, UIST'15, pages 83-91, New York, NY, USA, 2015. ACM. URL:
  32. Thingiverse. URL:
  33. Nobuyuki Umetani and Ryan Schmidt. Cross-sectional Structural Analysis for 3D Printing Optimization. In SIGGRAPH Asia 2013 Technical Briefs, SA'13, pages 5:1-5:4, New York, NY, USA, 2013. ACM. URL:
  34. Kiril Vidimče, Szu-Po Wang, Jonathan Ragan-Kelley, and Wojciech Matusik. OpenFab: A Programmable Pipeline for Multi-material Fabrication. ACM Trans. Graph., 32(4):136:1-136:12, July 2013. URL:
  35. Qingnan Zhou, Julian Panetta, and Denis Zorin. Worst-case structural analysis. ACM Trans. Graph., 32(4):137:1-137:12, July 2013. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail