Celebrating Excellence at POPL 2013
The topic of security was a recurrent theme at the 40th ACM Principles of Programming Languages conference. Microsoft researchers delivered a keynote address, presented our Verified Software Milestone Award, and had many interesting chats with participants.
↧
Celebrating Excellence at POPL 2013
↧