Publications

16 results for Shaula Yemini

High speed and robust event correlation
- - Shaula Alexander Yemini
  - Shmuel Kliger
  - et al.
- 1996
- IEEE Communications Magazine
High-Level Language Debugging for Concurrent Programs
- - German S. Goldszmidt
  - Shaula Yemini
  - et al.
- 1990
- ACM Transactions on Computer Systems (TOCS)
CONCERT: a high-level-language approach to heterogeneous distributed systems
- - Shaula Yemini
  - German S. Goldszmidt
  - et al.
- 1989
- ICDCS 1989
Interactive Blackbox Debugging for Concurrent Languages
- - German S. Goldszmidt
  - S. Katz
  - et al.
- 1989
- ACM SIGPLAN Notices
Interactive blackbox debugging for concurrent languages
- - German S. Goldszmidt
  - Shmuel Katz
  - et al.
- 1988
- WPADD 1988
An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language
- - Shaula Yemini
  - Daniel M. Berry
- 1987
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Typestate: A Programming Language Concept for Enhancing Software Reliability
- - Robert E. Strom
  - Shaula Yemini
- 1986
- IEEE Transactions on Software Engineering
SYNTHESIZING DISTRIBUTED AND PARALLEL PROGRAMS THROUGH OPTIMISTIC TRANSFORMATIONS.
- - Rob Strom
  - Shaula Yemini
- 1984
- ICPP 1984
Symmetric intertask communication
- - Nissim Francez
  - Shaula A. Yemini
- 1985
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimistic Recovery in Distributed Systems
- - Rob Strom
  - Shaula Yemini
- 1985
- ACM Transactions on Computer Systems (TOCS)