( en | de | ru )

 

Disambiguation of "Bodík, Rastislav"

Author of the publication

copydeleteadd this publication to your clipboard
GreenThumb: superoptimizer construction framework.

, , , and . CC, page 261-262. ACM, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Rastislav Lenhardt

Rastislav Sobotka

Rastislav Kosiba

Rastislav Krajcik

Rastislav Beňo

 

Other publications of authors with the same name

A Hardware Memory Race Recorder for Deterministic Replay., , and . IEEE Micro, 27 (1): 48-55 (2007)GreenThumb: superoptimizer construction framework., , , and . CC, page 261-262. ACM, (2016)Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs., , , , and . CoRR, (2020)Algorithmic program synthesis: introduction., and . Int. J. Softw. Tools Technol. Transf., 15 (5-6): 397-411 (2013)A Lineage-Based Referencing DSL for Computer-Aided Design., , and . Proc. ACM Program. Lang., 7 (PLDI): 76-99 (2023)Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (3): 407-418 (2019)Computer-Aided Personalized Education., , , , , , , , , and 3 other author(s). CoRR, (2020)Using human-in-the-loop synthesis to author functional reactive programs., and . CoRR, (2019)Algorithmic Program Synthesis with Partial Programs and Decision Procedures.. SAS, volume 5673 of Lecture Notes in Computer Science, page 1. Springer, (2009)Focusing processor policies via critical-path prediction., , and . ISCA, page 74-85. ACM, (2001)