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.

Affiliation: University of Toronto

Personal website: http://www.cs.toronto.edu/~chechik

Research interests: software engineering, software specification and verification, formal methods, model-driven engineering

Contributions

ESEC/FSE 2022Steering Committee Member in Steering Committee
ESEC/FSE 2021Co-chair in Program Committee within the Research Papers-track
Program Co-Chair in Steering Committee
Program Co-Chair in Organizing Committee
SySEPL 2020Committee Member in Program Committee within the SySEPL 2020-track
SLE 2020Committee Member in Program Committee within the SLE-track
ASE 2020Author of Scaling Client-Specific Equivalence Checking via Impact Boundary Search within the Research Papers-track
MODELS 2020Committee 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
ISSTA 2020Committee Member in Program Committee within the Doctoral Symposium-track
ESEC/FSE 2020Committee 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
SPLASH 2020Author of Automatic and Efficient Variability-Aware Lifting of Functional Programs within the OOPSLA-track
PADL 2020Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
Author of Variability-aware Datalog within the PADL 2020-track
ICSE 2021New Faculty Symposium Co-Chair in Organizing Committe
Committee Member in Program Committee within the New Faculty Symposium-track
SLE 2019Committee Member in Program Committee within the SLE 2019-track
GPCE 2019Committee Member in Program Committee within the GPCE 2019-track
ASE 2019Committee Member in Program Committee within the Research Papers-track
Committee Member in Steering Committee
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
FASE 2019Committee Member in Program Committee within the FASE 2019-track
ETAPS 2019Mentor 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
ICSE 2020Program Board in Program Board within the Technical Papers-track
SLE 2018Session 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 2018Author of Advice on your advisor within the PLMW-track
Speaker in Speakers within the PLMW-track
Mentor in Mentors within the Breakfasts-track
ICSE 2019Committee Member in Program Board within the Technical Track-track
Session Chair of Debugging and Fault Localization (part of Papers)
SLE 2017Committee Member in Program Committee within the SLE-track
SLE 2016Committee Member in Program Committee within the SLE-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