Jean-Baptiste Jeannin

62 papers A* 6A 6B 4C 4Misc 3Journal 24Unranked 14
YearRankTypeTitle / Venue / Authors
2024 — conf
Formalization of Asymptotic Convergence for Stationary Iterative Methods.
NFM
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
2024 — conf
Formally verified asymptotic consensus in robust networks.
TACAS (1)
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
2024 J jnl
Synchronous Programming with Refinement Types.
CoRR
Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin
2024 J jnl
Synchronous Programming with Refinement Types.
Proc. ACM Program. Lang.
Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin
2023 J jnl
Falsification of a Vision-based Automatic Landing System.
CoRR
Sara Shoouri, Shayan Jalili, Jiahong Xu, Isabelle Gallagher, Yuhao Zhang, Joshua Wilhelm, Necmiye Ozay, Jean-Baptiste Jeannin
2023 A* conf
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms.
ICSE
Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer
2023 A* conf
Security Verification of Low-Trust Architectures.
CCS
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin
2023 J jnl
Security Verification of Low-Trust Architectures.
CoRR
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin
2023 C conf
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.
CICM
Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin
2022 J jnl
A Concurrent Switching Model for Traffic Congestion Control.
CoRR
Hossein Rastgoftar, Xun Liu, Jean-Baptiste Jeannin
2022 B conf
Automating Geometric Proofs of Collision Avoidance with Active Corners.
FMCAD
Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin
2022 J jnl
Automating Geometric Proofs of Collision Avoidance with Active Corners.
CoRR
Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin
2022 B conf
Dandelion: Certified Approximations of Elementary Functions.
ITP
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
2022 J jnl
Dandelion: Certified Approximations of Elementary Functions.
CoRR
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
2022 J jnl
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
2022 J jnl
Efficient Backward Reachability using the Minkowski Difference of Constrained Zonotopes.
CoRR
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
2022 J jnl
Formal verification of iterative convergence of numerical algorithms.
CoRR
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
2022 J jnl
Formally verified asymptotic consensus in robust networks.
CoRR
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
2022 — conf
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems.
USENIX ATC
Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci
2022 — conf
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation.
FTSCS
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, Jean-Baptiste Jeannin
2022 J jnl
Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning.
IEEE Micro
Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Jean-Baptiste Jeannin, Westley Weimer
2022 — conf
Towards Verified Rounding Error Analysis for Stationary Iterative Methods.
Correctness@SC
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette
2022 A conf
Twine: A Chisel Extension for Component-Level Heterogeneous Design.
DATE
Shibo Chen, Yonathan Fisseha, Jean-Baptiste Jeannin, Todd M. Austin
2022 Misc conf
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic.
EMSOFT
Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras
2021 — conf
A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes.
NFM
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin
2021 C conf
A Physics-Based Finite-State Abstraction for Traffic Congestion Control.
ACC
Hossein Rastgoftar, Jean-Baptiste Jeannin
2021 J jnl
A Physics-Based Finite-State Abstraction for Traffic Congestion Control.
CoRR
Hossein Rastgoftar, Jean-Baptiste Jeannin
2021 J jnl
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report.
CoRR
Hammad Ahmad, Jean-Baptiste Jeannin
2021 J jnl
A formal proof of the Lax equivalence theorem for finite difference schemes.
CoRR
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin
2021 — conf
A program logic to verify signal temporal logic specifications of hybrid systems.
HSCC
Hammad Ahmad, Jean-Baptiste Jeannin
2020 A* conf
Accelerating Legacy String Kernels via Bounded Automata Learning.
ASPLOS
Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer
2020 C conf
Formal Verification of Swerving Maneuvers for Car Collision Avoidance.
ACC
Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin
2020 — conf
Formal verification of braking while swerving in automobiles.
HSCC
Aakash Abhishek, Harry Sood, Jean-Baptiste Jeannin
2020 J jnl
Grand Challenges for Embedded Security Research in a Connected World.
CoRR
Wayne P. Burleson, Kevin Fu, Denise L. Anthony, Jorge Guajardo, Carl A. Gunter, Kyle Ingols, Jean-Baptiste Jeannin, Farinaz Koushanfar, Carl E. Landwehr, Susan Squires
2019 C conf
Formal Specification of Continuum Deformation Coordination.
ACC
Hossein Rastgoftar, Jean-Baptiste Jeannin, Ella M. Atkins
2019 J jnl
Formal Specification of Continuum Deformation Coordination.
CoRR
Hossein Rastgoftar, Jean-Baptiste Jeannin, Ella M. Atkins
2019 A* conf
I4: incremental inference of inductive invariants for verification of distributed protocols.
SOSP
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
2019 A conf
Towards Automatic Inference of Inductive Invariants.
HotOS
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
2019 J jnl
Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions.
CoRR
Kyle D. Julian, Shivam Sharma, Jean-Baptiste Jeannin, Mykel J. Kochenderfer
2017 J jnl
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.
Int. J. Softw. Tools Technol. Transf.
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
2017 J jnl
CoCaml: Functional Programming with Regular Coinductive Types.
Fundam. Informaticae
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
2017 Misc conf
Correct by Construction Networks Using Stepwise Refinement.
NSDI
Leonid Ryzhyk, Nikolaj S. Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese
2017 — conf
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.
CAV (2)
Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin T. Vechev
2017 — conf
Fission: Secure Dynamic Code-Splitting for JavaScript.
SNAPL
Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh
2017 B conf
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.
ITP
Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin
2017 — conf
I¿¿¿: a calculus for internet of things automation.
Onward!
Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan
2017 J jnl
Well-founded coalgebras, revisited.
Math. Struct. Comput. Sci.
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
2016 J jnl
Type Inference for Static Compilation of JavaScript (Extended Version).
CoRR
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
2016 A conf
Type inference for static compilation of JavaScript.
OOPSLA
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
2015 A conf
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.
TACAS
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2015 Misc conf
Formal verification of ACAS X, an industrial airborne collision avoidance system.
EMSOFT
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2014 J jnl
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges.
J. Aerosp. Inf. Syst.
Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell
2014 A* conf
NetkAT: semantic foundations for networks.
POPL
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
2014 A conf
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems.
IJCAR
Jean-Baptiste Jeannin, André Platzer
2013 — —
Capsules and Non-Well-Founded Computation.
Jean-Baptiste Jeannin
2013 A conf
Language Constructs for Non-Well-Founded Computation.
ESOP
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
2013 — conf
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.
ESSoS
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy
2012 — conf
Capsules and Closures: A Small-Step Approach.
Logic and Program Semantics
Jean-Baptiste Jeannin
2012 A* conf
Capsules and Separation.
LICS
Jean-Baptiste Jeannin, Dexter Kozen
2012 — conf
Computing with Capsules.
DCFS
Jean-Baptiste Jeannin, Dexter Kozen
2012 J jnl
Computing with Capsules.
J. Autom. Lang. Comb.
Jean-Baptiste Jeannin, Dexter Kozen
2011 B conf
Capsules and Closures.
MFPS
Jean-Baptiste Jeannin