No photo of Vincent Rahli

View Scopus Profile

Vincent Rahli

Dr.

20072024

Research activity per year

  • 23 Conference contribution
  • 10 Article
  • 2 Conference article
Filter
Conference contribution

Search results

  • 2024

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

    Decouchant, J., Kozhaya, D., Rahli, V. & Yu, J., 30 Jan 2024, (Accepted/In press) 2024 IEEE International Symposium on Parallel and Distributed Processing (IPDPS). IEEE, (International Symposium on Parallel and Distributed Processing (IPDPS)).

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

  • 2023

    Inductive Continuity via Brouwer Trees

    Cohen, L., Da Rocha Paiva, B., Rahli, V. & Tosun, A., 21 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl, p. 37:1-37:16 16 p. (Leibniz International Proceedings in Informatics; vol. 272).

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

    Open Access
    File
    3 Downloads (Pure)

  • Realizing Continuity Using Stateful Computations

    Cohen, L. & Rahli, V., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl, p. 15:1-15:18 18 p. (Leibniz International Proceedings in Informatics; vol. 252).

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

    Open Access
    File
    10 Downloads (Pure)
  • 2022

    Constructing unprejudiced extensional type theories with choices via modalities

    Cohen, L. & Rahli, V., 30 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Felty, A. P. (ed.). Schloss Dagstuhl, 23 p. 10. (Leibniz International Proceedings in Informatics; vol. 228).

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

    Open Access
    File
    38 Downloads (Pure)

  • Damysus: streamlined BFT consensus leveraging trusted components

    Decouchant, J., Kozhaya, D., Rahli, V. & Yu, J., 28 Mar 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems: Proceedings of the Seventeenth European Conference on Computer Systems. Association for Computing Machinery (ACM), p. 1-16 16 p.

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

    Open Access
    File
    69 Downloads (Pure)
  • 2021

    Practical Byzantine reliable broadcast on partially connected networks

    Bonomi, S., Decouchant, J., Farina, G., Rahli, V. & Tixeuil, S., 4 Oct 2021, 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS). IEEE, p. 506-516 11 p. 9546451. (Proceedings of the International Conference on Distributed Computing Systems).

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

    Open Access
    File
    84 Downloads (Pure)
  • 2018

    A verified theorem prover backend supported by a monotonic library

    Rahli, V., Cohen, L. & Bickford, M., 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

    Open Access
    File
    2 Citations (Scopus)
    140 Downloads (Pure)

  • Computability beyond Church-Turing via choice sequences

    Bickford, M., Cohen, L., Constable, R. L. & Rahli, V., 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

    Open Access
    File
    3 Citations (Scopus)
    187 Downloads (Pure)

  • Velisarios: Byzantine fault-tolerant protocols powered by Coq

    Rahli, V., Vukotic, I., Völp, M. & Veríssimo, P. J. E., 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

    Open Access
    File
    8 Citations (Scopus)
    218 Downloads (Pure)
  • 2017

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

    Rahli, V., Bickford, M. & Constable, R. L., 18 Aug 2017, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers (IEEE)

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

    5 Citations (Scopus)

  • Formally verified differential dynamic logic

    Bohrer, B., Rahli, V., Vukotic, I., Völp, M. & Platzer, A., 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

    Open Access
    File
    24 Citations (Scopus)
    136 Downloads (Pure)

  • Meeting the challenges of critical and extreme dependability and security

    Veríssimo, P. J. E., Völp, M., Decouchant, J., Rahli, V. & Rocha, F., 8 May 2017, 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017. Kim, D. S., Kitakami, M. & Varadharajan, V. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 92-97 6 p.

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

    1 Citation (Scopus)
  • 2016

    A nominal exploration of intuitionism

    Rahli, V. & Bickford, M., 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

    Open Access
    File
    13 Citations (Scopus)
    225 Downloads (Pure)

  • Avoiding leakage and synchronization attacks through enclave-side preemption control

    Völp, M., Lackorzynski, A., Decouchant, J., Rahli, V., Rocha, F. & Veríssimo, P. J. E., 12 Dec 2016, Proceedings of the 1st Workshop on System Software for Trusted Execution, SysTEX@Middleware 2016, Trento, Italy, December 12, 2016. Association for Computing Machinery (ACM), p. 6:1-6:6 6

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

    4 Citations (Scopus)

  • Exercising Nuprl's open-endedness

    Rahli, V., 6 Jul 2016, Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer, p. 18-27 10 p. (Lecture Notes in Computer Science; vol. 9725).

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

    Open Access
    File
    2 Citations (Scopus)
    166 Downloads (Pure)
  • 2014

    A generic approach to proofs about substitution

    Anand, A. & Rahli, V., 17 Jul 2014, Proceedings of LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, Vienna, Austria, July 17, 2014. Association for Computing Machinery (ACM), 5

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

  • Developing correctly replicated databases using formal tools

    Schiper, N., Rahli, V., Renesse, R. V., Bickford, M. & Constable, R. L., 23 Jun 2014, 2014 44th Annual IEEE/IFIP international conference on dependable systems and networks (proceedings) . Institute of Electrical and Electronics Engineers (IEEE), p. 395-406 12 p. (Annual IEEE/IFIP International Conference on Dependable Systems and Networks).

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

    Open Access
    File
    23 Citations (Scopus)
    183 Downloads (Pure)

  • Towards a formally verified proof assistant

    Anand, A. & Rahli, V., 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

    Open Access
    File
    17 Citations (Scopus)
    191 Downloads (Pure)
  • 2013

    Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types

    Rahli, V., Bickford, M. & Anand, A., 2013, Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. p. 261-278 18 p.

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

    9 Citations (Scopus)
  • 2012

    A diversified and correct-by-construction broadcast service

    Rahli, V., Schiper, N., Renesse, R. V., Bickford, M. & Constable, R. L., 2012, 20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012. p. 1-6 6 p.

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

    4 Citations (Scopus)

  • ShadowDB: A Replicated Database on a Synthesized Consensus Core

    Schiper, N., Rahli, V., Renesse, R. V., Bickford, M. & Constable, R. L., 2012, Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012.

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

    5 Citations (Scopus)
  • 2008

    A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables

    Kamareddine, F., Nour, K., Rahli, V. & Wells, J. B., 2008, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. p. 171-185 15 p.

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

  • 2007

    Uniform Circuits, Boolean Proof Nets

    Mogbil, V. & Rahli, V., 2007, Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. p. 401-421 21 p.

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

    5 Citations (Scopus)