MoDELS 2020 Best Paper Awards

 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

A recording of the paper presentation is available: