Concepedia

Alexander Vaynberg

AV

Statistics

Publications

5

Citations

277

H-Index

5

Active since

2006

Affiliations

Yale University(Current)

University of Science and Technology of China

Tsinghua University

Alexander Vaynberg is an author at Yale University specializing in formal verification, system software, and computer science.

Top concepts

EngineeringSystem SoftwareComputer ScienceFormal VerificationVerificationFormal MethodsProgram AnalysisSoftware AnalysisComputer EngineeringData Security

Publications per year

2006–2011

5

Publications

5

Certified self-modifying code

Hongxu Cai, Zhong Shao, Alexander Vaynberg · 2007 · 94 citations

Program Checking, Engineering, Verification +20

Modular verification of assembly code with stack-based control abstractions

Xinyu Feng, Zhong Shao, Alexander Vaynberg et al. · ACM SIGPLAN Notices · 2006 · 63 citations

Engineering, Compiler Technology, Verification +19

CertiKOS

Liang Gu, Alexander Vaynberg, Bryan Ford et al. · 2011 · 52 citations

Engineering, Information Security, Virtualization Security +13

Modular verification of assembly code with stack-based control abstractions

Xinyu Feng, Zhong Shao, Alexander Vaynberg et al. · 2006 · 52 citations

Engineering, Compiler Technology, Verification +19

Certified self-modifying code

Hongxu Cai, Zhong Shao, Alexander Vaynberg · ACM SIGPLAN Notices · 2007 · 16 citations

Program Checking, Engineering, Verification +20

1–5 of 5