Author of the publication

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

Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"., , , , and . CoRR, (2019)STCLang: state thread composition as a foundation for monadic dataflow parallelism., , , , and . Haskell@ICFP, page 146-161. ACM, (2019)On Compact Mappings for Multicore Systems., , and . SAMOS, volume 11733 of Lecture Notes in Computer Science, page 325-335. Springer, (2019)A Reinforcement Learning Environment for Polyhedral Optimizations., , and . CoRR, (2021)PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning., , and . PACT, page 17-29. IEEE, (2021)Robust Mapping of Process Networks to Many-Core Systems using Bio-Inspired Design Centering., , , , and . SCOPES, page 21-30. ACM, (2017)Guided Equality Saturation., , , , , and . Proc. ACM Program. Lang., 8 (POPL): 1727-1758 (January 2024)Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach., , , , , and . ICT, page 1-5. IEEE, (2020)ComPy-Learn: A toolbox for exploring machine learning representations for compilers., , and . FDL, page 1-4. IEEE, (2020)Embeddings of Task Mappings to Multicore Systems., and . SAMOS, volume 13227 of Lecture Notes in Computer Science, page 161-176. Springer, (2021)