Підписатись
Chandrakana Nandi
Chandrakana Nandi
Senior Researcher, Certora Inc.
Підтверджена електронна адреса в certora.com - Домашня сторінка
Назва
Посилання
Посилання
Рік
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
2362021
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
1072019
Automatic trigger generation for rule-based smart homes
C Nandi, MD Ernst
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
742016
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
562018
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
532021
Carpentry compiler
C Wu, H Zhao, C Nandi, JI Lipton, Z Tatlock, A Schulz
ACM Transactions on Graphics (TOG) 38 (6), 1-14, 2019
432019
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
422023
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), 10: 1-10: 12, 2017
242017
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
192021
Debugging probabilistic programs
C Nandi, D Grossman, A Sampson, T Mytkowicz, KS McKinley
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine …, 2017
172017
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
112022
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
82023
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
72021
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
52024
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
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
1*2024
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
Scaling Program Synthesis Based Technology Mapping with Equality Saturation
GH Smith, C Knizek, D Petrisko, Z Tatlock, J Balkind, GL Bernstein, H Ni, ...
arXiv preprint arXiv:2411.11036, 2024
2024
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20