Shahar Maoz -

Registered user since Tue 30 Jun 2015

Name: Shahar Maoz

Country: Israel

Affiliation: Tel Aviv University, Israel

Personal website: http://www.cs.tau.ac.il/~maozs/

Research interests: Software engineering, modeling, formal methods

Contributions

ASE 2021	Demo Track Chair in Organizing Committee
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)
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
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