Jean-Baptiste Jeannin

Not registered as user yet

Name:Jean-Baptiste Jeannin
Country:United States
Affiliation:University of Michigan at Ann Arbor

Contributions

ICSE 2023 Author of How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms within the Technical Track-track
FTSCS 2022 Author of Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS within the Formal Techniques for Safety-Critical Systems-track
Author of Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation within the Formal Techniques for Safety-Critical Systems-track
ML 2019 Author of Programming with Rational Coinductive Streams within the ML 2019-track
VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
Onward! 2017 Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track
SPLASH 2016 Author of Type Inference for Static Compilation of JavaScript within the OOPSLA-track
JSTools 2016 Author of Sound Type Inference for JavaScript within the JSTools-track
VORTEX 2016 Author of Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System within the VORTEX-track
Committee Member in Program Committee within the VORTEX-track
PLDI 2016 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Artifact Evaluation Committee
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track