PL Tools and Techniques for 3D Printing

Our research aims at improving desktop-class manufacturing processes such as 3D-printing, with the goal to make these process 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.

Now, we have developed a system for compiling and decompiling CAD programs. We have published this software for ICFP 2018, and now you can try too. See the documentation page for specifics, check out the examples page for inspiration, or dive right in to the IDE and give it a go!

Publications