Corina S. Păsăreanu

Registered user since Fri 14 Aug 2015

Name:Corina S. Păsăreanu
Country:United States
Affiliation:Carnegie Mellon University

Contributions

CAIN 2023 PC Member in Program Committee
ICST 2023 Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Previous Editions-track
POPL 2023 Committee Member in Program Committee within the POPL-track
ESEC/FSE 2022 Committee Member in Test of Time Award Committee
Committee Member in Program Committee within the Research Papers-track
Steering Committee Member in Steering Committee
PLDI 2022 Committee Member in PLDI within the PLDI-track
MSR 2022 Author of SECOM: Towards a convention for security commit messages within the Industry Track-track
CAIN 2022 Committee Member in Program Committee within the CAIN 2022-track
VMCAI 2022 PC Member in Program Committee within the VMCAI 2022-track
ASE 2021 Committee Member in Program Committee within the Research Papers-track
SPLASH 2021 Author of SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis within the SIGPLAN Papers-track
ESEC/FSE 2021 Author of Creativity within the New Faculty Symposium-track
Committee Member in Program Committee within the Ideas, Visions and Reflections-track
Committee Member in Steering Committee
PLDI 2021 Author of SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis within the PLDI-track
ESEC/FSE 2020 Committee Member in Steering Committee
Committee Member in Program Committee within the Test of Time Paper Award-track
Moderator of Conversations on Testing 2 within the Paper Presentations-track
Moderator of Conversations on Testing 1 within the Paper Presentations-track
ICST 2020 Committee Member in Program Committee within the Research Papers-track
Program Chair in Program Chairs within the Research Papers-track
Program Chair in Organizing Committee
ISSTA 2020 PC Chair in Program Committee within the Technical Papers-track
Session Chair of Preview & Keynote (part of Keynote)
Program Chair in Organizing Committee
Session Chair of Summer School (part of Summer School)
ICSE 2020 Committee Member in Program Committee within the New Ideas and Emerging Results-track
Programme Committee in Programme Committee within the ICSE 2020 Posters-track
SEAMS 2020 Author of On the Probabilistic Analysis of Neural Networks within the SEAMS 2020-track
ASE 2019 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee within the Late Breaking Results-track
JPF 2019 Committee Member in Program Committee within the JPF 2019-track
ISSTA 2019 Author of ISSTA 2020 Preview within the Keynote-track
SPIN 2019 Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
ECOOP 2019 Committee Member in Program Committee within the Research Papers-track
ICSE 2019 Author of Symbolic Execution for Attribution and Attack Synthesis in Neural Networks within the Posters-track
Author of On Reliability of Patch Correctness Assessment within the Technical Track-track
Committee Member in Program Board within the Technical Track-track
Session Chair of Security 1 (part of Papers)
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
TACAS 2019 Committee Member in Program Committee within the TACAS 2019-track
ESEC/FSE 2018 Program Co-Chair in Organizing Committee
Session Chair of Keynote I (part of Keynotes)
Chair in Program Committee within the Research Papers-track
Co-chair in Program Committee within the Journal-First-track
JPF 2018 Committee Member in Program Committee within the JPF-track
ECOOP and ISSTA 2018 Speaker in Speakers within the Summer School-track
Author of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track
Speaker of Symbolic Execution and Probabilistic Reasoning within the Summer School-track
Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the Posters-track
ISSTA 2018 Author of Test input generation with Java PathFinder: Then and Now within the ISSTA Keynotes-track
Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the ISSTA Technical Papers-track
Committee Member in Program Committee within the ISSTA Technical Papers-track
Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track
TAV-CPS/IoT 2018 Committee Member in Program Committee within the TAV-CPS/IoT-track
Author of Analysing The Effect of Uncertainty in Airport Surface Operations within the TAV-CPS/IoT-track
* ICSE 2018 * Committee Member in Program Committee within the NIER - New Ideas and Emerging Results -track
Committee Member in Program committee within the SEIP - Software Engineering in Practice-track
Author of Poster F2: Automated Program Repair with Canonical Constraints within the Posters -track
Committee Member in Program board within the Technical Papers -track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
ISSTA 2017 Committee Member in Program Committee
Committee Member in Organizing Committee within the TECPS-track
SPIN 2017 Committee Member in Program Committee
Awards Chair in Organizing Committee
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
VMCAI 2017 Committee Member in Program committee
POPL 2016 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
SPLASH 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track