Journals and Book Chapters, Conferences & Journals, Workshops, Panels, Short notes, Lectures
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). 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
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.
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.
EffectiveAdvice: disciplined advice with explicit effectsRemote
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)
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
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.
Synthesis of fast programs for maximum segment sum problemsImplementing 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.
Gel: A Generic Extensible
Language
Jose Falcon, William R. Cook
IFIP
Working Conference on Domain Specific Languages (DSL WC) 2009
Gel
on Google Code
Interprocedural query extraction for transparent persistenceStructured
Interacting Computations (A position paper)
William R.
Cook and Jayadev Misra
Proceedings of "Software-Intensive
Systems", Springer Verlag, LNCS 5380, pp139--145, 2008.
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)
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
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)
William R. Cook, Sourabh Patwardhan, and Jayadev
Misra
Proc. of the International
Conference on Coordination Models and Languages
(COORDINATION), 2006.
(slides
from talk)
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)
Explicit Batching for
Distributed Objects
Eli Tilevich, William R. Cook, Yang
Jiao
Int’l Conference on Distributed Computing Systems (ICDCS
2009).
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
(slides
from talk)
Fitting the pieces together: a machine-checked model of safe compositionFunction
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)
Evaluating
Support for Features in Advanced Modularization Technologies
Roberto
E. Lopez-Herrejon, Don Batory, and William R. Cook
Proc. of the
European Conference on Object-Oriented Programming (ECOOP),
2005 SpringerLink
Tactical Synthesis of Efficient
Global Search Algorithms
Srinivas Nedunuri, Douglas R.
Smith and William R. Cook
First NASA Formal Methods Symposium
(NFM), 2009.
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).
Gel: A Generic Extensible
Language
Jose Falcon, William R. Cook
IFIP Working Conference on Domain Specific Languages (DSL WC) 
Handling
Uncertainty in Job-Shop Scheduling Soundness of the Simply Typed Lambda
Calculus in ACL2 A Language for
Task Orchestration and its Semantic Properties (2up
for printing) (bib)
Web Services versus Distributed
Objects: A Case Study of Performance and Interface Design (bib)
Automatic Prefetching by
Traversal Profiling in Object Persistence Architectures (2up
for printing) (bib) Workflow Patterns
in Orc (2up for
printing) (bib)
Srinivas Nedunuri,
Douglas Smith and William R. Cook
1st International Workshop on
Living with Uncertainties (IWLU) 2007.
AppleScriptWilliam R. Cook
HOPL III Proceedings of the third ACM SIGPLAN conference on History of programming languages, 2007
Sol Swords and William R. Cook
ACL2
Workshop, 2006
David Kitchin, William R. Cook and Jayadev Misra
Proc. of the International Conference on Concurrency Theory
(CONCUR), 2006.
William R. Cook, Janel Barfield
Proc. of the IEEE
International Conference on Web Services ( ICWS) 2006.
Ali
Ibrahim and William R. Cook
Proc. of the European
Conference on Object-Oriented Programming (ECOOP), 2006.
William
R. Cook, Sourabh Patwardhan, and Jayadev Misra
Proc. of the
International Conference on Coordination Models and Languages
(COORDINATION), 2006.
(slides
from talk)A virtual class calculusErik Ernst, Klaus Ostermann, William R. Cook
POPL '06 Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2006Safe query objects: statically typed objects as remotely executable queriesWilliam 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
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
Interfaces and specifications for the Smalltalk-80 collection classesMixin-based inheritanceObject-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.
Interfaces for strongly-typed object-oriented programmingF-bounded polymorphism for object-oriented programming"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).
Computation Orchestration:
A Basis for Wide-Area Computing (bib)
(DOI)
Jayadev Misra and William Cook
Journal
of Software and Systems Modeling, May 2006.
Inheritance is not subtypingA denotational semantics of inheritance and its correctnessA 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.
Language design for distributed objectsA machine-checked model of safe compositionHigh-level problems in teaching undergraduate programming languagesHandling
Uncertainty in Job-Shop Scheduling
Srinivas Nedunuri,
Douglas Smith and William R. Cook
1st International Workshop on
Living with Uncertainties (IWLU) 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
Soundness of the simply typed lambda calculus in ACL2Specializing
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.
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.
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
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.
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
Native
Queries for Persistent Objects, A Design White Paper
William
R. Cook, Carl Rosenberger
Dr. Dobb's Journal (DDJ), February 2006.
“Onward!:
Panel: New Programming Constructs Beyond Inheritance, Patterns, and
Notation: What's left?”
G. Cohen, W. Cook, R. Filman, L.
Tesler
Object-Oriented Programming Systems, Languages, and
Applications (OOPSLA), 2002.
How
to Get a Paper Accepted at OOPSLA
Ralph E. Johnson, Kent Beck,
Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca
Wirfs-Brock
Addendum to the Proceedings on Object-Oriented
Programming Systems, Languages, and Applications 1993: pp. 429-436.
Is multiple inheritance essential to OOP? (panel)How to get a paper accepted at OOPSLA (panel)Open distributed processing (panel)Policy-Based
Authorization
William R. Cook
(unpublished
manuscript)
The Open Scripting
Architecture: Automating, Integrating, and Customizing
Applications
William R. Cook and Warren H. Harris
Unpublished
manuscript, 1993.
Some Facts about
String Interleaving
William Cook and Jayadev Misra; February
17, 2005
Breaking through to remote data and servicesLightning
talk on Native Queries
Presented at OOPSLA 2005
``PL/DB: What's the problem?''
Microsoft Research, October
2004.
Design
of a modern scripting language
W. Cook and W. Harris
(Video)
Distinguished Lecture Series VI. University Video Communications,
Stanford, CA. 1993.
Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languagesObjects and databases: state of the union in 2006BOF on inheritance