David Zook
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2004–2009
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CIDR | Declarative Reconfigurable Trust Management. | William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo |
| 2009 | ICSE | Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base. | R. E. Kurt Stirewalt, Spencer Rugaber, Hwa-You Hsu, David Zook |
| 2009 | PADL | Typed Datalog. | David Zook, Emir Pasalic, Beata Sarna-Starosta |
| 2007 | ECOOP | Morphing: Safely Shaping a Class in the Image of Others. | Shan Shan Huang, David Zook, Yannis Smaragdakis |
| 2005 | GPCE | Statically Safe Program Generation with SafeGen. | Shan Shan Huang, David Zook, Yannis Smaragdakis |
| 2004 | GPCE | Generating AspectJ Programs with Meta-AspectJ. | David Zook, Shan Shan Huang, Yannis Smaragdakis |
| 2004 | PEPM | Program generators and the tools to make them. | Yannis Smaragdakis, Shan Shan Huang, David Zook |