Travelled to:1 × Canada
1 × Denmark
1 × Finland
1 × France
2 × Cyprus
2 × Italy
2 × USA
2 × United Kingdom
Collaborated with:A.Banerjee ∅ A.Cavalcanti S.Rosenberg M.Barnett S.M.Shaner G.T.Leavens Q.Sun Mounir Assaf J.Signoles Eric Totel Frédéric Tronel
Talks about:inform (3) state (3) order (3) encapsul (2) program (2) modular (2) languag (2) semant (2) region (2) reason (2)
Person: David A. Naumann
DBLP: Naumann:David_A=
Contributed to:
2012
2010
2008
20072005
2005
2004
2004
2002
2002
200119992017Wrote 13 papers:
- VMCAI-2012-RosenbergBN #logic
- Decision Procedures for Region Logic (SR, AB, DAN), pp. 379–395.
- ESOP-2010-NaumannB #bound #first-order #higher-order #information management
- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.
- ECOOP-2008-BanerjeeNR #invariant #logic #reasoning
- Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.
- OOPSLA-2007-ShanerLN #composition #higher-order #source code #verification
- Modular verification of higher-order methods with mandatory calls specified by model programs (SMS, GTL, DAN), pp. 351–368.
- ECOOP-2005-BanerjeeN #encapsulation
- State Based Ownership, Reentrance, and Encapsulation (AB, DAN), pp. 387–411.
- FASE-2005-Naumann #encapsulation
- Observational Purity and Encapsulation (DAN), pp. 190–204.
- LICS-2004-NaumannB #imperative #invariant #reasoning #towards
- Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
- SAS-2004-SunBN #composition #constraints #data flow #object-oriented
- Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (QS, AB, DAN), pp. 84–99.
- FME-2002-CavalcantiN #refinement #simulation
- Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
- POPL-2002-BanerjeeN #data access #independence #representation
- Representation independence, confinement and access control [extended abstract] (AB, DAN), pp. 166–177.
- PPDP-2001-Naumann #imperative #modelling #programming #relational
- Ideal Models for Pointwise Relational and State-Free Imperative Programming (DAN), pp. 4–15.
- FM-v2-1999-CavalcantiN #object-oriented #refinement #semantics
- A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.
- POPL-2017-AssafNSTT #data flow #semantics #static analysis
- Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.