David Costanzo

According to our database, David Costanzo authored at least 8 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.

Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon

Proc. ACM Program. Lang., 2020

2019

Building certified concurrent OS kernels.

Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo

Commun. ACM, 2019

2018

Certified concurrent abstraction layers.

Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

End-to-end verification of information-flow security for C and assembly programs.

David Costanzo, Zhong Shao, Ronghui Gu

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.

Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2014

A Separation Logic for Enforcing Declarative Information Flow Control Policies.

David Costanzo, Zhong Shao

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2012

A Case for Behavior-Preserving Actions in Separation Logic.

David Costanzo, Zhong Shao

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

CertiKOS: a certified kernel for secure cloud computing.

Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011