• Sign in
  • Sign up
conf.researchr.org / Jean-Baptiste Tristan
  • PLDI 2018 profile
  • PLDI 2021 profile
  • PLDI 2023 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2018 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • PPoPP 2016 profile
Jean-Baptiste Tristan

Registered user since Tue 5 Sep 2017

Name:Jean-Baptiste Tristan
Country:United States
Affiliation:Amazon Web Services
Personal website:https://jtristan.github.io/
Research interests:Formal Verification, Programming Languages, Machine Learning

Contributions

PLDI 2023 Author of Verified Density Compilation for a Probabilistic Programming Language within the PLDI Research Papers-track
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
LAFI 2023 Steering Committee Member in Steering Committee within the LAFI 2023-track
LAFI 2022 Committee Member in Organizing Committee within the LAFI-track
HOPL IV Committee Member in Program Committee within the Papers-track
CPP 2021 Author of A Formal Proof of PAC Learnability for Decision Stumps within the CPP 2021-track
LAFI 2021 Session Chair of Session 1 (part of LAFI 2021)
Committee Member in Organizing Committee within the LAFI 2021-track
Session Chair of Invited talk: Vikash K. Mansinghka (part of LAFI 2021)
PLDI 2018 Committee Member in Program Committee
PPS 2018 Committee Member in Program Committee within the PPS 2018-track
PLDI 2017 Author of Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling within the PLDI Research Papers-track
PPoPP 2016 Author of Adding Approximate Counters within the Main conference-track
Committee Member in Program Committee within the Main conference-track

Share
xSun 4 Jun 03:28
using conf.researchr.org (v1.60.0)
Support page
Sign Up