Gianluca Palermo John Feo Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016 Conf. Computing Frontiers ACM 2016 978-1-4503-4128-8 https://doi.org/10.1145/2903150 db/conf/cf/cf2016.html