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