by-the-pool Goal Find a better way to diff JVM bytecode in order to prove reproducibility. Approaches: AST: diff based on tree representation of JVM bytecode. Canonicalization: diff on the intermediate representation inspired by §4.4 Bytecode Canonicalization.