-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
195 lines (177 loc) · 6.74 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
<!doctype html>
<html>
<head>
<meta charset="utf-8" />
<title>Incarnate: Programming Language Tools and Techniques for 3D Printing</title>
<script src="http://d3js.org/d3.v3.min.js" charset="utf-8"></script>
<script type='text/javascript' src='graph.js'></script>
<link rel='stylesheet' type='text/css' href='site.css'>
<link rel="icon" href="/favicon.ico" type="image/x-icon">
</head>
<body>
<header>
<h1>Incarnate</h1>
<p>PL Tools and Techniques for 3D Printing</p>
</header>
<img class="logo" src="images/logo-incarnate.png">
<p class="abstract">
We investigate programming language (PL) techniques
for improving democratized manufacturing processes such as
3D printing.
Our goal is to invent and adapt PL tools
to extend 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,
design parametrization and optimization, and
efficient toolpaths.
</p>
<h2>News</h2>
<table>
<col width="150">
<col width="650">
<tr>
<td>Aug 23, 2021</td>
<td>
Chandra defended and finished her PhD!
</td>
</tr>
<tr>
<td>Aug 11, 2021</td>
<td>
Our paper,
"A Roadmap Towards Parallel Printing for Desktop 3D Printers"
got into SFF 2021!
</td>
</tr>
<tr>
<td>Aug 06, 2021</td>
<td>
Congrats to Chandrakana and collaborators for their paper,
"Taxon: a Language for Formal Reasoning with Digital Fabrication Machines"
at UIST 2021!
</td>
</tr>
<tr>
<td>Feb 21, 2020</td>
<td>
Our paper on Synthesizing Structured CAD Models using Equality Saturation
and Inverse Transformations got into PLDI 2020!
</td>
</tr>
<tr>
<td>Feb 10, 2020</td>
<td>
Reincarnate was featured in an <a href="https://www.youtube.com/watch?v=G7v3kegE9_g">I Am CSE</a> video
at the Paul G. Allen School of Computer Science & Engineering!
</td>
</tr>
<tr>
<td>Nov 21, 2018</td>
<td>
Chandrakana won an <a
href="https://research.adobe.com/fellowship/previous-fellowship-award-winners/">Adobe
Research Fellowship 2019</a>. Congratulations!
</td>
</tr>
<tr>
<td>Jun. 11, 2018</td>
<td>
Zach and Dan won an <a
href="https://www.nsf.gov/awardsearch/showAward?AWD_ID=1813166">NSF
grant</a>. Congratulations!
</td>
</tr>
<tr>
<td>May. 18, 2018</td>
<td>
Our paper on Functional Programming for Compiling and Decompiling CAD is
accepted to ICFP 2018!
</td>
</tr>
<tr>
<td>Feb. 24, 2017</td>
<td>
Our paper Programming Language Tools and Techniques for 3-D Printing is
to appear in SNAPL 2017!
</td>
</tr>
</table>
<h2> Publications </h2>
<table>
<col width="120">
<col width="750">
<tr>
<td>UW PhD Thesis, 2021</td>
<td>
<a href="papers/phdthesis.pdf">Programming Language Tools and Techniques for Computational Fabrication.</a><br>
Chandrakana Nandi.<br>
</td>
<tr>
<tr>
<td> SFF 2021 </td>
<td>
<a href="papers/sff21.pdf">A Roadmap Towards Parallel Printing for Desktop 3D Printers.</a><br>
Chandrakana Nandi, Molly Carton, Adam Anderson, Haisen Zhao, Eva Darulova, Dan Grossman, Jeffrey Ian Lipton, Adriana Schulz, Zachary Tatlock.<br>
<a class="aref" href="videos/sff21-gayatri.mp4">talk</a>
<a class="aref" href="slides/2021-sff-gayatri-slides.pdf">slides</a>
<a class="aref" href="bib/sff2021-gayatri.bib">bib</a>
</td>
<tr>
<tr>
<td> PLDI 2020 </td>
<td>
<a href="papers/pldi20.pdf">Synthesizing Structured CAD Models using Equality Saturation and Inverse Transformations.</a><br>
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock.<br>
<a class="aref" href="https://github.com/uwplse/szalinski">code</a>
<a class="aref" href="https://www.youtube.com/watch?v=2KA602M8t7c">talk</a>
<a class="aref" href="poster/pldi20.png">poster</a>
<a class="aref" href="slides/2020-pldi-szalinski-slides.pdf">slides</a>
<a class="aref" href="bib/pldi2020-szalinski.bib">bib</a>
<a class="aref" href="https://youtu.be/dnIWBnpZqSo?list=PLyrlk8Xaylp5mvxARtX5ncjy9p4X_Ajwd&t=139">teaser</a>
</td>
</tr>
<tr>
<td> ICFP 2018 </td>
<td>
<a href="papers/icfp18.pdf">Functional Programming for Compiling and Decompiling Computer-Aided Design.</a><br>
Chandrakana Nandi, James R. Wilcox, Taylor Blau, Dan Grossman, Zachary Tatlock.<br>
<a class="aref" href="https://github.com/uwplse/reincarnate-aec">code</a>
<a class="aref" href="https://www.youtube.com/watch?v=u3H70i4AUKs&t=106s">talk</a>
<a class="aref" href="poster/icfp18.pdf">poster</a>
<a class="aref" href="slides/2018-icfp-reincarnate-slides.pdf">slides</a>
<a class="aref" href="bib/icfp2018-reincarnate.bib">bib</a>
<a class="aref" href="https://www.youtube.com/watch?v=G7v3kegE9_g">teaser</a>
</td>
</tr>
<tr>
<td> SNAPL 2017 </td>
<td>
<a href="papers/snapl17.pdf">Programming Language Tools and Techniques for 3D Printing.</a><br>
Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock.<br>
<a class="aref" href="slides/2017-snapl-incarnate-slides.pdf">slides</a>
<a class="aref" href="bib/snapl2017-incarnate.bib">bib</a>
</td>
</tr>
</table>
<h2>The Incarnate team</h2>
<p>The incarnate developers can be
reached <a href="mailto:incarnate@cs.washington.edu">via email</a>.
<ol class="author-list">
<li><a href="https://cnandi.com/"><img src='http://uwplse.org/photos/cnandi.png' title="Chandrakana Nandi"/>Chandrakana Nandi</a></li>
<li><a href="https://homes.cs.washington.edu/~djg/"><img src='https://homes.cs.washington.edu/~djg/grossman2013.jpg' title="Dan Grossman"/>Dan Grossman</a></li>
<li><a href="https://homes.cs.washington.edu/~ztatlock/"><img src='http://uwplse.org/photos/ztatlock.png' title="Zachary Tatlock" />Zachary Tatlock</a></li>
</ol>
<h2>Past members</h2>
<li><a href="https://people.mpi-sws.org/~eva/">Eva Darulova</a></li>
<li><a href="">Adam Anderson</a></li>
<li><a href="https://mwillsey.com/">Max Willsey</a></li>
<li><a href="https://homes.cs.washington.edu/~jrw12/">James R. Wilcox</a></li>
<li><a href="https://pavpanchekha.com/">Pavel Panchekha</a></li>
<li><a href="https://ttaylorr.com/">Taylor Blau</a></li>
<li><a href="http://students.washington.edu/medskm/">Melissa Galloway</a></li>
<li><a href="https://www.linkedin.com/in/sethdp/">Seth Pendergrass</a></li>
<li><a href="https://tcat.cs.washington.edu/people/caspi">Anat Caspi</a></li>
</body>
</html>