Vincent Rahli

Colleges, School and Institutes

View graph of relations

Most downloaded publications

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

73 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

70 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 › peer-review

69 downloads
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

68 downloads
Towards a formally verified proof assistant
Vincent Rahli, Jul 2014, Interactive theorem proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Klein, G. & Gamboa, R. (eds.). Springer, Vol. 8558. p. 27-44 (Lecture Notes in Computer Science).

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

67 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 › peer-review

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 › peer-review

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)