Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Relatively Complete Pushdown Analysis of Escape Continuations., and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 205-225. Springer, (2019)The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren., , , , , , , , , and 4 other author(s). Frontiers Artif. Intell., (2022)Static Analysis of Non-interference in Expressive Low-Level Languages., and . SAS, volume 9291 of Lecture Notes in Computer Science, page 1-17. Springer, (2015)Cardioinformatics: the nexus of bioinformatics and precision cardiology., , , , , and . Briefings Bioinform., 21 (6): 2031-2051 (2020)The algorithm for precision medicine (invited talk).. SPLASH (Companion Volume), page 2. ACM, (2019)A unified approach to solving seven programming problems (functional pearl)., , , and . Proc. ACM Program. Lang., 1 (ICFP): 8:1-8:26 (2017)Structured reviews for data and knowledge-driven research., , , , , , , and . Database J. Biol. Databases Curation, (2020)Demand Control-Flow Analysis., , , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 226-246. Springer, (2019)