Yoav Zibin
Yoav Zibin
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Automatically patching errors in deployed software
JH Perkins, S Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principlesá…, 2009
4682009
Object and reference immutability using Java generics
Y Zibin, A Potanin, M Ali, S Artzi, A Kie| un, MD Ernst
Proceedings of the the 6th joint meeting of the European softwareá…, 2007
1152007
X10 language specification
V Saraswat, B Bloom, I Peshansky, O Tardieu, D Grove
Specification, IBM, janvier 73, 2012
862012
Ownership and immutability in generic Java
Y Zibin, A Potanin, P Li, M Ali, MD Ernst
ACM Sigplan Notices 45 (10), 598-617, 2010
812010
Efficient subtyping tests with PQ-encoding
Y Zibin, JY Gil
ACM SIGPLAN Notices 36 (11), 96-107, 2001
692001
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching
Y Zibin, JY Gil
ACM SIGPLAN Notices 37 (11), 142-160, 2002
392002
Immutability
A Potanin, J Ístlund, Y Zibin, MD Ernst
Aliasing in Object-Oriented Programming. Types, Analysis and Verificationá…, 2013
382013
Object initialization in X10
Y Zibin, D Cunningham, I Peshansky, V Saraswat
European Conference on Object-Oriented Programming, 207-231, 2012
212012
Efficient algorithms for isomorphisms of simple types
Y Zibin, J Gil, J Considine
ACM SIGPLAN Notices 38 (1), 160-171, 2003
202003
Two-dimensional bi-directional object layout
Y Zibin, JY Gil
European Conference on Object-Oriented Programming, 329-350, 2003
192003
Condition-based consensus in synchronous systems
Y Zibin
International Symposium on Distributed Computing, 239-248, 2003
162003
Method of encoding a dataset
Y Zibin, J Gil
US Patent 7,007,030, 2006
152006
Efficient subtyping tests with PQ-encoding
J Gil, Y Zibin
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (5), 819-856, 2005
132005
Incremental algorithms for dispatching in dynamically typed languages
Y Zibin, J Gil
ACM SIGPLAN Notices 38 (1), 126-138, 2003
112003
Efficient algorithms for isomorphisms of simple types
JY Gil, Y Zibin
Mathematical Structures in Computer Science 15 (5), 917-957, 2005
82005
Efficient dynamic dispatching with type slicing
J Gil, Y Zibin
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 5-es, 2007
42007
Two-dimensional bidirectional object layout
J Gil, W Pugh, GE Weddell, Y Zibin
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5), 1-38, 2008
32008
Featherweight Ownership and Immutability Generic Java (FOIGJ
Y Zibin
22010
Self-defending software: Automatically patching security vulnerabilities
J Perkins, SH Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ...
the 21st ACM Symposium on Operating Systems Principles (SOSP 2009), 2009
22009
Efficient Subtyping Tests with PQ-Encoding
Y Zibin, JY Gil
ACM transactions on programming languages and systems 27 (5), 819-856, 2005
22005
The system can't perform the operation now. Try again later.
Articles 1–20