# Vincent Rahli

Orcid: 0000-0002-5914-8224
According to our database

Collaborative distances:

^{1}, Vincent Rahli authored at least 40 papers between 2007 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity.

Log. Methods Comput. Sci., 2024

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments.

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

2023

TT<sup>☐</sup><sub>C</sub>: a Family of Extensional Type Theories with Effectful Realizers of Continuity.

CoRR, 2023

Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

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

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

2022

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

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

2021

IEEE Trans. Parallel Distributed Syst., 2021

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

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

2020

CoRR, 2020

2019

Proc. ACM Program. Lang., 2019

J. ACM, 2019

2018

Math. Struct. Comput. Sci., 2018

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

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

Proceedings of the Programming Languages and Systems, 2018

2017

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

Sci. Comput. Program., 2017

J. Symb. Comput., 2017

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

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

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

2016

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

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

Proceedings of the Mathematical Software - ICMS 2016, 2016

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.

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

2014

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

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

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

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.

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

2012

Fundam. Informaticae, 2012

Fundam. Informaticae, 2012

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

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

2008

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

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

Proceedings of the Theoretical Aspects of Computing, 2008

2007

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