William R. Cook

Associate Professor, Department of Computer Science, UT Austin
Contact: email     blog    Twitter   Calendar  Office: ACES 5.244

News blog

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.

Current Activities

• Teaching CS378 Software Development

Research Projects and Talks

• 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

  • Slides from a talk on partial evaluation Summary 2011

  • A tutorial on partial evaluation

• Advanced Modularity

  • Data Abstraction Revisited

• Algorithm Synthesis

Recent Papers

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.

Details

Teaching
Publications
Students
Talks
Service
Awards
Personal
Bio
Contact