Chandrakana Nandi

According to our database1, Chandrakana Nandi authored at least 11 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
egg: Fast and extensible equality saturation.
Proc. ACM Program. Lang., 2021

2020
egg: Easy, Efficient, and Extensible E-graphs.
CoRR, 2020

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

2019
Carpentry compiler.
ACM Trans. Graph., 2019

Using E-Graphs for CAD Parameter Inference.
CoRR, 2019

2018
Functional programming for compiling and decompiling computer-aided design.
Proc. ACM Program. Lang., 2018

2017
Programming Language Tools and Techniques for 3D Printing.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Debugging probabilistic programs.
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

2016
Automatic trigger generation for end user written rules for home automation.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Automatic Trigger Generation for Rule-based Smart Homes.
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015


  Loading...