| 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 | 441 | 2009 |
| 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 | 112 | 2007 |
| X10 language specification V Saraswat, B Bloom, I Peshansky, O Tardieu, D Grove Specification, IBM, janvier 73, 2012 | 81 | 2012 |
| Ownership and immutability in generic Java Y Zibin, A Potanin, P Li, M Ali, MD Ernst ACM Sigplan Notices 45 (10), 598-617, 2010 | 79 | 2010 |
| Efficient subtyping tests with PQ-encoding Y Zibin, JY Gil ACM SIGPLAN Notices 36 (11), 96-107, 2001 | 67 | 2001 |
| 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 | 39 | 2002 |
| Immutability A Potanin, J Östlund, Y Zibin, MD Ernst Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013 | 36 | 2013 |
| Object initialization in X10 Y Zibin, D Cunningham, I Peshansky, V Saraswat European Conference on Object-Oriented Programming, 207-231, 2012 | 21 | 2012 |
| Two-dimensional bi-directional object layout Y Zibin, JY Gil European Conference on Object-Oriented Programming, 329-350, 2003 | 19 | 2003 |
| Efficient algorithms for isomorphisms of simple types Y Zibin, J Gil, J Considine ACM SIGPLAN Notices 38 (1), 160-171, 2003 | 19 | 2003 |
| Condition-based consensus in synchronous systems Y Zibin International Symposium on Distributed Computing, 239-248, 2003 | 15 | 2003 |
| Method of encoding a dataset Y Zibin, J Gil US Patent 7,007,030, 2006 | 13 | 2006 |
| Efficient subtyping tests with PQ-encoding J Gil, Y Zibin ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (5), 819-856, 2005 | 13 | 2005 |
| Incremental algorithms for dispatching in dynamically typed languages Y Zibin, J Gil ACM SIGPLAN Notices 38 (1), 126-138, 2003 | 11 | 2003 |
| Efficient algorithms for isomorphisms of simple types J Gil, Y Zibin Mathematical Structures in Computer Science 15 (5), 917-957, 2005 | 7 | 2005 |
| Efficient dynamic dispatching with type slicing J Gil, Y Zibin ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 5-es, 2007 | 4 | 2007 |
| 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 | 3 | 2008 |
| Featherweight Ownership and Immutability Generic Java (FOIGJ Y Zibin | 2 | 2010 |
| 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 | 2 | 2009 |
| Efficient Subtyping Tests with PQ-Encoding Y Zibin, JY Gil ACM transactions on programming languages and systems 27 (5), 819-856, 2005 | 2 | 2005 |
