
David Swasey, Deepak Garg, and Derek Dreyer have won a Distinguished Paper award at the 2017 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2017) for their paper "Robust and Compositional Verification of Object Capability Patterns." Distinguished Paper awards are given to about 10% of papers at OOPSLA.