Rosiane de Freitas -

Registered user since Tue 21 Jun 2022

Name:Rosiane de Freitas

Affiliation:Federal University of Amazonas

Contributions

2026

SIGCSE TS

Committee Member in Program Committee Members: Reviewers

2025

ESEC/FSE

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

2024

VISSOFT

Author of Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices within the VISSOFT 2024-track

2022

ISSTA

Author of ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation within the Tool Demonstrations-track