About
I'm a Ph.D. student at the School of Computer Science, Tel Aviv University, in the Software Modeling Lab under the supervision of Prof. Shahar Maoz.
My research interests are in the intersection of Software Engineering, Programming Languages, and HCI. Currently, I am working on making reactive synthesis more usable as part of the SYNTECH project.
Before joining TAU, I completed my MSc. at Technion under the supervision of Prof. Yosi Gil and was a visiting researcher at the Penrose research group at Carnegie Mellon University, hosted by Prof. Joshua Sunshine.
Publications
Conference and Journal Papers
Using Reactive Synthesis: An End-to-End Exploratory Case Study
Dor Ma'ayan, and Shahar Maoz.
ICSE 2023, to appear
26% acceptance rate.
Triggers for Reactive Synthesis Specifications
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, and Jan Oliver Ringert.
ICSE 2023, to appear.
26% acceptance rate.
Dor Ma'ayan, Shahar Maoz, and Roey Rozi.
MODELS 2022.
27% acceptance rate.
Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, and Keenan Crane.
ACM Transactions on Graphics (SIGGRAPH’20).
27.9% acceptance rate.
[pdf] [www][talk][repo][bibtex]
Dor Ma’ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, and Joshua Sunshine.
CHI 2020.
24.3% acceptance rate.
🏆Best Paper Honorable Mention Award.
Short Papers
Anti-Patterns in Temporal Specifications
Dor Ma'ayan, Shahar Maoz, and Jan Oliver Ringert.
ICSE NIER 2023, to appear.
22% acceptance rate.
Dor Ma'ayan
SQUADE '18.
Yossi Gil, Dor Ma’ayan, Niv Shalmon, Raviv Rachmiel, and Ori Roth
VISSOFT 2017.
Thesis
MSc. Thesis
Dor Ma'ayan
Contact Information
Email: dor.d.ma@gmail.com
Address:
School of Computer Science
Tel Aviv University
Tel Aviv 6997801, Israel
Office:
Check Point building room 253