Paper with Cornell CS Authors and Alumni Wins Distinguished Award at POPL

Steffen Smolka (Cornell CS Ph.D. ’19), Nate Foster (Cornell CS Associate Professor), Justin Hsu (former Cornell CS postdoc, now faculty at the University of Wisconsin, Madison), Tobias Kappé (University College London), Dexter Kozen (Joseph Newton Pew, Jr. Professor in Engineering and CS Professor), and Alexandra Silva (former Cornell...