|
|
|
|
|
Dr. Assaf
Marron ד"ר
אסף מרון
|
Researcher
in Prof. David Harel’s group, working on behavioral/scenario-based
programming. |
|
E-mail: “assaf.marron” - <at
symbol> - “weizmann.ac.il” Phone: +972-8-934-4313 Office: Ziskind Building, room 262 Address: P.O.B.
26 Rehovot 76100, Israel, |
- My current research interests include scenario-based/behavioral programming, machine learning, software verification and information visualization.
- Prior to joining the Weizmann institute I was a
corporate architect at BMC
software and worked in advanced system design at IBM laboratories in
Poughkeepsie, NY.
Publications
- M. Gordon, A. Marron, O. Meerbaum-Salant, “Spaghetti
for the Main Course? Observations on Naturalness of Scenario-Based
Programming”, ITICSE 2012. To Appear.
- D. Harel, A. Marron, A. Nissim, G. Weiss, “A Software
Engineering Framework for Switched Fuzzy Systems”. FUZZ-IEEE 2012. To appear.
- D. Harel, A. Marron, G. Weiss, and
G. Wiener. “Behavioral programming, decentralized control, and
multiple time scales”. AGERE! (Actors and aGEnts Reloaded workshop at ACM SPLASH), 2011. [PDF]
- D. Harel, A. Marron and G. Weiss, “Behavioral
Programming”, Communications of the ACM, To
appear. (Accepted 2011)
- D. Harel, R. Lampert, A. Marron and G. Weiss, "Model-Checking Behavioral Programs", EMSOFT 2011. [PDF]
- N. Eitan, M. Gordon, D. Harel, A. Marron, and G. Weiss. “On Visualization and Comprehension of Scenario-Based Programs”, 19th IEEE International Conference on Program Comprehension (ICPC 2011). [PDF]
- G. Wiener, G. Weiss, and A. Marron, “Coordinating and Visualizing Independent Behaviors in Erlang”, Ninth ACM SIGPLAN Erlang Workshop, Sep. 2010. [PDF]
- D. Harel, A. Marron and G. Weiss, "Programming
Coordinated Scenarios in Java", Proc. 24th European Conference on
Object-Oriented Programming (ECOOP 2010), 2010. [PDF]
- K. Ko, A. Marron, W.G. Tzeng, "Learning String Patterns and Tree Patterns from Examples", Proc. of 7th Int’l Conf. on Machine Learning, Porter and Mooney, Editors, Austin, Texas, 1990
- A. Marron, "Learning Pattern Languages from a
Single Initial Example and from Queries", Proc. 1st Int’l Workshop on
Computational Learning Theory, MIT, Cambridge, Mass. 1988.
- A. Marron, K. Ko,
"Identification of Pattern Languages from Examples and
Queries", Information and
Computation, Vol 74, #2, 1987 [PDF]
- S. Huang, A. Marron, "Finding the Median of a
Distributed Set", Computer Science Conference, Johns Hopkins
University, 1983.
Patents
- Y. Ding, A. Marron, F. Johannessen,
patent application “Automated Capacity Provisioning Method Using
Historical Performance Data”, BMC Software, Application filed 8/2007.
- A. Marron, "Method of Operating a Data Processing
System Having a Dynamic Software Update Facility", IBM, Issued 1994
(US 5,359,730).
- A. Marron, A. Meritt, “Method
and system for predefined suspension and resumption control over I/O
programs” ,
IBM, 1997 (US 5,613,163). - F. Johnson, A. Marron, A. Meritt,
“System for coordinating execution of multiple concurrent channel programs
without host processor involvement using suspend and resume commands to
control data transfer between I/O devices”, IBM, 1996 (US 5,584,039).
- L. Wyman, R. Hough, R. Cwiakala,
A. Marron, S. John, K. Fredericks, C. Shapley, R. Hollar,
J. Mazourowski, M. Halma,
K. Oakes, M. Brown, "Asynchronous Command Support for Shared Channels
for a Computer Complex Having Multiple Operating Systems"
IBM, 1995 (US 5,452,455) - R. Galbraith, S. Glassen, A.
Marron, K. Oakes, D. Stucki, L. Wyman,
"Channel Measurement Methods and Means",
IBM, 1993 (US 5,265,240)
Other
Links
- LSC
- Book: D. Harel and
R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and
the Play-Engine, Springer-Verlag, 2003.
(Includes a CD with the Play-Engine software). [See web
page]
- LSC Language Reference: A. Marron, 2010 pdf