Jean-Baptiste Jeannin

Identifiers

• name variant Jean-Baptiste Jeannin 0.60 · backfill

Papers (4)

1. Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types cs.PL · 2026 · author #4
2. Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities cs.LO · 2026 · author #4
3. Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions cs.SY · 2019 · author #3
4. Type Inference for Static Compilation of JavaScript (Extended Version) cs.PL · 2016 · author #3

Mentions

• 1903.00762 #3 · arxiv_oai · confidence 0.70 Jean-Baptiste Jeannin

Frequent Coauthors

• Jiawei Chen 2 shared papers
• Cole Schlesinger 1 shared papers
• Colin S. Gordon 1 shared papers
• Frank Tip 1 shared papers
• Hongfei Fu 1 shared papers
• Kyle D. Julian 1 shared papers
• Manu Sridharan 1 shared papers
• Marc Pouzet 1 shared papers
• Mykel J. Kochenderfer 1 shared papers
• Satish Chandra 1 shared papers
• Serra Z. Dane 1 shared papers
• Shivam Sharma 1 shared papers
• Yichen Tao 1 shared papers
• Youngil Choi 1 shared papers