William R. Cook

Modeling, Domain-Specific Languages

Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs (Ensō Papers 2 of 6)
Tijs van der Storm, William R. Cook, Alex Loh
To appear at International Conference on Software Language Engineering (SLE), 2012.

Managed Data: Modular Strategies for Data Abstraction (Ensō Papers 1 of 6)
Alex Loh, Tijs van der Storm, and William R. Cook
To appear, Onward! 2012 .

Hybrid Partial Evaluation
Amin Shali and William R. Cook
OOPSLA 2011 (Best Student Paper)

Model Transformation by Partial Evaluation of Model Interpreters
William R. Cook, Benjamin Delaware, Thomas Finsterbusch, Ali Ibrahim, Ben Wiedermann
Technical Report TR-09-09, UT Austin Department of Computer Science

Generic Operations and Partial Evaluation using Models
Benjamin Delaware, William R. Cook

Specializing and optimizing declarative domain models
Srinivas Nedunuri and William R. Cook
The 4th OOPSLA Workshop on Domain-Specific Modeling, October 2004.

Transforming declarative models using patterns in MDA
Srinivas Nedunuri and William R. Cook
The OOPSLA Workshop on Best Practices for Model Driven Software Development, October 2004.

Language Support for Distributed Programming and Databases

Remote Batch Invocation for SQL Databases
Ben Wiedermann and William R. Cook
The 13th International Symposium on Database Programming Languages (DBPL), 2011.

Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces
Ali Ibrahim, Yang Jiao, Marc Fisher II, William R. Cook, Eli Tilevich
European Conference on Web Services (ECOWS) 2009

Remote Batch Invocation for Compositional Object Services
European Conference on Object-Oriented Programming (ECOOP 2009)
Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook
(Updated Slides)

"Which Middleware Platform Should You Choose for Your Next Remote Service?,"
Y.-W. Kwon, E. Tilevich, and W. R. Cook,
Springer Journal on Service Oriented Computing and Applications, 2011 (Online-First version).

An Assessment of Middleware Platforms for Accessing Remote Services
Y.-W. Kwon, E. Tilevich, W. R. Cook,
in Proc. of the 7th IEEE International Conference on Services Computing (SCC 2010), Miami, FL, Jul. 2010.

Remote Batch Invocation for Compositional Object Servicescomputing
Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook
ECOOP 2009
More information and system download

Explicit Batching for Distributed Objects
Eli Tilevich, William R. Cook, Yang Jiao
Int’l Conference on Distributed Computing Systems (ICDCS 2009).

ACM DL Author-ize serviceLanguage design for distributed objects
William R. Cook, Eli Tilevich, Ali Ibrahim, Ben Wiedermann
DO21 '09 Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century, 2009
ACM DL Author-ize serviceInterprocedural query extraction for transparent persistence
Ben Wiedermann, Ali Ibrahim, William R. Cook
OOPSLA '08 Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, 2008
ACM DL Author-ize serviceExtracting queries by static analysis of transparent persistence
Ben Wiedermann, William R. Cook
ACM SIGPLAN Notices - Proceedings of the 2007 POPL Conference, 2007

Automatic Prefetching by Traversal Profiling in Object Persistence Architectures (2up for printing) (Springer)
Ali Ibrahim & William R. Cook
Proc. of the European Conference on Object-Oriented Programming (ECOOP), 2006
July 3-7, Nantes, France
(Slides from talk)

Web Services versus Distributed Objects: A Case Study of Performance and Interface Design
William R. Cook, Janel Barfield
Proc. of the IEEE International Conference on Web Services ( ICWS) 2006.
September 18-22, Chicago, USA. (Best Paper)
slides from talk

Native Queries for Persistent Objects, A Design White Paper
William R. Cook, Carl Rosenberger
Dr. Dobb's Journal (DDJ), February 2006.

ACM DL Author-ize serviceSafe query objects: statically typed objects as remotely executable queries
William R. Cook, Siddhartha Rai
ICSE '05 Proceedings of the 27th international conference on Software engineering, 2005

Preliminary version Tech report TR04-17.
Slides from ICSE talk

Programming Languages & Databases: What’s the Problem?
William R. Cook and Ali H. Ibrahim
The University of Texas at Austin, Department of Computer Science. Technical Report TR-07-10. February 20, 2007. 18 pages.

Algorithm Synthesis

Theory and Techniques for Synthesizing Space-Efficient Breadth-First Search Algorithms
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
1st Workshop on Synthesis (SYNT), 2012

Cost-Based Learning for Planning
Srinivas Nedunuri, William R. Cook, and Douglas R. Smith
3rd workshop on Learning and Planning (PAL) at ICAPS 2011

An Class of Greedy Algorithms and Its Relation to Greedoids
S. Nedunuri and D. R. Smith and W. R. Cook
in Intl. Colloq. on Theoretical Aspects of Computing (ICTAC), 2010.

An Synthesis of Greedy Algorithms using Dominance Relations
S. Nedunuri and D. R. Smith and W. R. Cook
in 2nd NASA Symp. on Formal Methods), 2010.

ACM DL Author-ize serviceSynthesis of fast programs for maximum segment sum problems
Srinivas Nedunuri, William R. Cook
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering, 2009

Tactical Synthesis of Efficient Global Search Algorithms
Srinivas Nedunuri, Douglas R. Smith and William R. Cook
First NASA Formal Methods Symposium (NFM), 2009.

Handling Uncertainty in Job-Shop Scheduling
Srinivas Nedunuri, Douglas Smith and William R. Cook
1st International Workshop on Living with Uncertainties (IWLU) 2007.

Concurrent Programming

The Orc Programming Language
David Kitchin, Adrian Quark, William Cook, Jayadev Misra
IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE), 2009.

A Timed Semantics of Orc
Ian Wehrman, David Kitchin, William R. Cook. Jayadev Misra
Theoretical Computer Science 402(2-3), pp. 234-248, August 2008.

Structured Interacting Computations (A position paper)
William R. Cook and Jayadev Misra
Proceedings of "Software-Intensive Systems", Springer Verlag, LNCS 5380, pp139--145, 2008.

Properties of the Timed Operational and Denotational Semantics of Orc
Ian Wehrman, David Kitchin, William R. Cook. Jayadev Misra
Technical Report TR-07-65, University of Texas at Austin, Department of Computer Science, 2007

Event Structure Semantics of Orc
4th International Workshop on Web Services and Formal Methods (WS-FM 2007)
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, and Claude Jard
Irisa and UT Austin

Orc-X: Combining Orchestrations and XQuery
Kristi Morton, David Kitchin, William R. Cook
The University of Texas at Austin, Department of Computer Science, December 2007, Report# TR-07-63.

Language for Task Orchestration and its Semantic Properties (2up for printing)
David Kitchin, William R. Cook and Jayadev Misra
Proc. of the International Conference on Concurrency Theory (CONCUR), 2006.
August 27-30, Bonn, Germany.
Extended version: UTCS Technical Rerport TR-06-32

Workflow Patterns in Orc (2up for printing)
William R. Cook, Sourabh Patwardhan, and Jayadev Misra
Proc. of the International Conference on Coordination Models and Languages (COORDINATION), 2006.
(slides from talk)

Computation Orchestration: A Basis for Wide-Area Computing (bib) (DOI)
Jayadev Misra and William Cook
Journal of Software and Systems Modeling, May 2006.

A Language for Task Orchestration and its Semantic Properties (2up for printing) (bib)
David Kitchin, William R. Cook and Jayadev Misra
Proc. of the International Conference on Concurrency Theory (CONCUR), 2006.

Computation Orchestration: A Basis for Wide-Area Computing (bib) (DOI)
Jayadev Misra and William R. Cook
Journal of Software and Systems Modeling, May 2006.

Workflow Patterns in Orc (2up for printing) (bib)
William R. Cook, Sourabh Patwardhan, and Jayadev Misra
Proc. of the International Conference on Coordination Models and Languages (COORDINATION), 2006.
(slides from talk)

Functional Programming

Functional Programming with Structured Graphs
Bruno C. d. S. Oliveira and William R. Cook
International Conference on Functional Programming(ICFP), 2012.

Function Inheritance: Monadic Memoization Mixins
Daniel Brown and William R. Cook
Brazilian Symposium on Programming Languages (SBLP), 2009.
Also University of Texas at Austin, Department of Computer Science. Technical Report TR-07-11. February 20, 2007. 11 pages.
(Slides presented in Gramado)

Object-Oriented Programming

ACM DL Author-ize serviceOn understanding data abstraction, revisited
William R. Cook
ACM SIGPLAN Notices - OOPSLA '09, 2009

Extensibility for the Masses: Practical Extensibility with Object Algebras
Bruno C. d. S. Oliveira and William R. Cook
Accepted at the 26th European Conference on Object-Oriented Programming (ECOOP), 2012. (Best Paper)

ACM DL Author-ize serviceInterfaces and specifications for the Smalltalk-80 collection classes
William R. Cook
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications, 1992
ACM DL Author-ize serviceMixin-based inheritance
Gilad Bracha, William Cook
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, 1990

Object-oriented programming versus abstract data types (bib)
William R. Cook
Proc. of the REX Workshop/School on the Foundations of Object-Oriented Languages (FOOL), LNCS 489, Springer-Verlag, 1990, pp. 151-178.

ACM DL Author-ize serviceInheritance is not subtyping
William R. Cook, Walter Hill, Peter S. Canning
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1989
ACM DL Author-ize serviceA denotational semantics of inheritance and its correctness
W. Cook, J. Palsberg
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications, 1989
ACM DL Author-ize serviceInterfaces for strongly-typed object-oriented programming
P. S. Canning, W. R. Cook, W. L. Hill, W. G. Olthoff
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications, 1989
ACM DL Author-ize serviceF-bounded polymorphism for object-oriented programming
Peter Canning, William Cook, Walter Hill, Walter Olthoff, John C. Mitchell
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

A proposal for making Eiffel type-safe (DOI) (bib)
William R. Cook
The Computer Journal 32(4):305-311, 1989. Originally in Proc. European Conf. on Object-Oriented Programming (ECOOP), British Computing Society Workshop Series, 1989, pp. 57-70.

A Denotational Semantics of Inheritance (bib)
William R. Cook
Ph.D. Thesis, Brown University, Department of Computer Science Report CS-89-33, 1989.

Advanced Modularity, Types, and Metatheory

Theorem Proving for Product Lines
Benjamin Delaware, William R. Cook, and Don Batory
OOPSLA 2011

ACM DL Author-ize serviceEffectiveAdvice: disciplined advice with explicit effects
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
AOSD '10 Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010
ACM DL Author-ize serviceFitting the pieces together: a machine-checked model of safe composition
Benjamin Delaware, William R. Cook, Don Batory
ESEC/FSE '09 Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2009
ACM DL Author-ize serviceA machine-checked model of safe composition
Benjamin Delaware, William Cook, Don Batory
FOAL '09 Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, 2009
ACM DL Author-ize serviceA virtual class calculus
Erik Ernst, Klaus Ostermann, William R. Cook
POPL '06 Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2006

Evaluating Support for Features in Advanced Modularization Technologies (DOI) (bib)
Roberto E. Lopez-Herrejon, Don Batory, and William R. Cook
Proc. of the European Conference on Object-Oriented Programming (ECOOP), 2005.
SpringerLink

ACM DL Author-ize serviceSoundness of the simply typed lambda calculus in ACL2
Sol Swords, William R. Cook
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications, 2006

AppleScript

ACM DL Author-ize serviceAppleScript
William R. Cook
HOPL III Proceedings of the third ACM SIGPLAN conference on History of programming languages, 2007

The Open Scripting Architecture: Automating, Integrating, and Customizing Applications
William R. Cook and Warren H. Harris
Unpublished manuscript, 1993.

Security

Implementing Reflective Access Control in SQL
Lars E. Olson, Carl A. Gunter, William R. Cook, and Marianne Winslett
IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec) 2009.

Policy-Based Authorization
William R. Cook
(unpublished manuscript)

Other

ACM DL Author-ize serviceHigh-level problems in teaching undergraduate programming languages
William R. Cook
ACM SIGPLAN Notices, 2008

Some Facts about String Interleaving
William Cook and Jayadev Misra; February 17, 2005

Gel: A Generic Extensible Language
Jose Falcon, William R. Cook
IFIP Working Conference on Domain Specific Languages (DSL WC) 2009
Gel on Google Code