Chandrakana Nandi

According to our database, Chandrakana Nandi authored at least 11 papers between 2015 and 2021.

Collaborative distances:

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

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

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