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

• Lang.NEXT at Microsoft
• SPLASH 2012 in Tucson
• First International Workshop on Cross-model Language Design and Implementation
• 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

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

Details

Teaching
Publications
Students
Talks
Service
Awards
Personal
Bio
Contact