Alexander Vaynberg

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Computer Networks

Top Venues

Publications

Alexander Vaynberg, Zhong Shao
Compositional Verification of a Baby Virtual Memory Manager. CPP (2012)
Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo
CertiKOS: a certified kernel for secure cloud computing. APSys (2011)
Hongxu Cai, Zhong Shao, Alexander Vaynberg
Certified self-modifying code. PLDI (2007)
Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni
Modular verification of assembly code with stack-based control abstractions. PLDI (2006)