Registered user since Tue 14 Oct 2014
Name:Stephen Kell
Affiliation:University of Kent
Personal website:http://www.cs.kent.ac.uk/people/staff/srk21
Contributions
| POPL 2019 | Exploring C Semantics and Pointer Provenance | ||||||||||||||||||||||||||||||||||||||||
| Off the Beaten Track 2019 | De-escalating Software (Keynote) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile