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

Research Projects and Talks

Recent Papers

Managed Data: Modular Strategies for Data Abstraction (Ensō Papers 1 of 6)
Alex Loh, Tijs van der Storm, and William R. Cook
(submitted for publication)

Theory and Techniques for Synthesizing Space-Efficient Breadth-First Search Algorithms
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
(submitted for publication)

Functional Programming with Structured Graphs
Bruno C. d. S. Oliveira and William R. Cook
(submitted for publication)

Extensibility for the Masses: Practical Extensibility with Object Algebras
Bruno C. d. S. Oliveira and William R. Cook
European Conference on Object-Oriented Programming (ECOOP). February 2012.

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

Organizations

IFIP WG 2.3 on Programming Methodology
IFIP WG 2.11 on Program Generation
IFIP WG 2.16 on Language Design

Details

Teaching
Publications
Students
Talks
Service
Awards
Personal
Bio
Contact