Tampere University of Technology

TUTCRIS Research Portal

ACM SIGSOFT Distinguished Paper Award

Prize: Award or honor granted for a specific work


Shang-Wei Lin (Recipient), Jun Sun (Recipient), Hao Xiao (Recipient), Yang Liu (Recipient), David Sanán (Recipient) & Henri Hansen (Recipient)

For the paper:
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen: FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers

In: Automated Software Engineering (ASE 2017)
October 30 - November 3, Urbana-Champaign, Illinois, USA
Awarded date2017
Degree of recognitionInternational
Granting OrganisationsACM Special Interest Group on Software Engineering (SIGSOFT)
Awarded at eventIEEE/ACM International Conference on Automated Software Engineering

ID: 16860849