Publications

(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

(2020). Generalized Data Placement Strategies for Racetrack Memories. Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE).

Cite DOI URL

(2020). Compiler-Based Graph Representations for Deep Learning Models of Code. Proceedings of the 29th ACM SIGPLAN International Conference on Compiler Construction (CC 2020).

Cite DOI URL

(2020). Reactors: A Deterministic Model for Composable Reactive Systems. Cyber Physical Systems. Model-Based Design – Proceedings of the 9th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2019) and the Workshop on Embedded and Cyber-Physical Systems Education (WESE 2019).

Cite DOI URL

(2019). STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism. Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell.

Cite DOI URL