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

Recommended citation:

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.