2008 |
13 | EE | Mahmood Ali,
Yoav Zibin,
Matthew M. Papi,
Michael D. Ernst:
Enforcing reference and object immutability in Java.
OOPSLA Companion 2008: 725-726 |
12 | EE | Joseph Gil,
William Pugh,
Grant E. Weddell,
Yoav Zibin:
Two-dimensional bidirectional object layout.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
2007 |
11 | EE | Yoav Zibin,
Alex Potanin,
Mahmood Ali,
Shay Artzi,
Adam Kiezun,
Michael D. Ernst:
Object and reference immutability using java generics.
ESEC/SIGSOFT FSE 2007: 75-84 |
10 | EE | Joseph Gil,
Yoav Zibin:
Efficient dynamic dispatching with type slicing.
ACM Trans. Program. Lang. Syst. 30(1): (2007) |
9 | EE | Joseph Gil,
Yoav Zibin:
Randomised algorithms for isomorphisms of simple types.
Mathematical Structures in Computer Science 17(3): 565-584 (2007) |
2005 |
8 | EE | Joseph Gil,
Yoav Zibin:
Efficient subtyping tests with PQ-encoding.
ACM Trans. Program. Lang. Syst. 27(5): 819-856 (2005) |
7 | EE | Joseph Gil,
Yoav Zibin:
Efficient algorithms for isomorphisms of simple types.
Mathematical Structures in Computer Science 15(5): 917-957 (2005) |
2003 |
6 | EE | Yoav Zibin:
Condition-Based Consensus in Synchronous Systems.
DISC 2003: 239-248 |
5 | EE | Yoav Zibin,
Joseph Gil:
Two-Dimensional Bi-directional Object Layout.
ECOOP 2003: 329-350 |
4 | EE | Yoav Zibin,
Joseph Gil:
Incremental algorithms for dispatching in dynamically typed languages.
POPL 2003: 126-138 |
3 | EE | Yoav Zibin,
Joseph Gil,
Jeffrey Considine:
Efficient algorithms for isomorphisms of simple types.
POPL 2003: 160-171 |
2002 |
2 | EE | Yoav Zibin,
Joseph Gil:
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching.
OOPSLA 2002: 142-160 |
2001 |
1 | | Yoav Zibin,
Joseph Gil:
Efficient Subtyping Tests with PQ-Encoding.
OOPSLA 2001: 96-107 |