Vincent Rahli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
20
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | tptl-dist: A Calculus for Verifying Real-Time Distributed Systems. | Javier Enrquez Mendoza, Sam Speight, Vincent Rahli |
| 2026 | NDSS | Pallas and Aegis: Rollback Resilience in TEE-Aided Blockchain Consensus. | Jrmie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu |
| 2025 | FSCD | Internal Effectful Forcing in System T. | Martn Htzel Escard, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun |
| 2024 | LICS | Separating Markov's Principles. | Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli |
| 2024 | OPODIS | Reliable Communication in Hybrid Authentication and Trust Models. | Rowdy Chotkan, Bart Cox, Vincent Rahli, Jrmie Decouchant |
| 2023 | CSL | Realizing Continuity Using Stateful Computations. | Liron Cohen, Vincent Rahli |
| 2023 | MFCS | Inductive Continuity via Brouwer Trees. | Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun |
| 2023 | VTC | Intrusion Resilience Systems for Modern Vehicles. | Ali Shoker, Vincent Rahli, Jrmie Decouchant, Paulo Esteves Verssimo |
| 2022 | EuroSys | DAMYSUS: streamlined BFT consensus leveraging trusted components. | Jrmie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu |
| 2022 | FSCD | Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. | Liron Cohen, Vincent Rahli |
| 2021 | CSL | Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. | Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli |
| 2021 | ICDCS | Practical Byzantine Reliable Broadcast on Partially Connected Networks. | Silvia Bonomi, Jrmie Decouchant, Giovanni Farina, Vincent Rahli, Sbastien Tixeuil |
| 2018 | ESOP | Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. | Vincent Rahli, Ivana Vukotic, Marcus Vlp, Paulo Jorge Esteves Verssimo |
| 2018 | LICS | Computability Beyond Church-Turing via Choice Sequences. | Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli |
| 2018 | LPAR | A Verified Theorem Prover Backend Supported by a Monotonic Library. | Vincent Rahli, Liron Cohen, Mark Bickford |
| 2017 | CPP | Formally verified differential dynamic logic. | Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Vlp, Andr Platzer |
| 2017 | LICS | Bar induction: The good, the bad, and the ugly. | Vincent Rahli, Mark Bickford, Robert L. Constable |
| 2017 | PRDC | Meeting the Challenges of Critical and Extreme Dependability and Security. | Paulo Jorge Esteves Verssimo, Marcus Vlp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha |
| 2016 | CPP | A nominal exploration of intuitionism. | Vincent Rahli, Mark Bickford |
| 2016 | Middleware | Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. | Marcus Vlp, Adam Lackorzynski, Jrmie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Verssimo |
| 2014 | DSN | Developing Correctly Replicated Databases Using Formal Tools. | Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable |
| 2014 | ITP | Towards a Formally Verified Proof Assistant. | Abhishek Anand, Vincent Rahli |
| 2013 | ITP | Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types. | Vincent Rahli, Mark Bickford, Abhishek Anand |
| 2012 | ICNP | A diversified and correct-by-construction broadcast service. | Vincent Rahli, Nicolas Schiper, Robbert van Renesse, Mark Bickford, Robert L. Constable |
| 2008 | ICTAC | A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
| 2007 | LFCS | Uniform Circuits, & Boolean Proof Nets. | Virgile Mogbil, Vincent Rahli |