Yoav Zibin

18 papers A* 3A 6Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2013 — ch.
Immutability.
Aliasing in Object-Oriented Programming
Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst
2012 A conf
Object Initialization in X10.
ECOOP
Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat
2010 A conf
Ownership and immutability in generic Java.
OOPSLA
Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst
2009 A* conf
Automatically patching errors in deployed software.
SOSP
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard
2008 — conf
Enforcing reference and object immutability in Java.
OOPSLA Companion
Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst
2008 J jnl
Two-dimensional bidirectional object layout.
ACM Trans. Program. Lang. Syst.
Joseph Gil, William W. Pugh, Grant E. Weddell, Yoav Zibin
2007 J jnl
Efficient dynamic dispatching with type slicing.
ACM Trans. Program. Lang. Syst.
Joseph Gil, Yoav Zibin
2007 — conf
Object and reference immutability using java generics.
ESEC/SIGSOFT FSE
Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst
2007 J jnl
Randomised algorithms for isomorphisms of simple types.
Math. Struct. Comput. Sci.
Joseph Gil, Yoav Zibin
2005 J jnl
Efficient algorithms for isomorphisms of simple types.
Math. Struct. Comput. Sci.
Joseph Gil, Yoav Zibin
2005 J jnl
Efficient subtyping tests with PQ-encoding.
ACM Trans. Program. Lang. Syst.
Joseph Gil, Yoav Zibin
2004 — —
Efficient algorithms for the runtime environment of object oriented languages.
Yoav Zibin
2003 A conf
Condition-Based Consensus in Synchronous Systems.
DISC
Yoav Zibin
2003 A* conf
Efficient algorithms for isomorphisms of simple types.
POPL
Yoav Zibin, Joseph Gil, Jeffrey Considine
2003 A* conf
Incremental algorithms for dispatching in dynamically typed languages.
POPL
Yoav Zibin, Joseph Gil
2003 A conf
Two-Dimensional Bi-directional Object Layout.
ECOOP
Yoav Zibin, Joseph Gil
2002 A conf
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching.
OOPSLA
Yoav Zibin, Joseph Gil
2001 A conf
Efficient Subtyping Tests with PQ-Encoding.
OOPSLA
Yoav Zibin, Joseph Gil