According to our database1, David Costanzo authored at least 8 papers between 2011 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang., 2020
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
Proceedings of the Principles of Security and Trust - Third International Conference, 2014
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011