Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. - Chandrakana Nandi; Aurelien Monot; Manuel Oriol (CBSE, 2015)

Automatic Trigger Generation for Rule-based Smart Homes. - Chandrakana Nandi; Michael D. Ernst (PLAS@CCS, 2016)

Automatic trigger generation for end user written rules for home automation. - Chandrakana Nandi (SIGSOFT FSE, 2016)

Debugging probabilistic programs. - Chandrakana Nandi; Dan Grossman; Adrian Sampson; Todd Mytkowicz; Kathryn S. McKinley (MAPL@PLDI, 2017)

Programming Language Tools and Techniques for 3D Printing. - Chandrakana Nandi; Anat Caspi; Dan Grossman; Zachary Tatlock (SNAPL, 2017)

Functional programming for compiling and decompiling computer-aided design. - Chandrakana Nandi; James R. Wilcox; Pavel Panchekha; Taylor Blau; Dan Grossman; Zachary Tatlock (Proc. ACM Program. Lang., 2018)

Using E-Graphs for CAD Parameter Inference. - Chandrakana Nandi; Adam Anderson 004; Max Willsey; James R. Wilcox; Eva Darulova; Dan Grossman; Zachary Tatlock (CoRR, 2019)

Carpentry compiler. - Chenming Wu; Haisen Zhao; Chandrakana Nandi; Jeffrey I. Lipton; Zachary Tatlock; Adriana Schulz (ACM Trans. Graph., 2019)

Synthesizing structured CAD models with equality saturation and inverse transformations. - Chandrakana Nandi; Max Willsey; Adam Anderson 004; James R. Wilcox; Eva Darulova; Dan Grossman; Zachary Tatlock (PLDI, 2020)

egg: Easy, Efficient, and Extensible E-graphs. - Max Willsey; Yisu Remy Wang; Oliver Flatt; Chandrakana Nandi; Pavel Panchekha; Zachary Tatlock (CoRR, 2020)

Combining Precision Tuning and Rewriting. - Brett Saiki; Oliver Flatt; Chandrakana Nandi; Pavel Panchekha; Zachary Tatlock (ARITH, 2021)

Taxon: a Language for Formal Reasoning with Digital Fabrication Machines. - Jasper Tran O'Leary; Chandrakana Nandi; Khang Lee; Nadya Peek (UIST, 2021)

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material. - Haisen Zhao; Max Willsey; Amy Zhu; Chandrakana Nandi; Zachary Tatlock; Justin Solomon 001; Adriana Schulz (CoRR, 2021)

Rewrite rule inference using equality saturation. - Chandrakana Nandi; Max Willsey; Amy Zhu; Yisu Remy Wang; Brett Saiki; Adam Anderson 004; Adriana Schulz; Dan Grossman; Zachary Tatlock (Proc. ACM Program. Lang., 2021)

egg: Fast and extensible equality saturation. - Max Willsey; Chandrakana Nandi; Yisu Remy Wang; Oliver Flatt; Zachary Tatlock; Pavel Panchekha (Proc. ACM Program. Lang., 2021)

Programming Language Tools and Techniques for Computational Fabrication. - Chandrakana Nandi (2021)

Co-Optimization of Design and Fabrication Plans for Carpentry. - Haisen Zhao; Max Willsey; Amy Zhu; Chandrakana Nandi; Zachary Tatlock; Justin Solomon 001; Adriana Schulz (ACM Trans. Graph., 2022)

babble: Learning Better Abstractions with E-Graphs and Anti-unification. - David Cao; Rose Kunkel; Chandrakana Nandi; Max Willsey; Zachary Tatlock; Nadia Polikarpova (Proc. ACM Program. Lang., 2023)

Equality Saturation Theory Exploration à la Carte. - Anjali Pal; Brett Saiki; Ryan Tjoa; Cynthia Richey; Amy Zhu; Oliver Flatt; Max Willsey; Zachary Tatlock; Chandrakana Nandi (Proc. ACM Program. Lang., 2023)

Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts. - Enzo Nicourt; Benjamin Kushigian; Chandrakana Nandi; Yliès Falcone (ICST, 2024)

Demonstrating FEDT: Supporting Characterization Experiments in Fabrication Research. - Valkyrie Savage; Nóra Püsök; Harrison Goldstein; Chandrakana Nandi; Jia Yi Ren; Lora Oehlberg (SCF Adjunct, 2024)

There and Back Again: A Netlist's Tale with Much Egraphin'. - Gus Henry Smith; Zachary D. Sisco; Thanawat Techaumnuaiwit; Jingtao Xia; Vishal Canumalla; Andrew Cheung; Zachary Tatlock; Chandrakana Nandi; Jonathan Balkind (CoRR, 2024)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation. - Gus Henry Smith; Colin Knizek; Daniel Petrisko; Zachary Tatlock; Jonathan Balkind; Gilbert Louis Bernstein; Haobin Ni; Chandrakana Nandi (CoRR, 2024)

Practical Verification of Smart Contracts using Memory Splitting. - Shelly Grossman; John Toman; Alexander Bakst; Sameer Arora; Mooly Sagiv; Chandrakana Nandi (Proc. ACM Program. Lang., 2024)