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.
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).
Language design for distributed objectsInterprocedural query extraction for transparent persistenceAutomatic
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.
Safe query objects: statically typed objects as remotely executable queriesProgramming
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.
Synthesis of fast programs for maximum segment sum problemsTactical 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 The
Orc Programming Language A Timed Semantics
of Orc Structured
Interacting Computations (A position paper) Properties
of the Timed Operational and Denotational Semantics of Orc Event Structure Semantics
of Orc Orc-X:
Combining Orchestrations and XQuery Language
for Task Orchestration and its Semantic Properties (2up
for printing) Workflow
Patterns in Orc (2up
for printing) Computation Orchestration:
A Basis for Wide-Area Computing (bib)
(DOI)
A Language for
Task Orchestration and its Semantic Properties (2up
for printing) (bib)
Computation
Orchestration: A Basis for Wide-Area Computing (bib)
(DOI) Workflow Patterns
in Orc (2up for
printing) (bib)
Functional Programming with Structured Graphs Function
Inheritance: Monadic Memoization Mixins
Extensibility for the Masses: Practical Extensibility with Object Algebras Object-oriented
programming versus abstract data types (bib) A proposal for
making Eiffel type-safe (DOI)
(bib) A Denotational Semantics of
Inheritance (bib)
Theorem
Proving for Product Lines Evaluating
Support for Features in Advanced Modularization Technologies
(DOI)
(bib) The Open Scripting
Architecture: Automating, Integrating, and Customizing
Applications Implementing Reflective Access Control in SQL Policy-Based
Authorization Some Facts about
String Interleaving Gel: A Generic Extensible
Language
Srinivas Nedunuri,
Douglas Smith and William R. Cook
1st International Workshop on
Living with Uncertainties (IWLU) 2007.
Concurrent Programming
David Kitchin, Adrian Quark,
William Cook, Jayadev Misra
IFIP
international conference on Formal Techniques for Distributed Systems
(FMOODS/FORTE), 2009.
Ian Wehrman, David Kitchin, William R.
Cook. Jayadev Misra
Theoretical Computer Science 402(2-3),
pp. 234-248, August 2008.
William R.
Cook and Jayadev Misra
Proceedings of "Software-Intensive
Systems", Springer Verlag, LNCS 5380, pp139--145, 2008.
Ian
Wehrman, David Kitchin, William R. Cook. Jayadev
Misra
Technical Report TR-07-65, University of Texas at Austin,
Department of Computer Science, 2007
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
Kristi Morton, David
Kitchin, William R. Cook
The University of Texas at Austin,
Department of Computer Science, December 2007, Report# TR-07-63.
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
William R. Cook, Sourabh Patwardhan, and Jayadev
Misra
Proc. of the International
Conference on Coordination Models and Languages
(COORDINATION), 2006.
(slides
from talk)
Jayadev Misra and William Cook
Journal
of Software and Systems Modeling, May 2006.
David Kitchin, William R. Cook and Jayadev Misra
Proc. of the International Conference on Concurrency Theory
(CONCUR), 2006.
Jayadev
Misra and William R. Cook
Journal
of Software and Systems Modeling, May 2006.
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
Bruno C. d. S. Oliveira and William R. Cook
International Conference on Functional Programming(ICFP), 2012.
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
Bruno C. d. S. Oliveira and William R. Cook
Accepted at the 26th European Conference on Object-Oriented Programming (ECOOP), 2012. (Best Paper)
Interfaces and specifications for the Smalltalk-80 collection classesWilliam R. Cook
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications, 1992Mixin-based inheritanceGilad Bracha, William Cook
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, 1990
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.Inheritance is not subtypingWilliam R. Cook, Walter Hill, Peter S. Canning
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1989A denotational semantics of inheritance and its correctnessW. Cook, J. Palsberg
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications, 1989Interfaces for strongly-typed object-oriented programmingP. S. Canning, W. R. Cook, W. L. Hill, W. G. Olthoff
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications, 1989F-bounded polymorphism for object-oriented programmingPeter 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
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.
William R. Cook
Ph.D. Thesis, Brown University, Department of
Computer Science Report CS-89-33, 1989.Advanced Modularity, Types, and Metatheory
Benjamin Delaware, William R.
Cook, and Don Batory
OOPSLA 2011EffectiveAdvice: disciplined advice with explicit effectsBruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
AOSD '10 Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010Fitting the pieces together: a machine-checked model of safe compositionBenjamin 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, 2009A machine-checked model of safe compositionBenjamin Delaware, William Cook, Don Batory
FOAL '09 Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, 2009A 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, 2006
Roberto
E. Lopez-Herrejon, Don Batory, and William R. Cook
Proc. of
the European Conference on Object-Oriented Programming
(ECOOP), 2005.
SpringerLinkSoundness of the simply typed lambda calculus in ACL2Sol Swords, William R. Cook
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications, 2006AppleScript
AppleScriptWilliam R. Cook
HOPL III Proceedings of the third ACM SIGPLAN conference on History of programming languages, 2007
William R. Cook and Warren H. Harris
Unpublished
manuscript, 1993.Security
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.
William R. Cook
(unpublished
manuscript)
Other
High-level problems in teaching undergraduate programming languagesWilliam R. Cook
ACM SIGPLAN Notices, 2008
William Cook and Jayadev Misra; February
17, 2005
Jose Falcon, William R. Cook
IFIP
Working Conference on Domain Specific Languages (DSL WC) 2009
Gel
on Google Code