David Costanzo

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 5

Top Topics

Kernel Function

Information Flows

Concurrent Processes

Top Venues

Proc. ACM Program. Lang.

Publications

Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation. Proc. ACM Program. Lang. 4 (POPL) (2020)
Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo
Building certified concurrent OS kernels. Commun. ACM 62 (10) (2019)
Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro
Certified concurrent abstraction layers. PLDI (2018)
David Costanzo, Zhong Shao, Ronghui Gu
End-to-end verification of information-flow security for C and assembly programs. PLDI (2016)
Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. OSDI (2016)
David Costanzo, Zhong Shao
A Separation Logic for Enforcing Declarative Information Flow Control Policies. POST (2014)
David Costanzo, Zhong Shao
A Case for Behavior-Preserving Actions in Separation Logic. APLAS (2012)
Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo
CertiKOS: a certified kernel for secure cloud computing. APSys (2011)