Publications

(2023). Compound Memory Models. The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2023 (PLDI'23).

Cite DOI URL

(2023). Dataflow Models of Computation for Programming Heterogeneous Multicores. Handbook of Computer Architecture.

Cite DOI URL

(2021). Domain-specific hybrid mapping for energy-efficient baseband processing in wireless networks. ACM Transactions on Embedded Computing Systems (TECS). Special issue of the International Conference on Compilers, Architecture, and Synthesis of Embedded Systems (CASES).

Cite DOI URL

(2021). PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning. Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques (PACT).

Cite DOI URL

(2021). Embeddings of Task Mappings to Multicore Systems. Proceedings of the 21st IEEE International Conference on Embedded Computer Systems: Architectures Modeling and Simulation (SAMOS).

Cite DOI URL

(2021). mpsym: Improving Design-Space Exploration of Clustered Manycores with Arbitrary Topologies. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD).

Cite DOI URL

(2021). Mocasin -- Rapid Prototyping of Rapid Prototyping Tools: A Framework for Exploring New Approaches in Mapping Software to Heterogeneous Multi-cores. Proceedings of the 13th RAPIDO Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, co-located with 16th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC).

Cite

(2020). Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach. Proceedings of the 27th International Conference on Telecomunications (ICT).

Cite

(2020). ComPy-Learn: A Toolbox for Exploring Machine Learning Representations for Compilers. 2020 Forum for Specification and Design Languages (FDL).

Cite

(2020). Achieving Determinism in Adaptive AUTOSAR. Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE).

Cite DOI URL