slides - PDOS - MIT
slides - PDOS - MIT
slides - PDOS - MIT
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Research Opportunities• Testing embedded interpreters• Static analysis (or formal verification)• Challenge: many invariants are dynamic and complicated• Symbolic testing• Challenge: control flow highly depends on the bytecode• Building reusable embedded interpreterEmbeddedinterpreter?General-purposebytecode (e.g. Java)