2021

Davies, Eleanor (2021) Modular reasoning about combining modular compiler phases. PhD thesis, University of Warwick.

2020

Davies, Eleanor and Kalvala, Sara (2020) Postcondition-preserving fusion of postorder tree transformations. In: CC 2020, San Diego, CA, 22–23 Feb 2020. Published in: Proceedings of the 29th International Conference on Compiler Construction (CC ’20) pp. 191-200. ISBN 9781450371209. doi:10.1145/3377555.3377884