Andreea Costea

Registered user since Thu 8 Aug 2019

Name:Andreea Costea
Affiliation:School of Computing, National University Of Singapore
Research interests:Programming Languages, Software Verification, Communication Protocols


ICSE 2024 Committee Member in Research Track within the Research Track-track
SPLASH 2023 Publicity Co-Chair in Organizing Committee
Web Co-Chair in Organizing Committee
ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
SPLASH 2022 Web, Publicity and In Person SIGPLAN Papers Chair in Organizing Committee
Session Chair of SLE and GPCE Papers (part of COVID Time Papers In Person)
Committee Member in Overview Committee within the COVID Time Papers In Person-track
ESEC/FSE 2022 Session Chair of Security (part of Research Papers)
Infer 2022 Author of HIPPODROME: Data Race Repair using Static Analysis Summaries within the Infer 2022-track
POPL 2022 Panelist of PLMW Panel (on Zoom) within the Virtual Workshop-track
APLAS 2021 Session Chair of Language Design (mirror) (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
ICFP 2021 Committee Member in Program Committee within the Student Research Competition-track
PLDI 2021 Session Chair of Ask Me Anything (part of Ask Me Anything)
PLMW@PLDI 2021 Panelist of Panel on Grad School within the PLMW@PLDI 2021-track
POPL 2021 Panelist of Panel Discussion 3: Work/Life Balance within the POPL Meetups-track
APLAS 2020 Committee Member in Program Committee
APLAS 2019 Session Chair of Poster talk session (part of Posters)
Session Chair of Poster session (part of Posters)
Author of A Survey on Technologies for Designing and Implementing Safe and Correct Distributed Software within the APLAS NIER-track