POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / David Naumann
David Naumann

Registered user since Mon 2 Jan 2023

Name:David Naumann
Affiliation:Stevens Institute of Technology
Personal website:http://www.cs.stevens.edu/~naumann/

Contributions

POPL 2017 Hypercollecting Semantics and its Application to Static Analysis of Information Flow
SCM 2017 Can relational logic facilitate secure compilation? (Short talk)
Show activities from other conferences

POPL 2017-profile
View general profile