Publications

(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

(2018). On the Representation of Mappings to Multicores. Proceedings of the IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-18).

Cite DOI URL

(2018). A Hardware/Software Stack for Heterogeneous Systems. IEEE Transactions on Multi-Scale Computing Systems.

Cite DOI URL

(2018). Compiling for Concise Code and Efficient I/O. Proceedings of the 27th International Conference on Compiler Construction (CC 2018).

Cite DOI URL

(2018). Implicit Data-Parallelism in Kahn Process Networks: Bridging the MacQueen Gap. Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM'18), co-located with 13th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC).

Cite DOI URL

(2018). Level Graphs: Generating Benchmarks for Concurrency Optimizations in Compilers. Proceedings of the 11th International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG'2018), co-located with 13th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC).

PDF Cite

(2017). Symmetry in Software Synthesis. ACM Transactions on Architecture and Code Optimization (TACO),.

Cite DOI URL