Chandrakana Nandi

According to our database, Chandrakana Nandi authored at least 22 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Demonstrating FEDT: Supporting Characterization Experiments in Fabrication Research.

Valkyrie Savage, Nóra Püsök, Harrison Goldstein, Chandrakana Nandi, Jia Yi Ren, Lora Oehlberg

Proceedings of the ACM Symposium on Computational Fabrication, 2024

Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts.

Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

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., October, 2023

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., January, 2023

2022

Co-Optimization of Design and Fabrication Plans for Carpentry.

Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz

ACM Trans. Graph., 2022

2021

Programming Language Tools and Techniques for Computational Fabrication.

Chandrakana Nandi

PhD thesis, 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

Rewrite rule inference using equality saturation.

Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock

Proc. ACM Program. Lang., 2021

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material.

Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz

CoRR, 2021

Taxon: a Language for Formal Reasoning with Digital Fabrication Machines.

Jasper Tran O'Leary, Chandrakana Nandi, Khang Lee, Nadya Peek

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Combining Precision Tuning and Rewriting.

Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

2020

egg: Easy, Efficient, and Extensible E-graphs.

Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock

CoRR, 2020

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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Carpentry compiler.

Chenming Wu, Haisen Zhao, Chandrakana Nandi, Jeffrey I. Lipton, Zachary Tatlock, Adriana Schulz

ACM Trans. Graph., 2019

Using E-Graphs for CAD Parameter Inference.

Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

CoRR, 2019

2018

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

2017

Programming Language Tools and Techniques for 3D Printing.

Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Debugging probabilistic programs.

Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

2016

Automatic trigger generation for end user written rules for home automation.

Chandrakana Nandi

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Automatic Trigger Generation for Rule-based Smart Homes.

Chandrakana Nandi, Michael D. Ernst

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

Stochastic Contracts for Runtime Checking of Component-based Real-time Systems.

Chandrakana Nandi, Aurelien Monot, Manuel Oriol

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015