conf.researchr.org / Kartik Chandra

Registered user since Mon 31 Oct 2016

Name: Kartik Chandra

Country: United States

Affiliation: Stanford University

Personal website: http://stanford.edu/~kach/

Contributions

POPL 2018Author of Bonsai: Synthesis-Based Reasoning for Type Systems within the Artifact Evaluation-track
Author of Bonsai: Synthesis-Based Reasoning for Type Systems within the Research Papers-track
Scala 2016Author of Automatically finding Scala soundness bugs within the Scala-track