Author of the publication

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations.

, , , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 493-508. Springer, (2014)

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.

 

Other publications of authors with the same name

Polyhedral-based data reuse optimization for configurable computing., , , and . FPGA, page 29-38. ACM, (2013)High-performance code generation for stencil computations on GPU architectures., , and . ICS, page 311-320. ACM, (2012)Inside Vaucanson., , , , and . CIAA, volume 3845 of Lecture Notes in Computer Science, page 116-128. Springer, (2005)Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model., , and . CoRR, (2020)On Using the Roofline Model with Lower Bounds on Data Movement., , , , , , and . ACM Trans. Archit. Code Optim., 11 (4): 67:1-67:23 (2014)PALMED: Throughput Characterization for Superscalar Architectures., , , , , , and . CGO, page 106-117. IEEE, (2022)FOURST: A code generator for FFT-based fast stencil computations., , , , , , and . ISPASS, page 99-108. IEEE, (2022)Effective resource management for enhancing performance of 2D and 3D stencils on GPUs., , , , , and . GPGPU@PPoPP, page 92-102. ACM, (2016)Distributed memory code generation for mixed Irregular/Regular computations., , , , , , and . PPoPP, page 65-75. ACM, (2015)POSTER: Hybrid Data Dependence Analysis for Loop Transformations., , , and . PACT, page 439-440. ACM, (2016)