Keynotes
E. Allen Emerson, University of Texas at Austin.
Formal Methods: From Start to Limit.
John D. Barton, Intel.
Post Silicon Validation/Verification Practices in the PC Industry.
Tutorials
Nikolaj Bjørner, Microsoft.
Bit-Precise Constraints: Applications and Decision Procedures.
Moshe Y. Vardi, Rice University.
Formal Techniques for System-Level Verification.
Industrial Experience Reports
Michael Theobald, D.E. Shaw Research.
Formal Verification Challenges of a Supercomputer-Class Machine
Designed for Molecular Dynamics.
John Penix, Google.
Challenges and Opportunities in
Deploying Enterprise-Wide Program Analysis Tools.