( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
FPGA Technology Mapping Using Sketch-Guided Program Synthesis.

, , , , , , , , и . ASPLOS (2), стр. 416-432. ACM, (2024)

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

 

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

Automatically improving accuracy for floating point expressions., , , и . PLDI, стр. 1-11. ACM, (2015)Carpentry compiler., , , , , и . ACM Trans. Graph., 38 (6): 195:1-195:14 (2019)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)Bringing extensibility to verified compilers., и . PLDI, стр. 111-121. ACM, (2010)Planning for change in a formal verification of the raft consensus protocol., , , , , и . CPP, стр. 154-165. ACM, (2016)Programming Language Abstractions for Modularly Verified Distributed Systems., , и . SNAPL, том 71 из LIPIcs, стр. 19:1-19:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)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)Better Together: Unifying Datalog and Equality Saturation., , , , , , , и . Proc. ACM Program. Lang., 7 (PLDI): 468-492 (2023)