David G. Clarke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1998–2006
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ESOP | Types for Hierarchic Shapes. | Sophia Drossopoulou, David G. Clarke, James Noble |
| 2003 | OOPSLA | Saving the world from bad beans: deployment-time confinement checking. | David G. Clarke, Michael Richmond, James Noble |
| 2002 | OOPSLA | Ownership, encapsulation and the disjointness of type and effect. | David G. Clarke, Sophia Drossopoulou |
| 2001 | ECOOP | Simple Ownership Types for Object Containment. | David G. Clarke, James Noble, John Potter |
| 1998 | OOPSLA | Ownership Types for Flexible Alias Protection. | David G. Clarke, John Potter, James Noble |