Invited talks

TBA

Brigitte Pientka McGill University, Canada

Combining tactics, normalization, and SMT solving to verify systems software

Chris Hawblitzel Systems Research Group, Microsoft Research, Redmond, USA