Shahar Maoz

Registered user since Tue 30 Jun 2015

Name:Shahar Maoz
Country:Israel
Affiliation:Tel Aviv University, Israel
Research interests:Software engineering, modeling, formal methods

Contributions

ASE 2022 PC Chair in Organizing Committee
ASE 2021 Demo Track Chair in Organizing Committee
Demo Track PC Chair in Program Committee within the Tool Demonstrations-track
Demo Track PC Chair in Tool Demonstrations Chair within the Tool Demonstrations-track
Committee Member in Program Committee within the Research Papers-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
ASE 2020 Author of Just-In-Time Reactive Synthesis within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Session Chair of Synthesis and Repair (part of Research Papers)
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
FormaliSE 2020 Keynote Speaker of SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers within the FormaliSE 2020-track
ESEC/FSE 2020 Panelist of Conversations on Analysis 4 within the Paper Presentations-track
Author of Inherent Vacuity for GR(1) Specifications within the Research Papers-track
Panelist of Welcome Panel #3 within the Plenary events-track
ICSE 2021 Author of Unrealizable Cores for Reactive Systems Specifications: Artifact within the AE - Artifact Evaluation-track
Author of Unrealizable Cores for Reactive Systems Specifications within the Technical Track-track
Author of Reactive Synthesis with Spectra: A Tutorial within the TB - Technical Briefings-track
ASE 2019 Author of Statistical Log Differencing within the Research Papers-track
Committee Member in Program Committee within the Journal First Presentations-track
Author of Size and Accuracy in Model Inference within the Research Papers-track
ICSE 2020 Programme Committee in Program Committee within the ACM Student Research Competition-track
Programme Committee in Program Committee within the Technical Papers-track
ICSE 2019 Author of Symbolic Repairs for GR(1) Specifications within the Technical Track-track
Session Chair of Software Product Lines (part of Papers)
Committee Member in Program Committee within the Technical Track-track
ESEC/FSE 2018 Session Chair of Repair and Synthesis (part of Research Papers)
Author of Using Finite-State Models for Log Differencing within the Research Papers-track
Author of Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans within the Research Papers-track
* ICSE 2018 * Session Chair of Code Search, Synthesis, Performance (part of Technical Papers )
Committee Member in Program committee within the Technical Papers -track
Committee Member in Program Committee within the NIER - New Ideas and Emerging Results -track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track