Analysis of the Gated IPACT Scheme for EPONs. - Swapnil Bhatia; Dmitri Garbuzov; Radim Bartos (ICC, 2006)

An Axiomatic Specification for Sequential Memory Models. - William Mansky; Dmitri Garbuzov; Steve Zdancewic (CAV (2), 2015)

A formal C memory model supporting integer-pointer casts. - Jeehoon Kang; Chung-Kil Hur; William Mansky; Dmitri Garbuzov; Steve Zdancewic; Viktor Vafeiadis (PLDI, 2015)

A Formal Equational Theory for Call-By-Push-Value. - Christine Rizkallah; Dmitri Garbuzov; Steve Zdancewic (ITP, 2018)

Structural Operational Semantics for Control Flow Graph Machines. - Dmitri Garbuzov; William Mansky; Christine Rizkallah; Steve Zdancewic (CoRR, 2018)