David Costanzo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | PLDI | Certified concurrent abstraction layers. | Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jrmie Koenig, Vilhelm Sjberg, Hao Chen, David Costanzo, Tahina Ramananandro |
| 2016 | OSDI | CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. | Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjberg, David Costanzo |
| 2016 | PLDI | End-to-end verification of information-flow security for C and assembly programs. | David Costanzo, Zhong Shao, Ronghui Gu |
| 2012 | APLAS | A Case for Behavior-Preserving Actions in Separation Logic. | David Costanzo, Zhong Shao |