Concepedia

Chandrakana Nandi

CN

Statistics

Publications

8

Citations

213

H-Index

8

Active since

2016

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

1–5 of 8