• Sign in
  • Sign up
conf.researchr.org / Kartik Chandra
  • POPL 2025 profile
Kartik Chandra

Registered user since Fri 6 Dec 2024

Name:Kartik Chandra
Country:United States
Affiliation:MIT
Personal website: http://cs.stanford.edu/~kach
X (Twitter): https://x.com/_k_a_c_h_
GitHub: https://github.com/kach

Contributions

2025

LAFI

  • Author of A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo) within the LAFI 2025-track
  • Author of Semantics of the memo Probabilistic Programming Language within the LAFI 2025-track
Share
xSun 25 May 12:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up