Concepedia

Chandrakana Nandi

CN

8

Publications

213

Citations

8

H-Index

2016

Active since

Affiliations

University of Washington(Current)

Chandrakana Nandi is an author at University of Washington specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceData ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringDesignSoftware Engineering

Publications per year

2016–2023

8

Publications

8

Automatic Trigger Generation for Rule-based Smart Homes

Chandrakana Nandi, Michael D. Ernst · 2016 · 53 citations

Engineering, Smart City, Verification +17

Functional programming for compiling and decompiling computer-aided design

Chandrakana Nandi, James R. Wilcox, Pavel Panchekha et al. · Proceedings of the ACM on Programming Languages · 2018 · 44 citations · Full text

Engineering, Visual Programming Language, Software Engineering +21

babble: Learning Better Abstractions with E-Graphs and Anti-unification

David Cao, Rose Kunkel, Chandrakana Nandi et al. · Proceedings of the ACM on Programming Languages · 2023 · 34 citations · Full text

Structured Prediction, Equality Saturation, Engineering +16

Carpentry compiler

Chenming Wu, Haisen Zhao, Chandrakana Nandi et al. · ACM Transactions on Graphics · 2019 · 33 citations

Engineering, Digital Fabrication, Concrete Fabrication Plans +9

Combining Precision Tuning and Rewriting

Brett Saiki, Oliver Flatt, Chandrakana Nandi et al. · 2021 · 15 citations

Engineering, Pareto Herbie, Computer Architecture +19

Rows per page

1–5 of 8