Kartik Chandra

Identifiers

No identifiers captured yet.

Papers (3)

1. Meschers: Geometry Processing of Impossible Objects cs.GR · 2026 · author #3
2. SPoC: Search-based Pseudocode to Code cs.LG · 2019 · author #3
3. Bonsai: Synthesis-Based Reasoning for Type Systems cs.PL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alex Aiken 1 shared papers
• Ana Dodik 1 shared papers
• Isabella Yu 1 shared papers
• Jonathan Ragan-Kelley 1 shared papers
• Joshua Tenenbaum 1 shared papers
• Justin Solomon 1 shared papers
• Mina Lee 1 shared papers
• Oded Padon 1 shared papers
• Panupong Pasupat 1 shared papers
• Percy Liang 1 shared papers
• Rastislav Bodik 1 shared papers
• Sumith Kulal 1 shared papers
• Vincent Sitzmann 1 shared papers