Victor Cacciari Miraldo

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