Chandrakana Nandi

Artificial Intelligence · 2020

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 8 citations into it
• Computational Theory and Mathematics — 6 citations into it

Whom Chandrakana Nandi trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Leonardo de Moura
2. Nikolaj S. Bjørner
3. David Detlefs
4. Varot Premtoon

Papers from Chandrakana Nandi's perspective

Ordered by how strongly the researchers Chandrakana Nandi trusts endorse each paper. Same corpus, a different order for every researcher.

1. Simplify: a theorem prover for program checking (JACM)
2. Efficient E-Matching for SMT Solvers (CADE)
3. Equality saturation: a new approach to optimization
4. Superoptimizer: a look at the smallest program
5. Semantic code search via equational reasoning
6. Z3: An Efficient SMT Solver
7. Automatically improving accuracy for floating point expressions
8. TASO: optimizing deep learning computation with automatic generation of graph substitutions (Symposium on Operating Systems Principles)
9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Denali: a goal-directed superoptimizer

Their papers

• egg: Fast and extensible equality saturation (2020) — 295 citations