Chandrakana Nandi

31 papers A* 3A 1C 1Journal 19Unranked 6
YearRankTypeTitle / Venue / Authors
2025 A* conf
FEDT: Supporting experiment design and execution in HCI fabrication research.
UIST
Valkyrie Savage, Harrison Goldstein, Nóra Püsök, Jia Yi Ren, Bhaskar Dutt, Chandrakana Nandi, Lora Oehlberg
2025 J jnl
Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools.
Proc. ACM Program. Lang.
Yumeng He, Chandrakana Nandi, Sreepathi Pai
2025 J jnl
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools.
CoRR
Yumeng He, Chandrakana Nandi, Sreepathi Pai
2024 — conf
Demonstrating FEDT: Supporting Characterization Experiments in Fabrication Research.
SCF Adjunct
Valkyrie Savage, Nóra Püsök, Harrison Goldstein, Chandrakana Nandi, Jia Yi Ren, Lora Oehlberg
2024 J jnl
Practical Verification of Smart Contracts using Memory Splitting.
Proc. ACM Program. Lang.
Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, Chandrakana Nandi
2024 J jnl
Scaling Program Synthesis Based Technology Mapping with Equality Saturation.
CoRR
Gus Henry Smith, Colin Knizek, Daniel Petrisko, Zachary Tatlock, Jonathan Balkind, Gilbert Louis Bernstein, Haobin Ni, Chandrakana Nandi
2024 J jnl
There and Back Again: A Netlist's Tale with Much Egraphin'.
CoRR
Gus Henry Smith, Zachary D. Sisco, Thanawat Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary Tatlock, Chandrakana Nandi, Jonathan Balkind
2024 A conf
Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts.
ICST
Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone
2023 J jnl
Equality Saturation Theory Exploration à la Carte.
Proc. ACM Program. Lang.
Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
2023 J jnl
babble: Learning Better Abstractions with E-Graphs and Anti-unification.
Proc. ACM Program. Lang.
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
2022 J jnl
Co-Optimization of Design and Fabrication Plans for Carpentry.
ACM Trans. Graph.
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
2022 J jnl
babble: Learning Better Abstractions with E-Graphs and Anti-Unification.
CoRR
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
2021 J jnl
Co-Optimization of Design and Fabrication Plans for Carpentry.
CoRR
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
2021 J jnl
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material.
CoRR
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
2021 C conf
Combining Precision Tuning and Rewriting.
ARITH
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
2021 — —
Programming Language Tools and Techniques for Computational Fabrication.
Chandrakana Nandi
2021 J jnl
Rewrite Rule Inference Using Equality Saturation.
CoRR
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
2021 J jnl
Rewrite rule inference using equality saturation.
Proc. ACM Program. Lang.
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
2021 A* conf
Taxon: a Language for Formal Reasoning with Digital Fabrication Machines.
UIST
Jasper Tran O'Leary, Chandrakana Nandi, Khang Lee, Nadya Peek
2021 J jnl
egg: Fast and extensible equality saturation.
Proc. ACM Program. Lang.
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
2020 A* conf
Synthesizing structured CAD models with equality saturation and inverse transformations.
PLDI
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
2020 J jnl
egg: Easy, Efficient, and Extensible E-graphs.
CoRR
Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
2019 J jnl
Carpentry compiler.
ACM Trans. Graph.
Chenming Wu, Haisen Zhao, Chandrakana Nandi, Jeffrey I. Lipton, Zachary Tatlock, Adriana Schulz
2019 J jnl
Using E-Graphs for CAD Parameter Inference.
CoRR
Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
2018 J jnl
Functional programming for compiling and decompiling computer-aided design.
Proc. ACM Program. Lang.
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock
2017 — conf
Debugging probabilistic programs.
MAPL@PLDI
Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley
2017 — conf
Programming Language Tools and Techniques for 3D Printing.
SNAPL
Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock
2016 — conf
Automatic Trigger Generation for Rule-based Smart Homes.
PLAS@CCS
Chandrakana Nandi, Michael D. Ernst
2016 — conf
Automatic trigger generation for end user written rules for home automation.
SIGSOFT FSE
Chandrakana Nandi
2015 — conf
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems.
CBSE
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
2015 J jnl
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems.
CoRR
Chandrakana Nandi, Aurelien Monot, Manuel Oriol