Exequiel Rivas

29 papers A* 1A 2B 1C 3Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Misquoted No More: Securely Extracting F* Programs with IO.
CoRR
Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, Théo Winterhalter
2025 C conf
Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean.
CICM
Viviana del Barco, Gustavo Infanti, Exequiel Rivas, Paul Schwahn
2025 J jnl
Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean.
CoRR
Viviana del Barco, Gustavo Infanti, Exequiel Rivas, Paul Schwahn
2025 J jnl
SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F.
CoRR
Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
2025 J jnl
SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F.
Proc. ACM Program. Lang.
Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
2024 C conf
Concurrent monads for shared state.
PPDP
Exequiel Rivas, Tarmo Uustalu
2024 J jnl
Securing Verified IO Programs Against Unverified Code in F.
Proc. ACM Program. Lang.
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
2023 J jnl
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
ACM Trans. Program. Lang. Syst.
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
2023 J jnl
Securely Compiling Verified F* Programs With IO.
CoRR
Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
2022 B conf
Sweedler Theory of Monads.
FoSSaCS
Dylan McDermott, Exequiel Rivas, Tarmo Uustalu
2021 A conf
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
CSF
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
2021 J jnl
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
IACR Cryptol. ePrint Arch.
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
2020 J jnl
Generalized monoidal effects and handlers.
J. Funct. Program.
Ruben P. Pieters, Exequiel Rivas, Tom Schrijvers
2020 A* conf
Interaction Laws of Monads and Comonads.
LICS
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
2020 J jnl
The next 700 relational program logics.
Proc. ACM Program. Lang.
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
2019 J jnl
Dijkstra Monads for All.
CoRR
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
2019 J jnl
Dijkstra monads for all.
Proc. ACM Program. Lang.
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
2019 J jnl
Interaction laws of monads and comonads.
CoRR
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
2019 J jnl
The Next 700 Relational Program Logics.
CoRR
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
2018 J jnl
A unified view of monadic and applicative non-determinism.
Sci. Comput. Program.
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
2018 — conf
Relating Idioms, Arrows and Monads from Monoidal Adjunctions.
MSFP@FSCD
Exequiel Rivas
2017 — conf
Dioids for Computational Effects.
CLEI Selected Papers
Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff
2017 — conf
Handlers for Non-Monadic Computations.
IFL
Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas
2017 J jnl
Notions of computation as monoids.
J. Funct. Program.
Exequiel Rivas, Mauro Jaskelioff
2015 C conf
From monoids to near-semirings: the essence of MonadPlus and alternative.
PPDP
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
2015 A conf
Functional pearl: a smart view on datatypes.
ICFP
Mauro Jaskelioff, Exequiel Rivas
2014 J jnl
Notions of Computation as Monoids.
CoRR
Exequiel Rivas, Mauro Jaskelioff
2012 — conf
Secure Multi-Execution through Static Program Transformation.
FMOODS/FORTE
Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
2011 — conf
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language.
TGC
Gilles Barthe, Exequiel Rivas