Marsha Chechik

Registered user since Thu 5 May 2016

Name:Marsha Chechik
Bio:

Marsha Chechik is Professor in the Department of Computer Science at the University of Toronto. She received her Ph.D. from the University of Maryland in 1996. Prof. Chechik’s research interests are in the application of formal methods to improve the quality of software. She has authored numerous papers in formal methods, software specification and verification, computer safety and security and requirements engineering. In 2002-2003, Prof. Chechik was a visiting scientist at Lucent Technologies in Murray Hill, NY and at Imperial College, London UK, and in 2013 – at Stonybrook University. She is a member of IFIP WG 2.9 on Requirements Engineering and an Associate Editor in Chief of Journal on Software and Systems Modeling. She is has been an associate editor of IEEE Transactions on Software Engineering 2003-2007, 2010-2013. She regularly serves on program committees of international conferences in the areas of software engineering and automated verification. Marsha Chechik has been Program Committee Co-Chair of the 2018 International Conference in Software Engineering (ICSE18), 2016 International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’16), the 2016 Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE16), the 2014 International Conference on Automated Software Engineering (ASE’14), the 2008 International Conference on Concurrency Theory (CONCUR’08), the 2008 International Conference on Computer Science and Software Engineering (CASCON’08), and the 2009 International Conference on Formal Aspects of Software Engineering (FASE’09). She will be PC Co-Chair of ESEC/FSE’2021. She is a Member of ACM SIGSOFT and the IEEE Computer Society.

Country:Canada
Affiliation:University of Toronto
Research interests:software engineering, software specification and verification, formal methods, model-driven engineering

Contributions

‹Programming› 2024 SIGSOFT Observer in Steering Committee
ICSE 2024 Committee Member in Program Committee within the Doctoral Symposium-track
ESEC/FSE 2023 Diversity and Inclusion Co-Chair in Organizing Committee
Committee Member in Program Committee within the Research Papers-track
MODELS 2023 Committee Member in Steering Committee
Committee Member in Program Committee within the Doctoral Symposium-track
Committee Member in Program Board within the Technical Track-track
Committee Member in Program Committee within the Educators Symposium-track
ICSE 2023 Showcase Chair in Showcase within the Showcase-track
Session Chair of Static analysis (part of Technical Track)
Showcase Chair in Organising Committee
Mentor in Mentors within the SMeW - Student Mentoring Workshop-track
Author of Assurance Cases as Data: A Manifesto within the NIER - New Ideas and Emerging Results-track
Program Committee Member in Technical Track within the Technical Track-track
Session Chair of Program analysis (part of Journal-First Papers)
‹Programming› 2023 SIGSOFT Observer in Steering Committee
SLE 2022 Committee Member in Program Committee within the SLE 2022-track
ESEC/FSE 2022 Steering Committee Member in Steering Committee
Author of On Safety, Assurance, and Reliability: A Software Engineering Perspective (Keynote) within the Plenary Events-track
Session Chair of Program Analysis II (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
MODELS 2022 Committee Member in Steering Committee
Committee Member in Program Board within the Technical Track-track
Committee Member in Program Committee within the Doctoral Symposium-track
Session Chair of Validation & Verification I (part of Technical Track)
PLDI 2022 Author of (OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs within the SIGPLAN Track-track
ICSE 2022 Committee Member in Program Committee within the DS - Doctoral Symposium-track
Author of If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components within the Technical Track-track
Presenter of Work-life balance (2 short talks + discussion) within the NFS - New Faculty Symposium-track
ASE 2021 Keynote Speaker of DS Keynote - Advice on your Adviser (all ASE attendees welcome) within the Doctoral Symposium-track
Committee Member in Program Committee within the Doctoral Symposium-track
MODELS 2021 Author of Applying Declarative Analysis to Software Product Line Models: An Industrial Study within the Technical Papers-track
Author of A Lean Approach to Building Valid Model-Based Safety Arguments within the Technical Papers-track
ESEC/FSE 2021 Session Chair of Welcome + Keynote (Mira Mezini) (part of Plenary Events)
Co-chair in Program Committee within the Research Papers-track
Speaker of Test of Time, Impact Paper, Awards, FSE 2022, Outro within the Plenary Events-track
Program Co-Chair in Steering Committee
Session Chair of Welcome + Keynote (Mira Mezini) (part of Plenary Events)
Session Chair of Mentoring Circle (part of Diversity and Inclusion Events)
Speaker of Welcome from the Conference and Program Chairs within the Plenary Events-track
Session Chair of Dependability—Vulnerabilities 1 (part of Research Papers)
Program Co-Chair in Organizing Committee
ICSE 2021 Session Chair of 2.5.3. Code Completion (part of Technical Track)
Author of Challenges of being a New Faculty member within the NFS - New Faculty Symposium-track
New Faculty Symposium Co-Chair in Organizing Committe
Author of Welcome within the NFS - New Faculty Symposium-track
Author of Open Q&A within the NFS - New Faculty Symposium-track
Committee Member in Program Committee within the NFS - New Faculty Symposium-track
SPLASH 2020 Author of Automatic and Efficient Variability-Aware Lifting of Functional Programs within the OOPSLA-track
SLE 2020 Committee Member in Program Committee within the SLE-track
ESEC/FSE 2020 Committee Member in Steering Committee
Committee Member in Program Committee within the Doctoral Symposium-track
Panelist of Announcement ESEC/FSE 2021 within the Plenary events-track
Committee Member in Program Committee within the Research Papers-track
MODELS 2020 Committee Member in Program Board within the Technical Track-track
Session Chair of B3-Model Analysis and Validation (part of Technical Track)
Committee Member in Program Committee within the Doctoral Symposium-track
Committee Member in Program Committee within the ACM Student Research Competition-track
ASE 2020 Author of Scaling Client-Specific Equivalence Checking via Impact Boundary Search within the Research Papers-track
ISSTA 2020 Committee Member in Program Committee within the Doctoral Symposium-track
SySEPL 2020 Committee Member in Program Committee within the SySEPL 2020-track
ICSE 2020 Program Board in Program Board within the Technical Papers-track
PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
Author of Variability-aware Datalog within the PADL 2020-track
ASE 2019 Committee Member in Program Committee within the Research Papers-track
Committee Member in Steering Committee
GPCE 2019 Committee Member in Program Committee within the GPCE 2019-track
SLE 2019 Committee Member in Program Committee within the SLE 2019-track
ICSE 2019 Committee Member in Program Board within the Technical Track-track
Session Chair of Debugging and Fault Localization (part of Papers)
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
ETAPS 2019 Mentor in Mentors within the Mentoring Workshop-track
Author of Software Assurance in an Uncertain World within the Keynotes-track
Speaker in Speakers within the Mentoring Workshop-track
Author of Advice on your adviser within the Mentoring Workshop-track
FASE 2019 Committee Member in Program Committee within the FASE 2019-track
SLE 2018 Session Chair of Validation & Verification (part of SLE 2018)
Committee Member in Program Committee within the SLE 2018-track
Author of Analysing Meta-Model Product Lines within the SLE 2018-track
SPLASH 2018 Author of Advice on your advisor within the PLMW-track
Speaker in Speakers within the PLMW-track
Mentor in Mentors within the Breakfasts-track
* ICSE 2018 * PC Co-Chair of Opening Session within the Plenary Sessions-track
Author of CSLICERCLOUD: A Web-Based Semantic History Slicing Framework within the DEMO - Demonstrations -track
Program Chair in Program board within the Technical Papers -track
Committee Member in Selection Committee within the Journal first papers-track
Program Chair in Organizing committee
SLE 2017 Committee Member in Program Committee within the SLE-track
SLE 2016 Committee Member in Program Committee within the SLE-track