Dmitri Garbuzov

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 4

Top Topics

Operational Semantics

Mathematical Foundations

Top Venues

Publications

Christine Rizkallah, Dmitri Garbuzov, Steve Zdancewic
A Formal Equational Theory for Call-By-Push-Value. ITP (2018)
Dmitri Garbuzov, William Mansky, Christine Rizkallah, Steve Zdancewic
Structural Operational Semantics for Control Flow Graph Machines. CoRR (2018)
Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis
A formal C memory model supporting integer-pointer casts. PLDI (2015)
William Mansky, Dmitri Garbuzov, Steve Zdancewic
An Axiomatic Specification for Sequential Memory Models. CAV (2) (2015)
Swapnil Bhatia, Dmitri Garbuzov, Radim Bartos
Analysis of the Gated IPACT Scheme for EPONs. ICC (2006)