AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution). - Jera Hensel; Frank Emrich; Florian Frohn; Thomas Ströder; Jürgen Giesl (TACAS (2), 2017)

FreezeML: complete and easy type inference for first-class polymorphism. - Frank Emrich; Sam Lindley; Jan Stolarek; James Cheney; Jonathan Coates (PLDI, 2020)

Constraint-based type inference for FreezeML. - Frank Emrich; Jan Stolarek; James Cheney; Sam Lindley (Proc. ACM Program. Lang., 2022)

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. - Frank Emrich; Jera Hensel; Jürgen Giesl (CoRR, 2023)