My co-author Syed and I are very proud and honored to receive the ACM/IEEE MoDELS 2020 award for the Best Foundation Paper sponsored by Springer:
We have also received an ACM SigSoft Distinguished Paper Award:
These awards celebrate our work titled Semantic Comparisons of Alloy Models. The paper, our implementation, and further resources are available from https://github.com/jringert/alloy-diff.
A recording of the paper presentation is available:
Comments
Post a Comment