Chinawat Isradisaikul and Andrew Myers received a Distinguished Paper Award for their paper in ACM PLDI 2013, "Reconciling exhaustive pattern matching with objects".