ACM SIGSOFT Distinguished Paper Award
Prize: Award or honor granted for a specific work
???prize_details???
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
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 date | 2017 |
---|---|
Degree of recognition | International |
Granting Organisations | ACM Special Interest Group on Software Engineering (SIGSOFT) |
Awarded at event | IEEE/ACM International Conference on Automated Software Engineering |
ID: 16860849