David Zook

According to our database, David Zook authored at least 9 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Statically safe program generation with SafeGen.

Shan Shan Huang, David Zook, Yannis Smaragdakis

Sci. Comput. Program., 2011

2009

Typed Datalog.

David Zook, Emir Pasalic, Beata Sarna-Starosta

Proceedings of the Practical Aspects of Declarative Languages, 2009

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

Proceedings of the 31st International Conference on Software Engineering, 2009

Declarative Reconfigurable Trust Management.

William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo

Proceedings of the Fourth Biennial Conference on Innovative Data Systems Research, 2009

2008

Domain-specific languages and program generation with meta-AspectJ.

Shan Shan Huang, David Zook, Yannis Smaragdakis

ACM Trans. Softw. Eng. Methodol., 2008

2007

Morphing: Safely Shaping a Class in the Image of Others.

Shan Shan Huang, David Zook, Yannis Smaragdakis

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

cJ: enhancing java with safe type conditions.

Shan Shan Huang, David Zook, Yannis Smaragdakis

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2004

Program generators and the tools to make them.

Yannis Smaragdakis, Shan Shan Huang, David Zook

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

Generating AspectJ Programs with Meta-AspectJ.

David Zook, Shan Shan Huang, Yannis Smaragdakis

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004