Vincent Rahli - RankMe

46 papers A* 3A 5B 12C 2Misc 1Journal 16Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Internal Effectful Forcing in System T. FSCD Martín Hötzel Escardó, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun
2025	J	`jnl`	Internal Effectful Forcing in System T. CoRR Martín Hötzel Escardó, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun
2024	J	`jnl`	$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity. Log. Methods Comput. Sci. Liron Cohen, Vincent Rahli
2024	A	`conf`	OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments. IPDPS Jérémie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu
2024	B	`conf`	Reliable Communication in Hybrid Authentication and Trust Models. OPODIS Rowdy Chotkan, Bart Cox, Vincent Rahli, Jérémie Decouchant
2024	J	`jnl`	Reliable Communication in Hybrid Authentication and Trust Models. CoRR Rowdy Chotkan, Bart Cox, Vincent Rahli, Jérémie Decouchant
2024	A*	`conf`	Separating Markov's Principles. LICS Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli
2023	B	`conf`	Inductive Continuity via Brouwer Trees. MFCS Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun
2023	—	`conf`	Intrusion Resilience Systems for Modern Vehicles. VTC2023-Spring Ali Shoker, Vincent Rahli, Jérémie Decouchant, Paulo Esteves Veríssimo
2023	J	`jnl`	Intrusion Resilience Systems for Modern Vehicles. CoRR Ali Shoker, Vincent Rahli, Jeremie Decouchant, Paulo Esteves Veríssimo
2023	B	`conf`	Realizing Continuity Using Stateful Computations. CSL Liron Cohen, Vincent Rahli
2023	J	`jnl`	TT CoRR Liron Cohen, Vincent Rahli
2022	B	`conf`	Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. FSCD Liron Cohen, Vincent Rahli
2022	A	`conf`	DAMYSUS: streamlined BFT consensus leveraging trusted components. EuroSys Jérémie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu
2021	B	`conf`	Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. CSL Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli
2021	J	`jnl`	PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite. IEEE Trans. Parallel Distributed Syst. David Kozhaya, Jérémie Decouchant, Vincent Rahli, Paulo Esteves Veríssimo
2021	A	`conf`	Practical Byzantine Reliable Broadcast on Partially Connected Networks. ICDCS Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil
2021	J	`jnl`	Practical Byzantine Reliable Broadcast on Partially Connected Networks. CoRR Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil
2020	J	`jnl`	PISTIS: From a Word-of-Mouth to a Gentleman's Agreement. CoRR David Kozhaya, Jeremie Decouchant, Vincent Rahli, Paulo Jorge Esteves Veríssimo
2019	J	`jnl`	Asphalion: trustworthy shielding against Byzantine faults. Proc. ACM Program. Lang. Ivana Vukotic, Vincent Rahli, Paulo Jorge Esteves Veríssimo
2019	J	`jnl`	Bar Induction is Compatible with Constructive Type Theory. J. ACM Vincent Rahli, Mark Bickford, Liron Cohen, Robert L. Constable
2018	B	`conf`	A Verified Theorem Prover Backend Supported by a Monotonic Library. LPAR Vincent Rahli, Liron Cohen, Mark Bickford
2018	A*	`conf`	Computability Beyond Church-Turing via Choice Sequences. LICS Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli
2018	J	`jnl`	Validating Brouwer's continuity principle for numbers using named exceptions. Math. Struct. Comput. Sci. Vincent Rahli, Mark Bickford
2018	A	`conf`	Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. ESOP Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo
2017	A*	`conf`	Bar induction: The good, the bad, and the ugly. LICS Vincent Rahli, Mark Bickford, Robert L. Constable
2017	J	`jnl`	EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems. Sci. Comput. Program. Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
2017	B	`conf`	Formally verified differential dynamic logic. CPP Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer
2017	C	`conf`	Meeting the Challenges of Critical and Extreme Dependability and Security. PRDC Paulo Jorge Esteves Veríssimo, Marcus Völp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha
2017	J	`jnl`	Skalpel: A constraint-based type error slicer for Standard ML. J. Symb. Comput. Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
2016	B	`conf`	A nominal exploration of intuitionism. CPP Vincent Rahli, Mark Bickford
2016	—	`conf`	Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. SysTEX@Middleware Marcus Völp, Adam Lackorzynski, Jérémie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Veríssimo
2016	—	`conf`	Exercising Nuprl's Open-Endedness. ICMS Vincent Rahli
2015	J	`jnl`	Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
2014	—	`conf`	A Generic Approach to Proofs about Substitution. LFMTP Abhishek Anand, Vincent Rahli
2014	A	`conf`	Developing Correctly Replicated Databases Using Formal Tools. DSN Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable
2014	—	`conf`	Skalpel: A Type Error Slicer for Standard ML. LSFA Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
2014	B	`conf`	Towards a Formally Verified Proof Assistant. ITP Abhishek Anand, Vincent Rahli
2013	B	`conf`	Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types. ITP Vincent Rahli, Mark Bickford, Abhishek Anand
2012	B	`conf`	A diversified and correct-by-construction broadcast service. ICNP Vincent Rahli, Nicolas Schiper, Robbert van Renesse, Mark Bickford, Robert L. Constable
2012	J	`jnl`	On Realisability Semantics for Intersection Types with Expansion Variables. Fundam. Informaticae Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
2012	J	`jnl`	Reducibility Proofs in the λ-Calculus. Fundam. Informaticae Fairouz Kamareddine, Vincent Rahli, J. B. Wells
2012	—	`conf`	ShadowDB: A Replicated Database on a Synthesized Consensus Core. HotDep Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable
2008	C	`conf`	A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. ICTAC Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
2008	—	`conf`	Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. LSFA Fairouz Kamareddine, Vincent Rahli
2007	Misc	`conf`	Uniform Circuits, & Boolean Proof Nets. LFCS Virgile Mogbil, Vincent Rahli