Federico Ciccozzi. Unicomp: a semantics-aware model compiler for optimised predictable software. In Andrea Zisman, Sven Apel, editors, Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 41-44, ACM, 2018. [doi]
Abstract is missing.