Concepedia

Yoav Zibin

YZ

8

Publications

686

Citations

8

H-Index

2001

Active since

Affiliations

Technion – Israel Institute of Technology(Current)

Massachusetts Institute of Technology

Victoria University of Wellington

University of Washington

Yoav Zibin is an author at Technion – Israel Institute of Technology specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisFormal VerificationVerificationComputer EngineeringSoftware EngineeringSoftware Design

Publications per year

2001–2010

8

Publications

8

Automatically patching errors in deployed software

Jeff Perkins, Sunghun Kim, Sam Larsen et al. · 2009 · 409 citations

Software Maintenance, Engineering, Verification +19

Object and reference immutability using Java generics

Yoav Zibin, Alex Potanin, Mahmood Ali et al. · 2007 · 91 citations

Engineering, Generic Programming, Program Analysis +14

Ownership and immutability in generic Java

Yoav Zibin, Alex Potanin, Paley Li et al. · 2010 · 59 citations

Engineering, Java Language, Software Engineering +16

Efficient subtyping tests with PQ-encoding

Yoav Zibin, Joseph Gil · 2001 · 51 citations

Engineering, Verification, Computer Architecture +21

Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching

Yoav Zibin, Joseph Gil · 2002 · 26 citations

Engineering, Computer Architecture, Computational Complexity +19

Rows per page

1–5 of 8