David Naumann -

Not registered as user yet

Name: David Naumann

Affiliation: Stevens Institute of Technology

Personal website: http://www.cs.stevens.edu/~naumann/

Contributions

ISMM 2020	Author of Verified Sequential Malloc/Free within the ISMM 2020-track
PriSC 2019	Session Chair of Session 4 (part of PriSC 2019) Committee Member in Program Committee within the PriSC 2019-track
POPL 2019	Session Chair of Abstract Interpretation (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
PriSC 2018	Session Chair of Session 2 (part of PriSC 2018) Committee Member in Program Committee within the PriSC 2018-track
SCM 2017	Presenter of Can relational logic facilitate secure compilation? (Short talk) within the SCM-track
POPL 2017	Author of Hypercollecting Semantics and its Application to Static Analysis of Information Flow within the POPL-track
ECOOP 2016	Committee Member in External Review Committee within the Research Track-track
Modularity 2016	Committee Member in Review Committee (External) within the Research Results-track