Mário Pereira

33 papers B 2C 1Misc 1Journal 16Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
Towards Local-First Distributed Property Graphs.
PaPoC@EuroSys
Ayush Pandey, Stefania Dumbrava, Marc Shapiro, Carla Ferreira, Mário Pereira, Nuno M. Preguiça
2025 B conf
Unfolding Iterators: Specification and Verification of Higher-Order Iterators in OCaml.
iFM
Ion Chirica, Mário Pereira
2025 J jnl
Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml.
CoRR
Ion Chirica, Mário Pereira
2024 J jnl
Le chameau et le serpent rentrent dans un bar : vérification quasi-automatique de code OCaml en logique de séparation.
CoRR
Charlène Gros, Mário Pereira
2024 — conf
Practical Deductive Verification of OCaml Programs.
FM (2)
Mário Pereira
2024 J jnl
Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version).
CoRR
Tiago Lopes Soares, Ion Chirica, Mário Pereira
2024 — conf
Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem.
ISoLA (3)
Tiago Lopes Soares, Ion Chirica, Mário Pereira
2024 J jnl
The Theory and Practice of Deductive Verification of OCaml Programs.
CoRR
Mário Pereira
2023 J jnl
A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version).
CoRR
Tiago Soares, Mário Pereira
2023 J jnl
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.
Proc. ACM Program. Lang.
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal
2022 J jnl
Auto-active Verification of Graph Algorithms, Written in OCaml.
CoRR
Daniel Castanho, Mário Pereira
2022 — conf
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable.
VSTTE
Pedro Barroso, Mário Pereira, António Ravara
2022 J jnl
Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version).
CoRR
Pedro Barroso, Mário Pereira, António Ravara
2021 J jnl
A coordination-free, convergent, and safe replicated tree.
CoRR
Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro
2021 — conf
Cameleer: A Deductive Verification Tool for OCaml.
CAV (2)
Mário Pereira, António Ravara
2021 J jnl
Cameleer: a Deductive Verification Tool for OCaml.
CoRR
Mário Pereira, António Ravara
2021 — ed.
SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021
SBLP
Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collereii, João Paulo Fernandes, Mário Pereira
2020 — conf
A tool for proving Michelson Smart Contracts in WHY3
Blockchain
Luís Pedro Arrojado da Horta, João Santos Reis, Simão Melo de Sousa, Mário Pereira
2020 — conf
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.
PAAR+SC²@IJCAR
Pedro Barroso, Mário Pereira, António Ravara
2020 J jnl
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.
CoRR
Pedro Barroso, Mário Pereira, António Ravara
2020 J jnl
CISE3: Verifying Weakly Consistent Applications with Why3.
CoRR
Filipe Meirim, Mário Pereira, Carla Ferreira
2020 J jnl
WhylSon: Proving your Michelson Smart Contracts in Why3.
CoRR
Luís Pedro Arrojado da Horta, João Santos Reis, Mário Pereira, Simão Melo de Sousa
2019 J jnl
CISE3: Verificação de aplicações com consistência fraca em Why3.
CoRR
Filipe Meirim, Mário Pereira, Carla Ferreira
2019 J jnl
Desfuncionalizar para Provar.
CoRR
Mário Pereira
2019 B conf
GOSPEL - Providing OCaml with a Formal Specification Language.
FM
Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira
2019 C conf
GameAAL - an AAL solution based on Gamification and Machine Learning Techniques.
CIBCB
Marta Pinto, Mário Pereira, Diana Raposo, Marco Simões, Miguel Castelo-Branco
2018 J jnl
The Matrix Reproved (Verification Pearl).
J. Autom. Reason.
Martin Clochard, Léon Gondelman, Mário Pereira
2016 — conf
A Modular Way to Reason About Iteration.
NFM
Jean-Christophe Filliâtre, Mário Pereira
2016 — conf
Producing All Ideals of a Forest, Formally (Verification Pearl).
VSTTE
Jean-Christophe Filliâtre, Mário Pereira
2016 — conf
The Matrix Reproved (Verification Pearl).
VSTTE
Martin Clochard, Léon Gondelman, Mário Pereira
2015 — conf
Evaluation of Underwater IEEE 802.11 Networks at VHF and UHF Frequency Bands using Software Defined Radios.
WUWNet
Filipe Teixeira, José Santos, Luís M. Pessoa, Mário Pereira, Rui Campos, Manuel Ricardo
2014 Misc conf
Complexity checking of ARM programs, by deduction.
SAC
Mário Pereira, Simão Melo de Sousa
2014 — conf
Liquid Intersection Types.
ITRS
Mário Pereira, Sandra Alves, Mário Florido