Exequiel Rivas

According to our database, Exequiel Rivas authored at least 19 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Securing Verified IO Programs Against Unverified Code in F.

Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter

Proc. ACM Program. Lang., January, 2024

Concurrent monads for shared state.

Exequiel Rivas, Tarmo Uustalu

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

2023

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters

ACM Trans. Program. Lang. Syst., September, 2023

Securely Compiling Verified F* Programs With IO.

Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter

CoRR, 2023

2022

Sweedler Theory of Monads.

Dylan McDermott, Exequiel Rivas, Tarmo Uustalu

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters

IACR Cryptol. ePrint Arch., 2021

2020

The next 700 relational program logics.

Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder

Proc. ACM Program. Lang., 2020

Generalized monoidal effects and handlers.

Ruben P. Pieters, Exequiel Rivas, Tom Schrijvers

J. Funct. Program., 2020

Interaction Laws of Monads and Comonads.

Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Dijkstra monads for all.

Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter

Proc. ACM Program. Lang., 2019

2018

A unified view of monadic and applicative non-determinism.

Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers

Sci. Comput. Program., 2018

Relating Idioms, Arrows and Monads from Monoidal Adjunctions.

Exequiel Rivas

Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, 2018

2017

Notions of computation as monoids.

Exequiel Rivas, Mauro Jaskelioff

J. Funct. Program., 2017

Dioids for Computational Effects.

Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff

Proceedings of the XLIII Latin American Computer Conference - Selected Papers, 2017

Handlers for Non-Monadic Computations.

Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2015

From monoids to near-semirings: the essence of MonadPlus and alternative.

Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Functional pearl: a smart view on datatypes.

Mauro Jaskelioff, Exequiel Rivas

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2012

Secure Multi-Execution through Static Program Transformation.

Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language.

Gilles Barthe, Exequiel Rivas

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011