Hong-Yi Chen

Learn More
—Proving program termination is key to guaranteeing absence of undesirable behaviour, such as hanging programs and even security vulnerabilities such as denial-of-service attacks. To make termination checks scale to large systems, interprocedural termination analysis seems essential, which is a largely unex-plored area of research in termination analysis,(More)
  • 1