ACM SIGSOFT Distinguished Paper Award

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

    Prize: Award or honor granted for a specific work

    Description

    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
    Degree of recognitionInternational
    Granting OrganisationsACM Special Interest Group on Software Engineering (SIGSOFT)

    Awarded at event

    Event titleIEEE/ACM International Conference on Automated Software Engineering
    Period1 Jan 1900

      Fingerprint