• 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
xMon 22 Sep 15:00
using conf.researchr.org (v1.71.1)
Support page
Sign Up