( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using build-integrated static checking to preserve correctness invariants.

, и . CCS, стр. 288-297. ACM, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Morris Shapiro

Sergei Shapiro

Yevgeniy Shapiro

David Edmund Shapiro

Jonathan Roth

 

Другие публикации лиц с тем же именем

Access and Integrity Control in a Public-Access, High-Assurance Configuration Management System., и . USENIX Security Symposium, стр. 109-120. USENIX, (2002)Vulnerabilities in Synchronous IPC Designs.. S&P, стр. 251-262. IEEE Computer Society, (2003)Paradigm Regained: Abstraction Mechanisms for Access Control., и . ASIAN, том 2896 из Lecture Notes in Computer Science, стр. 224-242. Springer, (2003)CPCMS: A Configuration Management System Based on Cryptographic Names., и . USENIX ATC, FREENIX Track, стр. 207-220. USENIX, (2002)The Structure of Authority: Why Security Is Not a Separable Concern., , и . MOZ, том 3389 из Lecture Notes in Computer Science, стр. 2-20. Springer, (2004)Design of the EROS Trusted Window System., , , и . USENIX Security Symposium, стр. 165-178. USENIX, (2004)OpenCM: Early Experiences and Lessions Learned., , и . USENIX ATC, FREENIX Track, стр. 231-244. USENIX, (2003)Sound and Complete Type Inference for a Systems Programming Language., , и . APLAS, том 5356 из Lecture Notes in Computer Science, стр. 290-306. Springer, (2008)Type inference for unboxed types and first class mutability., и . PLOS, стр. 7. ACM, (2006)HDTrans: a low-overhead dynamic translator., , и . SIGARCH Comput. Archit. News, 35 (1): 135-140 (2007)