Dmitri Garbuzov

According to our database, Dmitri Garbuzov authored at least 5 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Structural Operational Semantics for Control Flow Graph Machines.

Dmitri Garbuzov, William Mansky, Christine Rizkallah, Steve Zdancewic

CoRR, 2018

A Formal Equational Theory for Call-By-Push-Value.

Christine Rizkallah, Dmitri Garbuzov, Steve Zdancewic

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2015

A formal C memory model supporting integer-pointer casts.

Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

An Axiomatic Specification for Sequential Memory Models.

William Mansky, Dmitri Garbuzov, Steve Zdancewic

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2006

Analysis of the Gated IPACT Scheme for EPONs.

Swapnil Bhatia, Dmitri Garbuzov, Radim Bartos

Proceedings of IEEE International Conference on Communications, 2006