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

Personal website:http://ti.arc.nasa.gov/profile/pcorina/

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