Advanced automata-based algorithms for program termination checking
Published in Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018), 2018
This is joint work with Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Ming-Hsien Tsai, Andrea Turrini, and Lijun Zhang. The published paper is available here.