conf.researchr.org / Antonio Filieri
Registered user since Wed 20 Sep 2017
Name:Antonio Filieri
Country:United States
Affiliation:AWS and Imperial College London
Personal website: https://antonio.filieri.name
Contributions
2027
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2026
ASE
- PC Member in Program Committee within the Research Papers-track
- Session Chair of Formal Aspects of Software Engineering: Formal Methods and Model Checking 1 (part of Research Papers)
- Session Chair of Formal Aspects of Software Engineering: Formal Methods and Model Checking 2 (part of Research Papers)
- Author of ControlsDSL: A Language for Verifiable Cloud Configuration Controls within the Industry Showcase-track
- Author of IAM Policy Autopilot: Static Analysis for Policy Generation from Application Code within the Industry Showcase-track
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2025
ASE
ESEC/FSE
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2024
ASE
Static Analysis Symposium
ESEC/FSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2023
ESEC/FSE
ASE
ICSE
- Program Committee Member in Technical Track within the Technical Track-track
- Author of Sibyl: Improving Software Engineering Tools with SMT Selection within the Technical Track-track
- Author of Sibyl Artifact: Improving Software Engineering Tools with SMT Selection within the Artifact Evaluation-track
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2022
ESEC/FSE
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2021
ACSOS
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2020
ICST
ISSTA
ICSE
- Committee Member in Program Committees within the Artifact Evaluation-track
- Committee Member in Program Committee within the Doctoral Symposium-track
- Programme Committee in Program Committee within the Technical Papers-track
- Committee Member in Program Committee within the New Ideas and Emerging Results-track