I agree that this site is using cookies. You can find further informations here.
X
Vaynberg, Alexander
2  results:
Articles (Online) X
Search for persons X
?
1

Certified self-modifying code:

Cai, Hongxu ; Shao, Zhong ; Vaynberg, Alexander
ACM SIGPLAN Notices.  42 (2007)  6 - p. 66-77 , 2007
Link: https://doi.org/10.1145/..
 
?
2

Modular verification of assembly code with stack-based cont..:

Feng, Xinyu ; Shao, Zhong ; Vaynberg, Alexander..
ACM SIGPLAN Notices.  41 (2006)  6 - p. 401-414 , 2006
Link: https://doi.org/10.1145/..
 
1-2