Search results for "Yoav Zibin"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst	Ownership and immutability in generic Java.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Jeff H. Perkins, Sunghun Kim, Samuel 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	DBLP DOI BibTeX RDF	self healing
1	Joseph Gil, William Pugh, Grant E. Weddell, Yoav Zibin	Two-dimensional bidirectional object layout.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	coloring, hierarchy, inheritance, layout, bidirectional
1	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
1	Joseph Gil, Yoav Zibin	Randomised algorithms for isomorphisms of simple types.	Mathematical Structures in Computer Science	2007	DBLP DOI BibTeX RDF
1	Joseph Gil, Yoav Zibin	Efficient dynamic dispatching with type slicing.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	CT (compact dispatch tables), type slicing, hierarchy, subtyping, message, incremental, dispatch, dynamic-typing
1	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
1	Joseph Gil, Yoav Zibin	Efficient algorithms for isomorphisms of simple types.	Mathematical Structures in Computer Science	2005	DBLP DOI BibTeX RDF
1	Joseph Gil, Yoav Zibin	Efficient subtyping tests with PQ-encoding.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	PQ, PQE, type inclusion, encoding, hierarchy, inheritance, subtyping, partially ordered sets, Casting
1	Yoav Zibin, Joseph Gil, Jeffrey Considine	Efficient algorithms for isomorphisms of simple types.	POPL	2003	DBLP DOI BibTeX RDF	first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature
1	Yoav Zibin, Joseph Gil	Incremental algorithms for dispatching in dynamically typed languages.	POPL	2003	DBLP DOI BibTeX RDF	hierarchy, CT, message, incremental, dispatch, dynamic-typing
1	Yoav Zibin	Condition-Based Consensus in Synchronous Systems.	DISC	2003	DBLP DOI BibTeX RDF
1	Yoav Zibin, Joseph Gil	Two-Dimensional Bi-directional Object Layout.	ECOOP	2003	DBLP DOI BibTeX RDF
1	Yoav Zibin, Joseph Gil	Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching.	OOPSLA	2002	DBLP DOI BibTeX RDF
1	Yoav Zibin, Joseph Gil	Efficient Subtyping Tests with PQ-Encoding.	OOPSLA	2001	DBLP DOI BibTeX RDF

Publications of "Yoav Zibin" ( http://dblp.L3S.de/Authors/Yoav_Zibin )