Cliff Click & John Rose on the JVM's subtype check -- achieving complete subtype checks in only 3 instructions and 1 memory reference, essentially all of the time.

Nice paper for those interested in language implementation & optimization.