Incarnate

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.

News

Feb 21, 2020 Our paper on Synthesizing Structured CAD Models using Equality Saturation and Inverse Transformations got into PLDI 2020!
Nov 21, 2018 Chandrakana won an Adobe Research Fellowship 2019. Congratulations!
Jun. 11, 2018 Zach and Dan won an NSF grant. Congratulations!
May. 18, 2018 Our paper on Functional Programming for Compiling and Decompiling CAD is accepted to ICFP 2018!
Feb. 24, 2017 Our paper Programming Language Tools and Techniques for 3-D Printing is to appear in SNAPL 2017!

Publications

PLDI 2020 Synthesizing Structured CAD Models using Equality Saturation and Inverse Transformations.
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock.
code trailer talk poster
ICFP 2018 Functional Programming for Compiling and Decompiling Computer-Aided Design.
Chandrakana Nandi, James R. Wilcox, Taylor Blau, Dan Grossman, Zachary Tatlock.
code talk poster
SNAPL 2017 Programming Language Tools and Techniques for 3D Printing.
Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock.

The Incarnate team

The incarnate developers can be reached via email.

  1. Chandrakana Nandi
  2. Adam Anderson
  3. Eva Darulova
  4. Dan Grossman
  5. Zachary Tatlock

Past members

  • Max Willsey
  • James R. Wilcox
  • Pavel Panchekha
  • Taylor Blau
  • Melissa Galloway
  • Seth Pendergrass
  • Anat Caspi