From post

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.

 

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

Aliasing Limits on Translating C to Safe Rust., , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA1): 551-579 (апреля 2023)String Abstractions for String Verification., , и . SPIN, том 6823 из Lecture Notes in Computer Science, стр. 20-37. Springer, (2011)Language fuzzing using constraint logic programming., , и . ASE, стр. 725-730. ACM, (2014)Fixpoint reuse for incremental JavaScript analysis., , и . SOAP@PLDI, стр. 2-7. ACM, (2019)Caisson: a hardware description language for secure information flow., , , , , , и . PLDI, стр. 109-120. ACM, (2011)The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code., и . PLDI, стр. 290-299. ACM, (2007)Improved type specialization for dynamic scripting languages., , , , и . DLS, стр. 37-48. ACM, (2013)Sapper: a language for hardware-level security policy enforcement., , , , , , , , и . ASPLOS, стр. 97-112. ACM, (2014)Bouncer: static program analysis in hardware., , , , и . ISCA, стр. 711-722. ACM, (2019)A parallel abstract interpreter for JavaScript., , и . CGO, стр. 34-45. IEEE Computer Society, (2015)