Alexander Vaynberg

According to our database, Alexander Vaynberg authored at least 4 papers between 2006 and 2012.

Collaborative distances:

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

2012

Compositional Verification of a Baby Virtual Memory Manager.

Alexander Vaynberg, Zhong Shao

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

CertiKOS: a certified kernel for secure cloud computing.

Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2007

Certified self-modifying code.

Hongxu Cai, Zhong Shao, Alexander Vaynberg

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Modular verification of assembly code with stack-based control abstractions.

Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006