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.

 

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

Flexible data views: design and implementation., и . ARRAY@PLDI, стр. 25-32. ACM, (2017)Towards Strong Normalization for Dependent Object Types (DOT)., и . ECOOP, том 74 из LIPIcs, стр. 27:1-27:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Collapsing towers of interpreters., и . Proc. ACM Program. Lang., 2 (POPL): 52:1-52:33 (2018)Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect., , , , и . OOPSLA, стр. 234-251. ACM, (2016)Lightweight Modular Staging and Embedded Compilers - Abstraction without Regret for High-Level High-Performance Programming.. EPFL, Switzerland, (2012)Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data., , , , , и . OSDI, стр. 799-815. USENIX Association, (2018)Towards compiling graph queries in relational engines., , , и . DBPL, стр. 30-41. ACM, (2019)From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero., и . CoRR, (2018)Reflections on LMS: exploring front-end alternatives.. SCALA@SPLASH, стр. 41-50. ACM, (2016)Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures., и . PADL, том 14512 из Lecture Notes in Computer Science, стр. 64-81. Springer, (2024)