Exequiel Rivas

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 20

Top Topics

Datalog Queries

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
Securing Verified IO Programs Against Unverified Code in F. Proc. ACM Program. Lang. 8 (POPL) (2024)
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
Securely Compiling Verified F* Programs With IO. CoRR (2023)
Dylan McDermott, Exequiel Rivas, Tarmo Uustalu
Sweedler Theory of Monads. FoSSaCS (2022)
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. IACR Cryptol. ePrint Arch. 2021 (2021)
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. CSF (2021)
Ruben P. Pieters, Exequiel Rivas, Tom Schrijvers
Generalized monoidal effects and handlers. J. Funct. Program. 30 (2020)
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
Interaction Laws of Monads and Comonads. LICS (2020)
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
The next 700 relational program logics. Proc. ACM Program. Lang. 4 (POPL) (2020)
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
The Next 700 Relational Program Logics. CoRR (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra monads for all. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra Monads for All. CoRR (2019)
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
Interaction laws of monads and comonads. CoRR (2019)
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
A unified view of monadic and applicative non-determinism. Sci. Comput. Program. 152 (2018)
Exequiel Rivas
Relating Idioms, Arrows and Monads from Monoidal Adjunctions. MSFP@FSCD (2018)
Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff
Dioids for Computational Effects. CLEI Selected Papers (2017)
Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas
Handlers for Non-Monadic Computations. IFL (2017)
Exequiel Rivas, Mauro Jaskelioff
Notions of computation as monoids. J. Funct. Program. 27 (2017)
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
From monoids to near-semirings: the essence of MonadPlus and alternative. PPDP (2015)
Mauro Jaskelioff, Exequiel Rivas
Functional pearl: a smart view on datatypes. ICFP (2015)
Exequiel Rivas, Mauro Jaskelioff
Notions of Computation as Monoids. CoRR (2014)
Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
Secure Multi-Execution through Static Program Transformation. FMOODS/FORTE (2012)
Gilles Barthe, Exequiel Rivas
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language. TGC (2011)