Most influential Paper of ICFP’12

Congratulations to CNS faculty member Deian Stefan for receiving the most influential paper of ICFP’12 award for “Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems.”