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.

 

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

Range and Set Abstraction using SAT., и . NSAD@SAS, том 267 из Electronic Notes in Theoretical Computer Science, стр. 17-27. Elsevier, (2010)Fine-grained Language Composition: A Case Study (Artifact)., , , и . Dagstuhl Artifacts Ser., 2 (1): 01:1-01:2 (2016)Fine-grained Language Composition: A Case Study., , , и . ECOOP, том 56 из LIPIcs, стр. 3:1-3:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Unipycation: a case study in cross-language tracing., , и . VMIL@SPLASH, стр. 31-40. ACM, (2013)Approaches to interpreter composition., , и . Comput. Lang. Syst. Struct., (2015)Range Analysis of Binaries with Minimal Effort., и . FMICS, том 7437 из Lecture Notes in Computer Science, стр. 93-107. Springer, (2012)Fine-grained Language Composition: A Case Study, , , и . (2015)cite arxiv:1503.08623Comment: 27 pages, 4 tables, 5 figures.