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.

 

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

Persistency semantics of the Intel-x86 architecture., , , и . Proc. ACM Program. Lang., 4 (POPL): 11:1-11:31 (2020)ARCHITECT: Arbitrary-precision Hardware with Digit Elision for Efficient Iterative Compute., , , и . CoRR, (2019)View-Based Owicki-Gries Reasoning for Persistent x86-TSO., , , , и . ESOP, том 13240 из Lecture Notes in Computer Science, стр. 234-261. Springer, (2022)DASS: Combining Dynamic & Static Scheduling in High-Level Synthesis., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (3): 628-641 (2022)Resource Sharing for Verified High-Level Synthesis., , и . FCCM, стр. 1-6. IEEE, (2022)Modulo Scheduling with Rational Initiation Intervals in Custom Hardware Design., , , и . ASP-DAC, стр. 568-573. IEEE, (2020)Probabilistic Optimization for High-Level Synthesis., , и . FPGA, стр. 145. ACM, (2021)A Case for Precise, Fine-Grained Pointer Synthesis in High-Level Synthesis., , и . ACM Trans. Design Autom. Electr. Syst., 27 (4): 30:1-30:26 (2022)Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools., , и . IEEE Trans. Software Eng., 49 (12): 5084-5102 (декабря 2023)Specifying and Testing GPU Workgroup Progress Models., , , , , , и . CoRR, (2021)