E. Rivas

---

As a researcher, I'm part of Tarmo Uustalu's Logic and Semantics Group at TUT.
In the past, I held a Starting Research Position at Inria Paris (team Prosecco), part of the F* group led by Cătălin Hrițcu (now at MPI-SP).
Before that, I was a post-doc researcher in the team πr² led by Pierre-Louis Curien.
Even before that, I was a PhD student in Rosario (Argentina), under the supervision of Mauro Jaskelioff.

---

Pre-prints

• E. Rivas, M. Jaskelioff. Monads with merging.
  2019 HAL 02150199

Publications

• C.-C. Andrici, A. Pribisova, D. Ahman, C. Hritcu, E. Rivas, T. Winterhalter. Misquoted No More: Securely Extracting F* Programs with IO.
  In Proceedings of the ACM on Programming Languages archive. Volume 10 Issue ICFP. 2026 10.1145/3828689
• C.-C. Andrici, D. Ahman, C. Hritcu, R. Icleanu, G. Martínez, E. Rivas, T. Winterhalter. SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F*.
  In Proceedings of the ACM on Programming Languages archive. Volume 9 Issue ICFP. 2025 10.1145/3747522
• V. del Barco, G. Infanti, E. Rivas, P. Schwahn. Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean.
  In 18th Conference on Intelligent Computer Mathematics, CICM 2025. 2025 10.1007/978-3-032-07021-0_18
• C.-C. Andrici, S. Ciobaca, C. Hritcu, G. Martínez, E. Rivas, É. Tanter, T. Winterhalter. Securing Verified IO Programs Against Unverified Code in F*.
  In Proceedings of the ACM on Programming Languages archive. Volume 8 Issue POPL. 2024 10.1145/3632916
• E. Rivas, T. Uustalu. Concurrent monads for shared state.
  In Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024. 2024. 10.1145/3678232.3678249
• P. G. Haselwarter, E. Rivas, A. Van Muylder, T. Winterhalter, C. Abate, N. Sidorenco, C. Hritcu, K. Maillard, B. Spitters. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
  In ACM Transactions on Programming Languages and Systems. 2023 10.1145/3594735
• D. McDermott, E. Rivas, T. Uustalu. Sweedler Theory of Monads.
  In Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS. 2022 10.1007/978-3-030-99253-8_22
• C. Abate, P. G. Haselwarter, E. Rivas, A. Van Muylder, T. Winterhalter, C. Hritcu, K. Maillard, B. Spitters. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
  In 34th IEEE Computer Security Foundations Symposium, CSF 2021. 2021 10.1109/CSF51468.2021.00048 Distinguished paper!
• R. Pieters, E. Rivas, T. Schrijvers. Generalized monoidal effects and handlers.
  In Journal of Functional Programming. 2020 10.1017/S0956796820000106
• S-y. Katsumata, E. Rivas, T. Uustalu. Interaction laws of monads and comonads.
  In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. 2020 10.1145/3373718.3394808
• K. Maillard, C. Hritcu, E. Rivas, A. van Muylder. The Next 700 Relational Program Logics.
  In Proceedings of the ACM on Programming Languages archive. Volume 4 Issue POPL. 2020 10.1145/3371072
• K. Maillard, D. Ahman, R. Atkey, G. Martinez, C. Hritcu, E. Rivas, E. Tanter. Dijkstra monads for all.
  In Proceedings of the ACM on Programming Languages archive. Volume 3 Issue ICFP. 2019 10.1145/3341708
• E. Rivas. Relating Idioms, Arrows and Monads from Monoidal Adjunctions.
  In Proceedings of the 7th Workshop on Mathematically Structured Functional Programming (MSFP'18). 2018 10.4204/EPTCS.275.3
• E. Postan, E. Rivas, M. Jaskelioff. Dioids for Computational Effects.
  In XLII Latin American Computing Conference. Electronic Notes in Theoretical Computer Science, vol. 339. 2018 10.1016/j.entcs.2018.06.008
• E. Rivas, M. Jaskelioff, T. Schrijvers. A unified view of monadic and applicative non-determinism.
  In Science of Computer Programming, vol. 152. 2018 10.1016/j.scico.2017.09.007
• R. P. Pieters, T. Schrijvers, E. Rivas. Handlers for Non-Monadic Computations.
  In Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages (IFL'17). 2017 10.1145/3205368.3205372
• E. Rivas, M. Jaskelioff. Notions of computation as monoids.
  In Journal of Functional Programming, vol. 27. 2017 10.1017/S0956796817000132
• E. Rivas, M. Jaskelioff, T. Schrijvers. From monoids to near-semirings: the essence of MonadPlus and Alternative.
  In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15). 2015 10.1145/2790449.2790514
• M. Jaskelioff, E. Rivas. Functional Pearl: A Smart View on Datatypes.
  In Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (ICFP'15). 2015 10.1145/2858949.2784743
• G. Barthe, E. Rivas. Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language.
  In Trustworthy Global Computing 2011 (TGC'11). Lecture Notes in Computer Science, vol. 7173. 2012 10.1007/978-3-642-30065-3_5
• G. Barthe, J. M. Crespo, D. Devriese, F. Piessens, E. Rivas. Secure Multi-Execution through Static Program Transformation.
  In Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems (FMOODS'12/FORTE'12). Lecture Notes in Computer Science, vol. 7273. 2012 10.1007/978-3-642-30793-5_12