Vincent Rahli

According to our database, Vincent Rahli authored at least 37 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

TT^☐_C: a Family of Extensional Type Theories with Effectful Realizers of Continuity.

Liron Cohen, Vincent Rahli

CoRR, 2023

Intrusion Resilience Systems for Modern Vehicles.

Ali Shoker, Vincent Rahli, Jérémie Decouchant, Paulo Esteves Veríssimo

Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

Inductive Continuity via Brouwer Trees.

Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Realizing Continuity Using Stateful Computations.

Liron Cohen, Vincent Rahli

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Constructing Unprejudiced Extensional Type Theories with Choices via Modalities.

Liron Cohen, Vincent Rahli

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

DAMYSUS: streamlined BFT consensus leveraging trusted components.

Jérémie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

2021

PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite.

David Kozhaya, Jérémie Decouchant, Vincent Rahli, Paulo Esteves Veríssimo

IEEE Trans. Parallel Distributed Syst., 2021

Practical Byzantine Reliable Broadcast on Partially Connected Networks.

Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle.

Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

PISTIS: From a Word-of-Mouth to a Gentleman's Agreement.

David Kozhaya, Jeremie Decouchant, Vincent Rahli, Paulo Jorge Esteves Veríssimo

CoRR, 2020

2019

Asphalion: trustworthy shielding against Byzantine faults.

Ivana Vukotic, Vincent Rahli, Paulo Jorge Esteves Veríssimo

Proc. ACM Program. Lang., 2019

Bar Induction is Compatible with Constructive Type Theory.

Vincent Rahli, Mark Bickford, Liron Cohen, Robert L. Constable

J. ACM, 2019

2018

Validating Brouwer's continuity principle for numbers using named exceptions.

Vincent Rahli, Mark Bickford

Math. Struct. Comput. Sci., 2018

A Verified Theorem Prover Backend Supported by a Monotonic Library.

Vincent Rahli, Liron Cohen, Mark Bickford

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Computability Beyond Church-Turing via Choice Sequences.

Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq.

Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo

Proceedings of the Programming Languages and Systems, 2018

2017

EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems.

Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable

Sci. Comput. Program., 2017

Skalpel: A constraint-based type error slicer for Standard ML.

Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine

J. Symb. Comput., 2017

Meeting the Challenges of Critical and Extreme Dependability and Security.

Paulo Jorge Esteves Veríssimo, Marcus Völp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Bar induction: The good, the bad, and the ugly.

Vincent Rahli, Mark Bickford, Robert L. Constable

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Formally verified differential dynamic logic.

Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control.

Marcus Völp, Adam Lackorzynski, Jérémie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Veríssimo

Proceedings of the 1st Workshop on System Software for Trusted Execution, 2016

Exercising Nuprl's Open-Endedness.

Vincent Rahli

Proceedings of the Mathematical Software - ICMS 2016, 2016

A nominal exploration of intuitionism.

Vincent Rahli, Mark Bickford

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML.

Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

2014

Skalpel: A Type Error Slicer for Standard ML.

Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

A Generic Approach to Proofs about Substitution.

Abhishek Anand, Vincent Rahli

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

Towards a Formally Verified Proof Assistant.

Abhishek Anand, Vincent Rahli

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Developing Correctly Replicated Databases Using Formal Tools.

Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types.

Vincent Rahli, Mark Bickford, Abhishek Anand

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Reducibility Proofs in the λ-Calculus.

Fairouz Kamareddine, Vincent Rahli, J. B. Wells

Fundam. Informaticae, 2012

On Realisability Semantics for Intersection Types with Expansion Variables.

Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells

Fundam. Informaticae, 2012

A diversified and correct-by-construction broadcast service.

Vincent Rahli, Nicolas Schiper, Robbert van Renesse, Mark Bickford, Robert L. Constable

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

ShadowDB: A Replicated Database on a Synthesized Consensus Core.

Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

2008

Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction.

Fairouz Kamareddine, Vincent Rahli

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.

Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Uniform Circuits, & Boolean Proof Nets.

Virgile Mogbil, Vincent Rahli

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007