Corina S Pasareanu

Registered user since Fri 14 Aug 2015

Name: Corina S Pasareanu

Affiliation: Carnegie Mellon University Silicon Valley, NASA Ames Research Center

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

Contributions

ICST 2020Committee Member in Program Committee within the Research Papers-track
Program Chair in Program Chairs within the Research Papers-track
Program Chair in Organizing Committee
JPF 2019Committee Member in Program Committee within the JPF 2019-track
ASE 2019Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee within the Late Breaking Results-track
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
SPIN 2019Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
ISSTA 2019Author of ISSTA 2020 Preview within the Keynote-track
JPF 2018Committee Member in Program Committee within the JPF-track
ECOOP 2019Committee Member in Program Committee within the Research Papers-track
TACAS 2019Committee Member in Program Committee within the TACAS 2019-track
TAV-CPS/IoT 2018Committee 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 2020Committee Member in Program Committee within the New Ideas and Emerging Results-track
ICSE 2019Author 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)
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
ESEC/FSE 2018Program 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
VMCAI 2017Committee Member in Program committee
ISSTA 2017Committee Member in Program Committee
Committee Member in Organizing Committee within the TECPS-track
SPIN 2017Committee Member in Program Committee
Awards Chair in Organizing Committee
ISSTA 2018Author 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
ECOOP and ISSTASpeaker 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
ECOOP 2017Committee Member in Program Committee within the ECOOP Research Papers-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
POPL 2016Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track