• Sign in
  • Sign up
conf.researchr.org / Kartik Chandra
  • POPL 2018 profile
  • SPLASH 2016 profile

Registered user since Mon 31 Oct 2016

Name:Kartik Chandra
Country:United States
Affiliation:Stanford University
Personal website: http://stanford.edu/~kach/

Contributions

2018

POPL

  • Author 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

2016

Scala

  • Author of Automatically finding Scala soundness bugs within the Scala-track
Share
xFri 20 Jun 02:20
using conf.researchr.org (v1.69.0)
Support page
Sign Up