David Zook

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Shan Shan Huang, David Zook, Yannis Smaragdakis
Statically safe program generation with SafeGen. Sci. Comput. Program. 76 (5) (2011)
David Zook, Emir Pasalic, Beata Sarna-Starosta
Typed Datalog. PADL (2009)
William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
Declarative Reconfigurable Trust Management CoRR (2009)
William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
Declarative Reconfigurable Trust Management. CIDR (2009)
R. E. Kurt Stirewalt, Spencer Rugaber, Hwa-You Hsu, David Zook
Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base. ICSE Companion (2009)
Shan Shan Huang, David Zook, Yannis Smaragdakis
Domain-specific languages and program generation with meta-AspectJ. ACM Trans. Softw. Eng. Methodol. 18 (2) (2008)
Shan Shan Huang, David Zook, Yannis Smaragdakis
cJ: enhancing java with safe type conditions. AOSD (2007)
Shan Shan Huang, David Zook, Yannis Smaragdakis
Morphing: Safely Shaping a Class in the Image of Others. ECOOP (2007)
Shan Shan Huang, David Zook, Yannis Smaragdakis
Statically Safe Program Generation with SafeGen. GPCE (2005)
Yannis Smaragdakis, Shan Shan Huang, David Zook
Program generators and the tools to make them. PEPM (2004)
David Zook, Shan Shan Huang, Yannis Smaragdakis
Generating AspectJ Programs with Meta-AspectJ. GPCE (2004)