dblp.uni-trier.dewww.uni-trier.de

Yoav Zibin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
14EEJeff H. Perkins, Sunghun Kim, Sam Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard: Automatically patching errors in deployed software. SOSP 2009: 87-102
2008
13EEMahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst: Enforcing reference and object immutability in Java. OOPSLA Companion 2008: 725-726
12EEJoseph Gil, William Pugh, Grant E. Weddell, Yoav Zibin: Two-dimensional bidirectional object layout. ACM Trans. Program. Lang. Syst. 30(5): (2008)
2007
11EEYoav 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
10EEJoseph Gil, Yoav Zibin: Efficient dynamic dispatching with type slicing. ACM Trans. Program. Lang. Syst. 30(1): (2007)
9EEJoseph Gil, Yoav Zibin: Randomised algorithms for isomorphisms of simple types. Mathematical Structures in Computer Science 17(3): 565-584 (2007)
2005
8EEJoseph Gil, Yoav Zibin: Efficient subtyping tests with PQ-encoding. ACM Trans. Program. Lang. Syst. 27(5): 819-856 (2005)
7EEJoseph Gil, Yoav Zibin: Efficient algorithms for isomorphisms of simple types. Mathematical Structures in Computer Science 15(5): 917-957 (2005)
2003
6EEYoav Zibin: Condition-Based Consensus in Synchronous Systems. DISC 2003: 239-248
5EEYoav Zibin, Joseph Gil: Two-Dimensional Bi-directional Object Layout. ECOOP 2003: 329-350
4EEYoav Zibin, Joseph Gil: Incremental algorithms for dispatching in dynamically typed languages. POPL 2003: 126-138
3EEYoav Zibin, Joseph Gil, Jeffrey Considine: Efficient algorithms for isomorphisms of simple types. POPL 2003: 160-171
2002
2EEYoav 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

Coauthor Index

1Mahmood Ali [11] [13]
2Saman P. Amarasinghe [14]
3Shay Artzi [11]
4Jonathan Bachrach [14]
5Michael Carbin [14]
6Jeffrey Considine [3]
7Michael D. Ernst [11] [13] [14]
8Joseph Gil (Yossi Gil) [1] [2] [3] [4] [5] [7] [8] [9] [10] [12]
9Adam Kiezun [11]
10Sunghun Kim [14]
11Sam Larsen [14]
12Carlos Pacheco [14]
13Matthew M. Papi [13]
14Jeff H. Perkins [14]
15Alex Potanin [11]
16William Pugh [12]
17Martin C. Rinard [14]
18Frank Sherwood [14]
19Stelios Sidiroglou [14]
20Greg Sullivan [14]
21Grant E. Weddell [12]
22Weng-Fai Wong [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)