pith. sign in

M\'ario Pereira

Identifiers

  • name variant M\'ario Pereira 0.60 · backfill

Papers (9)

  1. A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version) cs.LO · 2023 · author #2
  2. Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version) cs.LO · 2022 · author #2
  3. Auto-active Verification of Graph Algorithms, Written in OCaml cs.LO · 2022 · author #2
  4. Cameleer: a Deductive Verification Tool for OCaml (extended version) cs.LO · 2021 · author #1
  5. CISE3: Verifying Weakly Consistent Applications with Why3 cs.PL · 2020 · author #2
  6. WhylSon: Proving your Michelson Smart Contracts in Why3 cs.PL · 2020 · author #3
  7. Animated Logic: Correct Functional Conversion to Conjunctive Normal Form cs.LO · 2020 · author #2
  8. CISE3: Verifica\c{c}\~ao de aplica\c{c}\~oes com consist\^encia fraca em Why3 cs.PL · 2019 · author #2
  9. Desfuncionalizar para Provar cs.LO · 2019 · author #1

Mentions

  • 2302.01265 #2 · arxiv_oai · confidence 0.70 M\'ario Pereira
  • 2212.02425 #2 · arxiv_oai · confidence 0.70 M\'ario Pereira
  • 2207.09854 #2 · arxiv_oai · confidence 0.70 M\'ario Pereira
  • 2104.11050 #1 · arxiv_oai · confidence 0.70 M\'ario Pereira
  • 2010.06622 #2 · arxiv_oai · confidence 0.70 M\'ario Pereira
  • 2005.14650 #3 · arxiv_oai · confidence 0.70 M\'ario Pereira
  • 2003.05081 #2 · arxiv_oai · confidence 0.70 M\'ario Pereira
  • 1909.03721 #2 · arxiv_oai · confidence 0.70 M\'ario Pereira
  • 1905.08368 #1 · arxiv_oai · confidence 0.70 M\'ario Pereira

Frequent Coauthors