Follow
Chandrakana Nandi
Chandrakana Nandi
Senior Researcher, Certora Inc.
Verified email at certora.com - Homepage
Title
Cited by
Cited by
Year
Egg: Fast and extensible equality saturation
M Willsey, C Nandi, YR Wang, O Flatt, Z Tatlock, P Panchekha
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
1452021
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ...
PLDI 2020, 31-44, 2019
872019
Automatic trigger generation for rule-based smart homes
C Nandi, MD Ernst
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
732016
Functional programming for compiling and decompiling computer-aided design
C Nandi, JR Wilcox, P Panchekha, T Blau, D Grossman, Z Tatlock
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018
492018
Rewrite rule inference using equality saturation
C Nandi, M Willsey, A Zhu, YR Wang, B Saiki, A Anderson, A Schulz, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021
382021
Carpentry compiler
C Wu, H Zhao, C Nandi, JI Lipton, Z Tatlock, A Schulz
ACM Transactions on Graphics (TOG) 38 (6), 1-14, 2019
362019
Babble: Learning better abstractions with e-graphs and anti-unification
D Cao, R Kunkel, C Nandi, M Willsey, Z Tatlock, N Polikarpova
Proceedings of the ACM on Programming Languages 7 (POPL), 396-424, 2023
262023
Programming language tools and techniques for 3D printing
C Nandi, A Caspi, D Grossman, Z Tatlock
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
202017
Combining precision tuning and rewriting
B Saiki, O Flatt, C Nandi, P Panchekha, Z Tatlock
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), 1-8, 2021
142021
Debugging probabilistic programs
C Nandi, D Grossman, A Sampson, T Mytkowicz, KS McKinley
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine …, 2017
142017
Co-Optimization of Design and Fabrication Plans for Carpentry
H Zhao, M Willsey, A Zhu, C Nandi, Z Tatlock, J Solomon, A Schulz
ACM Transactions on Graphics (TOG) 41 (3), 1-13, 2022
92022
Taxon: a Language for Formal Reasoning with Digital Fabrication Machines
J Tran O'Leary, C Nandi, K Lee, N Peek
The 34th Annual ACM Symposium on User Interface Software and Technology, 691-709, 2021
62021
Stochastic contracts for runtime checking of component-based real-time systems
C Nandi, A Monot, M Oriol
Proceedings of the 18th International ACM SIGSOFT Symposium on Component …, 2015
42015
A roadmap towards parallel printing for desktop 3d printers
MA Carton, C Nandi, A Anderson, H Zhao, E Darulova, D Grossman, ...
University of Texas at Austin, 2021
22021
Equality Saturation Theory Exploration à la Carte
A Pal, B Saiki, R Tjoa, C Richey, A Zhu, O Flatt, M Willsey, Z Tatlock, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1034-1062, 2023
12023
Programming Language Tools and Techniques for Computational Fabrication
C Nandi
University of Washington, 2021
12021
Automatic trigger generation for end user written rules for home automation
C Nandi
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
12016
Equality Saturation Theory Exploration à la Carte
C NANDI
2023
Taxon: a Language for Formal Reasoning with Digital Fabrication Machines
JT O’Leary, C Nandi, K Lee, N Peek
2021
Reasoning about Inference in Probabilistic Programs
C Nandi, A Sampson, D Grossman, T Mytkowicz, KS McKinley
The system can't perform the operation now. Try again later.
Articles 1–20