Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
David Costanzo
Observed name:
Costanzo, David
Institution:
Yale University
Observed institution:
Yale University
OpenAlex ID:
A5046654886
CertiKOS: an extensible architecture for building certified concurrent OS kernels
2016
·
Ronghui Gu
, Zhong Shao
, et al.
·
Operating Systems Design and Implementation
·
186
Certified concurrent abstraction layers
2018
·
Ronghui Gu
, Zhong Shao
, et al.
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
80
PDF
CertiKOS
2011
·
Liang Gu
, Alexander Vaynberg
, et al.
·
Asia-Pacific Workshop on Systems
·
59
End-to-end verification of information-flow security for C and assembly programs
2016
·
David Costanzo
, Zhong Shao
, et al.
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
54
PDF
Building certified concurrent OS kernels
2019
·
Ronghui Gu
, Zhong Shao
, et al.
·
Communications of the ACM
·
40
PDF
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation
2019
·
Mengqi Liu
, Lionel Rieg
, et al.
·
Proceedings of the ACM on Programming Languages
·
18
PDF
Certified concurrent abstraction layers
2018
·
Ronghui Gu
, Zhong Shao
, et al.
·
ACM SIGPLAN Notices
·
17
PDF
End-to-end verification of information-flow security for C and assembly programs
2016
·
David Costanzo
, Zhong Shao
, et al.
·
ACM SIGPLAN Notices
·
17
A Separation Logic for Enforcing Declarative Information Flow Control Policies
2014
·
David Costanzo
, Zhong Shao
·
Lecture notes in computer science
·
15
PDF
A Case for Behavior-Preserving Actions in Separation Logic
2012
·
David Costanzo
, Zhong Shao
·
Lecture notes in computer science
·
5
Full supersymmetry simulation for ATLAS in DC1
2004
·
M. Biglietti
, Frédéric Brochu
, et al.
·
CERN Document Server (European Organization for Nuclear Research)
Show more works
View as search
Works count:
13
Citation count:
491
H-index:
9
I10-index:
9
Year
Topic
Type
