• Sign in
  • Sign up
conf.researchr.org / Felipe R. Monteiro
  • ECOOP and ISSTA 2023 profile
  • ESEC/FSE 2018 profile
  • ICSE 2020 profile
  • ICST 2022 profile
  • POPL 2023 profile
  • SPLASH 2021 profile
Felipe R. Monteiro

Registered user since Fri 10 Aug 2018

Name:Felipe R. Monteiro
Country:United States
Affiliation:Amazon
Personal website: https://feliperodri.github.io/
Research interests:Automated Verification, Program Analysis, Model Checking

Contributions

2023

ISSTA

  • Committee Member in Artifact Evaluation within the Artifact Evaluation-track

VMCAI

  • Committee Member in Artifact Evaluation Committee within the VMCAI 2023-track
  • Committee Member in Program Committee within the VMCAI 2023-track

2022

ICST

  • Author of Model checking C++ programs within the Journal-First Papers-track

2021

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2020

ICSE

  • Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track

2018

ESEC/FSE

  • Author of Towards Counterexample-guided k-Induction for Fast Bug Detection within the New Ideas and Emerging Results-track
Share
xFri 13 Jun 05:46
using conf.researchr.org (v1.69.0)
Support page
Sign Up