David Dayan

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 6

Top Topics

Design Principles

Programming Language

Project Management

Parallel Execution

Top Venues

Publications

Moshe Goldstein, Oren Eliezer, David Dayan
Implementing the Hammock-EFL Methodology for Project Management and Parallel Programming: (research in progress). ECBS (2021)
David Dayan, Rivka Kaplinsky, Aryeh Wiesen, Simon Bloch
MDA Models and PIM/PSM Transformations Using Extended Automata. CoRR (2020)
Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan
A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory. ECBS (2019)
Moshe Goldstein, David Dayan, Max Rabin, Devora Berlowitz, Or Berlowitz, Raphael B. Yehezkael
Design principles of an embedded language (EFL) enabling well defined order-independent execution. ECBS (2017)
Raphael B. Yehezkael, Moshe Goldstein, David Dayan, Shimon Mizrahi
Flexible Algorithms: Enabling Well-Defined Order-Independent Execution with an Imperative Programming Style. ECBS-EERC (2015)
David Dayan, Moshe Goldstein, Shimon Mizrahi, Max Rabin, Devora Berlowitz, Or Berlowitz, Elad Bussani Levy, Moshe Naaman, Mor Nagar, Ditsa Soudry, Raphael B. Yehezkael, Miroslav Popovic
EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution. ECBS-EERC (2015)
David Dayan, Rivka Kaplinsky, Aryeh Wiesen, Simon Bloch
AMDA: Matching the Model-Driven-Architecture's Goals Using Extended Automata as a Common Model for Design and Execution. SwSTE (2007)