ACM SIGSOFT Distinguished Paper Award

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

      Sormenjälki