Vincent Rahli

Colleges, School and Institutes

View graph of relations

Most downloaded publications

Computability beyond Church-Turing via choice sequences
Vincent Rahli, 9 Jul 2018, LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), p. 245-254 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

58 downloads
A nominal exploration of intuitionism
Vincent Rahli, 18 Jan 2016, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2016. Association for Computing Machinery (ACM), p. 130-141 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

52 downloads
Formally verified differential dynamic logic
Vincent Rahli, 16 Jan 2017, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017. Bertot, Y. & Vafeiadis, V. (eds.). Association for Computing Machinery (ACM), p. 208-221 14 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

52 downloads
Velisarios: Byzantine fault-tolerant protocols powered by Coq
Vincent Rahli, 14 Apr 2018, Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Ahmed, A. (ed.). Springer, p. 619-650 32 p. (Lecture Notes in Computer Science; vol. 10801).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

50 downloads
Asphalion: trustworthy shielding against Byzantine faults
Vincent Rahli, 10 Oct 2019, In : Proceedings of the ACM on Programming Languages. 3, OOPSLA, 138.

Research output: Contribution to journal › Conference article

50 downloads

Recent publications

Asphalion: trustworthy shielding against Byzantine faults
Vincent Rahli, 10 Oct 2019, In : Proceedings of the ACM on Programming Languages. 3, OOPSLA, 138.

Research output: Contribution to journal › Conference article

Bar induction is compatible with constructive type theory
Vincent Rahli, 26 Apr 2019, In : Journal of the ACM. 66, 2, p. 13:1-13:35

Research output: Contribution to journal › Article

A verified theorem prover backend supported by a monotonic library
Vincent Rahli, 23 Oct 2018, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Barthe, G., Sutcliffe, G. & Veanes, M. (eds.). EasyChair Publications, p. 564-582 19 p. (EPiC Series in Computing; vol. 57).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (27)