service & outreach
Committee service and community involvement.
2024 – present
- Committee member of the Rust Standard Library Verification project, since 2024.
2024
- Artifact evaluation committee member of the 30th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2024.
2023
- Program committee member of the 24th Intl. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2023.
- Artifact evaluation committee member of the 24th Intl. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2023.
- Artifact evaluation committee member of the 29th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2023.
- Artifact evaluation committee member of the 32nd ACM SIGSOFT Intl. Symposium on Software Testing and Analysis (ISSTA), 2023.
2022
- Artifact evaluation committee member of the 34th Intl. Conference on Computer Aided Verification (CAV), 2022.
2021
- Program committee / Jury member of the 10th Intl. Competition on Software Verification (SV-COMP), 2021.
- Artifact evaluation committee member of the Object Oriented Programming Languages, Systems and Applications (OOPSLA), 2021.
2020
- Program committee / Jury member of the 9th Intl. Competition on Software Verification (SV-COMP), 2020.
2019
- Artifact evaluation committee member of the 13th Intl. Conference on Tests and Proofs (TAP), 2019.
- Reviewer of the journal IEEE Access, 2019.
2018
- External Reviewer of the VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018.
- Program committee / Jury member of the 7th Intl. Competition on Software Verification (SV-COMP), 2018.