Victor Cacciari Miraldo

According to our database, Victor Cacciari Miraldo authored at least 12 papers between 2016 and 2022.

Collaborative distances:

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

2022

An approach to translating Haskell programs to Agda and reasoning about them.

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

CoRR, 2022

Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.

Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

CoRR, 2022

Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda.

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

CoRR, 2021

Formal verification of authenticated, append-only skip lists in Agda.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2019

An efficient algorithm for type-safe structural diffing.

Victor Cacciari Miraldo, Wouter Swierstra

Proc. ACM Program. Lang., 2019

Classes of Arbitrary Kind.

Alejandro Serrano, Victor Cacciari Miraldo

Proceedings of the Practical Aspects of Declarative Languages, 2019

2018

Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming.

Victor Cacciari Miraldo, Alejandro Serrano

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

Authenticated modular maps in Haskell.

Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

Generic programming of all kinds.

Alejandro Serrano, Victor Cacciari Miraldo

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

Type-directed diffing of structured data.

Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra

Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017

2016

"Keep definition, change category" - A practical approach to state-based system calculi.

José Nuno Oliveira, Victor Cacciari Miraldo

J. Log. Algebraic Methods Program., 2016