ACM SIGSOFT Distinguished Paper Award

  • Lin, S. (Recipient), Sun, J. (Recipient), Xiao, H. (Recipient), Liu, Y. (Recipient), Sanán, D. (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
    Awarded date2017
    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

    Documents & Links