William
R. CookAssociate Professor, Department
of Computer Science, UT
Austin
Contact: email
blog
Twitter Calendar
Office: ACES 5.244
Programming languages, modeling languages, domain-specific languages, strategic programming, interfacing programming languages and databases, distributed computing and web services, software engineering, type theory, mixins, object-oriented programming, web-based information systems.
EnsÅ: theoretically sound and practical reformulation of the concepts of model-driven software development.
Slides from a talk at Viewpoints Research in Fall 2011
Batches: a new approach to RPC, database access (SQL clients), and web services
Most recent talk given as a Microsoft Research seminar in Fall 2011
Orc : a language for structured concurrency and internet programming
Hybrid Partial Evaluation: a practical approach to partial evaluation in object-oriented languages
Advanced Modularity
Algorithm Synthesis
Remote
Batch Invocation for SQL Databases
Ben
Wiedermann and William R. Cook
The 13th International Symposium on
Database Programming Languages (DBPL), 2011.
Hybrid
Partial Evaluation
Amin Shali and William R. Cook
OOPSLA
2011 (Best Student Paper)
Cost-Based
Learning for Planning
Srinivas Nedunuri, William R. Cook,
and Douglas R. Smith
3rd workshop on Learning and Planning (PAL)
at ICAPS 2011
Theorem
Proving for Product Lines
Benjamin Delaware, William R.
Cook, and Don Batory
OOPSLA 2011
EffectiveAdvice:
Disciplined Advice with Explicit Effects
Bruno C. d.
S. Oliveira, Tom Schrijvers and William R. Cook
International
Conference on Aspect-Oriented Software Development (AOSD). March
2010.
Teaching
Publications
Students
Talks
Service
Awards
Personal
Bio
Contact