Modeling, Domain-Specific Languages
Language Support for Distributed Programming and Databases
Object
Grammars: Compositional & Bidirectional Mapping Between Text and
Graphs (Ensō Papers 2 of 6)
Tijs van der Storm, William
R. Cook, Alex Loh
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)
Applying Formal Concept
Analysis to Cascading Style Sheets
David Federman and
William R. Cook
Technical Report, UT Austin, 2010
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.
Verifying Equivalence of Database-Driven Applications
Wang, Yuepeng and Dillig, Isil and Lahiri, Shuvendu and Cook, William
ACM SIGPLAN Notices - Proceedings of the 2018 POPL
Conference, 2018
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).
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.
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.
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.
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.
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.
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)
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)
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.
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.
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
The Open Scripting
Architecture: Automating, Integrating, and Customizing
Applications
William R. Cook and Warren H.
Harris
Unpublished manuscript, 1993.
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)
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