MPI-SWS researchers win OOPSLA 2017 Distinguished Paper award

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.