According to our database1, Chandrakana Nandi authored at least 11 papers between 2015 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Synthesizing structured CAD models with equality saturation and inverse transformations.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proc. ACM Program. Lang., 2018
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015