David Zook

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