| 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 | 195 | 2021 |
| 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 | 97 | 2019 |
| Automatic trigger generation for rule-based smart homes C Nandi, MD Ernst Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016 | 75 | 2016 |
| 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 | 54 | 2018 |
| 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 | 45 | 2021 |
| Carpentry compiler C Wu, H Zhao, C Nandi, JI Lipton, Z Tatlock, A Schulz ACM Transactions on Graphics (TOG) 38 (6), 1-14, 2019 | 39 | 2019 |
| 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 | 37 | 2023 |
| 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 | 22 | 2017 |
| 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 | 17 | 2021 |
| Debugging probabilistic programs C Nandi, D Grossman, A Sampson, T Mytkowicz, KS McKinley Proceedings of the 1st ACM SIGPLAN International Workshop on Machine …, 2017 | 16 | 2017 |
| 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 | 9 | 2022 |
| 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 | 7 | 2021 |
| 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 | 4 | 2015 |
| There and Back Again: A Netlist's Tale with Much Egraphin' GH Smith, ZD Sisco, T Techaumnuaiwit, J Xia, V Canumalla, A Cheung, ... arXiv preprint arXiv:2404.00786, 2024 | 2 | 2024 |
| 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 | 2 | 2021 |
| 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 | 1 | 2023 |
| Programming language tools and techniques for computational fabrication C Nandi University of Washington, 2021 | 1 | 2021 |
| Automatic trigger generation for end user written rules for home automation C Nandi Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 1 | 2016 |
| Demonstrating FEDT: Supporting Characterization Experiments in Fabrication Research V Savage, N Püsök, H Goldstein, C Nandi, JY Ren, L Oehlberg Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication, 1-3, 2024 | | 2024 |
| Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts YF Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi 17th IEEE International Conference on Software Testing, Verification and …, 2024 | | 2024 |
Zachary TatlockUniversity of WashingtonE-mail confirmado em cs.washington.edu
