Chandrakana Nandi

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Home Automation

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Graph.

Publications

Valkyrie Savage, Nóra Püsök, Harrison Goldstein, Chandrakana Nandi, Jia Yi Ren, Lora Oehlberg
Demonstrating FEDT: Supporting Characterization Experiments in Fabrication Research. SCF Adjunct (2024)
Gus Henry Smith, Zachary D. Sisco, Thanawat Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary Tatlock, Chandrakana Nandi, Jonathan Balkind
There and Back Again: A Netlist's Tale with Much Egraphin'. CoRR (2024)
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
Equality Saturation Theory Exploration à la Carte. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
babble: Learning Better Abstractions with E-Graphs and Anti-unification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry. ACM Trans. Graph. 41 (3) (2022)
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
babble: Learning Better Abstractions with E-Graphs and Anti-Unification. CoRR (2022)
Jasper Tran O'Leary, Chandrakana Nandi, Khang Lee, Nadya Peek
Taxon: a Language for Formal Reasoning with Digital Fabrication Machines. UIST (2021)
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
Combining Precision Tuning and Rewriting. ARITH (2021)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material. CoRR (2021)
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
Co-Optimization of Design and Fabrication Plans for Carpentry. CoRR (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite Rule Inference Using Equality Saturation. CoRR (2021)
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
Rewrite rule inference using equality saturation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
egg: Fast and extensible equality saturation. Proc. ACM Program. Lang. 5 (POPL) (2021)
Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
egg: Easy, Efficient, and Extensible E-graphs. CoRR (2020)
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Synthesizing structured CAD models with equality saturation and inverse transformations. PLDI (2020)
Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Using E-Graphs for CAD Parameter Inference. CoRR (2019)
Chenming Wu, Haisen Zhao, Chandrakana Nandi, Jeffrey I. Lipton, Zachary Tatlock, Adriana Schulz
Carpentry compiler. ACM Trans. Graph. 38 (6) (2019)
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock
Functional programming for compiling and decompiling computer-aided design. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley
Debugging probabilistic programs. MAPL@PLDI (2017)
Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock
Programming Language Tools and Techniques for 3D Printing. SNAPL (2017)
Chandrakana Nandi, Michael D. Ernst
Automatic Trigger Generation for Rule-based Smart Homes. PLAS@CCS (2016)
Chandrakana Nandi
Automatic trigger generation for end user written rules for home automation. SIGSOFT FSE (2016)
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. CoRR (2015)
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. CBSE (2015)