( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Exploring Self-Embedded Knitting Programs with Twine.

, , и . FARM, стр. 25-31. ACM, (2023)

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.

Zachary Dotscheff

Zachary Evenson

Zachary Hayes

Zachary Taylor

Zachary J Evenson

 

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

Carpentry compiler., , , , , и . ACM Trans. Graph., 38 (6): 195:1-195:14 (2019)Automatically improving accuracy for floating point expressions., , , и . PLDI, стр. 1-11. ACM, (2015)Synthesizing structured CAD models with equality saturation and inverse transformations., , , , , , и . PLDI, стр. 31-44. ACM, (2020)Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler., , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 155-173. Springer, (2019)Programming Language Abstractions for Modularly Verified Distributed Systems., , и . SNAPL, том 71 из LIPIcs, стр. 19:1-19:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Planning for change in a formal verification of the raft consensus protocol., , , , , и . CPP, стр. 154-165. ACM, (2016)Bringing extensibility to verified compilers., и . PLDI, стр. 111-121. ACM, (2010)QED at Large: A Survey of Engineering of Formally Verified Software., , , , и . Found. Trends Program. Lang., 5 (2-3): 102-281 (2019)Pure tensor program rewriting via access patterns (representation pearl)., , , , , , , и . MAPS@PLDI, стр. 21-31. ACM, (2021)Dynamic Tensor Rematerialization., , , , , , , и . ICLR, OpenReview.net, (2021)