• Sign in
  • Sign up
conf.researchr.org / David Naumann
  • ECOOP 2016 profile
  • ECOOP and ISSTA 2023 profile
  • Modularity 2016 profile
  • PLDI 2020 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2023 profile
David Naumann

Registered user since Mon 2 Jan 2023

Name:David Naumann
Country:United States
Affiliation:Stevens Institute of Technology
Personal website: https://dnaumann.github.io/dnaumann/
Research interests:software verification, security, semantics, programming languages

Contributions

2023

ECOOP

  • Author of Toward Tool-Independent Summaries for Symbolic Execution within the Research Papers-track

POPL

  • Author of An Algebra of Alignment for Relational Verification within the POPL-track
  • Committee Member in Program Committee within the POPL-track

2020

ISMM

  • Author of Verified Sequential Malloc/Free within the ISMM 2020-track

2019

POPL

  • Session Chair of Abstract Interpretation (part of Research Papers)
  • Committee Member in Program Committee within the Research Papers-track

PriSC

  • Session Chair of Session 4 (part of PriSC 2019)
  • Committee Member in Program Committee within the PriSC 2019-track

2018

PriSC

  • Session Chair of Session 2 (part of PriSC 2018)
  • Committee Member in Program Committee within the PriSC 2018-track

2017

POPL

  • Author of Hypercollecting Semantics and its Application to Static Analysis of Information Flow within the POPL-track

SCM

  • Presenter of Can relational logic facilitate secure compilation? (Short talk) within the SCM-track

2016

ECOOP

  • Committee Member in External Review Committee within the Research Track-track

Modularity

  • Committee Member in Review Committee (External) within the Research Results-track
Share
xWed 29 Nov 19:31
using conf.researchr.org (v1.62.0)
Support page
Sign Up