COMPLX: A Verification Framework for Concurrent Imperative Programs
by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong
Maksym Bortin
2016
A formalisation of the Cocke-Younger-Kasami algorithm
by Maksym Bortin