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.

 

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

Soufflé: On Synthesis of Program Analyzers., , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 422-430. Springer, (2016)Secure Arcade: A Gamified Defense Against Cyber Attacks., , , , , и . CoRR, (2023)INSPIRE: The insieme parallel intermediate representation., , , , и . PACT, стр. 7-17. IEEE Computer Society, (2013)A Context-Aware Primitive for Nested Recursive Parallelism., , , , и . Euro-Par Workshops, том 10104 из Lecture Notes in Computer Science, стр. 149-161. Springer, (2016)A specialized B-tree for concurrent datalog evaluation., , , и . PPoPP, стр. 327-339. ACM, (2019)The AllScale API., , , и . eScience, стр. 488-497. IEEE, (2019)Parallelizing a CAD Model Processing Tool from the Automotive Industry., , , , , , , и . Euro-Par Workshops (1), том 8805 из Lecture Notes in Computer Science, стр. 24-35. Springer, (2014)An efficient interpreter for Datalog by de-specializing relations., , , и . PLDI, стр. 681-695. ACM, (2021)Optimal On The Fly Index Selection in Polynomial Time., , и . CoRR, (2017)Dynamic Real-Time Resource Provisioning for Massively Multiplayer Online Games., , , и . PaCT, том 5698 из Lecture Notes in Computer Science, стр. 98-111. Springer, (2009)