I am a Senior Researcher at Certora. I recently graduated with a PhD from the PLSE group at the University of Washington, Seattle where I had a wonderful time working with my incredible advisors, Zachary Tatlock and Dan Grossman.
For my PhD, I developed
programming languages, correct compilers, and
synthesis tools for computational geometry
We built LambdaCAD, a functional programming language for 3D modeling that supports 3D primitives, affine operations, and boolean operators to compose designs. The LambdaCAD compiler generates a triangle mesh from a LambdaCAD program. Using our compiler infrastructure and 3D geometry kernel, we built a decompiler, called Reincarnate, that uses evaluation context to synthesize LambdaCAD programs back from meshes. Check out my thesis for more details on the correctness of our compiler for a subset of LambdaCAD.
Our work on Carpentry Compiler and Szalinski are some of the first tools that use equality saturation as a technique for optimizing unconventional compilers and for program synthesis.
More recently, I have also been focusing on using equality saturation for not just synthesis and optimization, but also to learn the rewrite rules used for equality saturation!
Check out our tools, papers, talks, and more here.
|PhD thesis, August 2021||
Programming Language Tools and Techniques for Computational Fabrication.
A Roadmap Towards Parallel Printing for Desktop 3D Printers.
Molly Carton, Chandrakana Nandi, Adam Anderson, Haisen Zhao, Eva Darulova, Dan Grossman, Jeff Lipton, Adriana Schulz, Zachary Tatlock
Rewrite Rule Inference Using Equality Saturation.
Chandrakana Nandi, Max Willsey, Amy Zhu, Brett Saiki, Remy Wang, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Taxon: a Language for Formal Reasoning with Digital Fabrication Machines.
Jasper Tran O'Leary, Chandrakana Nandi, Khang Lee, Nadya Peek.
Combining Precision Tuning and Rewriting.
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Zachary Tatlock, Pavel Panchekha.
Fast and Extensible Equality Saturation.
Max Willsey, Chandrakana Nandi, Remy Wang, Oliver Flatt, Pavel Panchekha, Zachary Tatlock.
Distinguished Paper Award
pdf github website
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations.
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock.
pdf github website
Chenming Wu, Haisen Zhao, Chandrakana Nandi, Jeff Lipton, Zachary Tatlock, Adriana Schulz.
pdf website UW news Daily of UW Tech Crunch
Functional Programming for Compiling and
Decompiling Computer-Aided Design.
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock.
pdf github website
Programming Language Tools and Techniques for 3D Printing.
Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock.
Debugging Probabilistic Programs.
Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley.
Automatic Trigger Generation for Rule-based Smart Homes.
Chandrakana Nandi, Michael D. Ernst.
|FSE SRC 2016||
Automatic Trigger Generation for End User Written Rules for Home Automation.
|POPL SRC 2016||
Correctness and Security for Home Automation.
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems.
Chandrakana Nandi, Aurelien Monot, Manuel Oriol.
|MS thesis, August 2014||
Contracts for Real-Time, Safety Critical Systems.
|BS thesis, April 2012||
Social Network based Analysis of Behavior.
We have a fantastic running club as part of which we run all over Seattle. We also take part in numerous marathons, half-marathons and relay races!
My mom has a cool recipe blog that I help maintain. Feel free to check it out. She regularly adds delicious recipes!
The best way to reach me is by email: firstname.lastname@example.org