Publications

(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

(2019). On Compact Mappings for Multicore Systems. Proceedings of the IEEE International Conference on Embedded Computer Systems Architectures Modeling and Simulation (SAMOS).

Cite DOI URL

(2019). A Case Study on Machine Learning for Synthesizing Benchmarks. Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL).

Cite DOI URL

(2019). Actors Revisited for Time-Critical Systems. Proceedings of the 56th annual Design Automation Conference.

Cite DOI URL

(2019). Category-Theoretic Foundations of ``STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism''. CoRR.

Cite arXiv URL