David Costanzo

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang., 2020

2019
Building certified concurrent OS kernels.
Commun. ACM, 2019

2018
Certified concurrent abstraction layers.
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.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2014
A Separation Logic for Enforcing Declarative Information Flow Control Policies.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2012
A Case for Behavior-Preserving Actions in Separation Logic.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
CertiKOS: a certified kernel for secure cloud computing.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011


  Loading...