Jean-Baptiste Jeannin -

Not registered as user yet

Name:Jean-Baptiste Jeannin

Country:United States

Affiliation:University of Michigan at Ann Arbor

Personal website:https://aero.engin.umich.edu/people/jean-baptiste-jeannin/

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