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)

    Palkinto: Palkinto tai huomionosoitus tuotoksesta

    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
    Myöntöpäivä2017
    Tunnustuksen arvoInternational
    Myöntävät organisaatiotACM Special Interest Group on Software Engineering (SIGSOFT)

    Myönnetty tapahtumassa

    Tapahtuman otsikkoIEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING
    Aikajakso1 tammik. 1900

      Sormenjälki

    Asiakirjat ja linkit