Victor Cacciari Miraldo

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 12

Top Topics

Formal Verification

Structured And Unstructured Data

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. NFM (2022)
Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
An approach to translating Haskell programs to Agda and reasoning about them. CoRR (2022)
Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version. CoRR (2022)
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version. CoRR (2021)
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
Formal verification of authenticated, append-only skip lists in Agda. CPP (2021)
Alejandro Serrano, Victor Cacciari Miraldo
Classes of Arbitrary Kind. PADL (2019)
Victor Cacciari Miraldo, Wouter Swierstra
An efficient algorithm for type-safe structural diffing. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Alejandro Serrano, Victor Cacciari Miraldo
Generic programming of all kinds. Haskell@ICFP (2018)
Victor Cacciari Miraldo, Alejandro Serrano
Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. TyDe@ICFP (2018)
Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy
Authenticated modular maps in Haskell. TyDe@ICFP (2018)
Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra
Type-directed diffing of structured data. TyDe@ICFP (2017)
José Nuno Oliveira, Victor Cacciari Miraldo
"Keep definition, change category" - A practical approach to state-based system calculi. J. Log. Algebraic Methods Program. 85 (4) (2016)