Chronon Systems, which offers technology for recording and playing back Java programs, contends that the bytecode verifier featured in Java 7 is a huge step backward for the Java virtual machine ...

Benjamin Mechling received the bachelor's and master's degrees in computer science from Western Michigan University. He worked on an approach to concolic execution of Java bytecode. He is currently ...