| Authenticated key-value stores supporting partial state VC Miraldo, H Carr, MP Herlihy, A Kogan, MS Moir US Patent 11,269,839, 2022 | 20 | 2022 |
| Type-directed diffing of structured data VC Miraldo, PÉ Dagand, W Swierstra Proceedings of the 2Nd ACM SIGPLAN International Workshop on Type-Driven …, 2017 | 17 | 2017 |
| Towards formal verification of hotstuff-based byzantine fault tolerant consensus in agda H Carr, C Jenkins, M Moir, VC Miraldo, L Silva NASA Formal Methods Symposium, 616-635, 2022 | 12 | 2022 |
| An efficient algorithm for type-safe structural diffing VC Miraldo, W Swierstra Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 12 | 2019 |
| “Keep definition, change category”—A practical approach to state-based system calculi JN Oliveira, VC Miraldo Journal of Logical and Algebraic Methods in Programming 85 (4), 449-474, 2016 | 11 | 2016 |
| Generic programming of all kinds A Serrano, VC Miraldo ACM SIGPLAN Notices 53 (7), 41-54, 2018 | 10 | 2018 |
| Sums of products for mutually recursive datatypes: the appropriationist’s view on generic programming VC Miraldo, A Serrano Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018 | 8 | 2018 |
| Authenticated modular maps in Haskell VC Miraldo, H Carr, A Kogan, M Moir, M Herlihy Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018 | 5 | 2018 |
| Sums of Products for Mutually Recursive Datatypes VC Miraldo, A Serrano Proceedings of the 3nd ACM SIGPLAN Workshop on Type-Driven Development (TyDe …, 2018 | 2 | 2018 |
| Structure-aware version control: A generic approach using Agda V Miraldo, W Swierstra Technical Report Series, 2017 | 2 | 2017 |
| Classes of Arbitrary Kind A Serrano, VC Miraldo Practical Aspects of Declarative Languages: 21th International Symposium …, 2019 | 1 | 2019 |
| Proofs by rewriting in Agda VC Miraldo Master’s thesis, Utrecht University and University of Minho, 2015. Submitted, 2015 | 1 | 2015 |
| Experimenting with predicate abstraction VC Miraldo, MJ Frade, C Lourenço, JS Pinto INFórum, 2013 | 1 | 2013 |
| An approach to translating Haskell programs to Agda and reasoning about them H Carr, C Jenkins, M Moir, VC Miraldo, L Silva arXiv preprint arXiv:2205.08718, 2022 | | 2022 |
| Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version H Carr, C Jenkins, M Moir, VC Miraldo, L Silva arXiv preprint arXiv:2203.14711, 2022 | | 2022 |
| Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version VC Miraldo, H Carr, M Moir, L Silva, GL Steele Jr arXiv preprint arXiv:2103.04519, 2021 | | 2021 |
| Relational Equality in the Intensional Theory of Types VC Miraldo RAMiCS 2015, 15, 2015 | | 2015 |
| SABS: Spark ABStraction-A Tutorial VC Miraldo | | 2014 |
| SPARK-BMC: Checking SPARK code for bugs CB Lourenço, VC Miraldo, MJ Frade, JS Pinto Coletânea de Comunicações do 5o Simpósio de Informática in INForum 2013, 242-253, 2013 | | 2013 |
| Interpretações do λcalculus em Redes de Interacção VC Miraldo, JS Pinto | | |
