• Sign in
  • Sign up
conf.researchr.org / Rafael Menezes
  • FSE 2025 profile
  • ISSTA 2022 profile
  • ISSTA/ECOOP 2024 profile
  • POPL 2024 profile
Rafael Menezes

Registered user since Tue 21 Jun 2022

Name:Rafael Menezes
Country:United Kingdom
Affiliation:University of Manchester
GitHub: https://github.com/rafaelsamenezes
Research interests:Software Model Checking, Automated Reasoning, Test-case generation

Contributions

2025

ESEC/FSE

  • Author of VO-GCSE: Verification Optimization through Global Common Subexpression Elimination within the Demonstrations-track

2024

ECOOP/ISSTA

  • Author of ESBMC-Python: A Bounded Model Checker for Python Programs within the Tool Demonstrations-track

POCL

  • Author of ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC within the POCL 2024-track

2022

ISSTA

  • Author of ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC within the Tool Demonstrations-track
  • Author of ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation within the Tool Demonstrations-track
Share
xFri 23 May 12:43
using conf.researchr.org (v1.69.0)
Support page
Sign Up