William R. Cook - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2012

Object Grammars: Compositional & Bidirectional Mapping Between Text and GraphsTijs van der Storm, William R. Cook, Alex Loh. 2012:

2010

Semistructured Merge in Revision Control SystemsSven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook. vamos 2010: 13-19 [doi]

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USAWilliam R. Cook, Siobhán Clarke, Martin C. Rinard, editors, ACM, Reno/Tahoe, Nevada, 2010.

Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USAWilliam R. Cook, Siobhán Clarke, Martin C. Rinard, editors, ACM, 2010.

Unifying Remote Data, Remote Procedures, and Web ServicesWilliam R. Cook. icoodb 2010: 8 [doi]

An Assessment of Middleware Platforms for Accessing Remote ServicesYoung-Woo Kwon, Eli Tilevich, William R. Cook. IEEEscc 2010: 482-489 [doi]

A Class of Greedy Algorithms and Its Relation to GreedoidsSrinivas Nedunuri, Douglas R. Smith, William R. Cook. ictac 2010: 352-366 [doi]

EffectiveAdvice: disciplined advice with explicit effectsBruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook. AOSD 2010: 109-120 [doi]

2009

Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009Sven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran, Oscar Nierstrasz, editors, ACM International Conference Proceeding Series, ACM, 2009.

Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languagesJorn Bettin, William R. Cook, Tony Clark, Steven Kelly. OOPSLA 2009: 709-710 [doi]

On understanding data abstraction, revisitedWilliam R. Cook. OOPSLA 2009: 557-572 [doi]

A machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. foal 2009: 31-35 [doi]

Fitting the pieces together: a machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. FSE 2009: 243-252 [doi]

Gel: A Generic Extensible LanguageJose Falcon, William R. Cook. DSL 2009: 58-77 [doi]

Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented InterfacesAli Ibrahim, Marc Fisher II, William R. Cook, Eli Tilevich. ecows 2009: 190-199 [doi]

Remote Batch Invocation for Compositional Object ServicesAli Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook. ECOOP 2009: 595-617 [doi]

Remote Batch Invocation for Compositional Object ServicesAli Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). 2009:

The Orc Programming LanguageDavid Kitchin, Adrian Quark, William R. Cook, Jayadev Misra. forte 2009: 1-25 [doi]

Synthesis of fast programs for maximum segment sum problemsSrinivas Nedunuri, William R. Cook. GPCE 2009: 117-126 [doi]

Implementing Reflective Access Control in SQLLars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett. dbsec 2009: 17-32 [doi]

Explicit Batching for Distributed ObjectsEli Tilevich, William R. Cook, Yang Jiao. icdcs 2009: 543-552 [doi]

2008

Structured Interacting ComputationsWilliam R. Cook, Jayadev Misra. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 139-145, Springer, 2008. [doi]

High-level problems in teaching undergraduate programming languagesWilliam R. Cook. SIGPLAN, 43(11):55-58, 2008. [doi]

A timed semantics of OrcIan Wehrman, David Kitchin, William R. Cook, Jayadev Misra. TCS, 402(2-3):234-248, 2008. [doi]

Interprocedural query extraction for transparent persistenceBen Wiedermann, Ali Ibrahim, William R. Cook. OOPSLA 2008: 19-36 [doi]

2007

2006

Web Services versus Distributed Objects: A Case Study of Performance and Interface DesignWilliam R. Cook, Janel Barfield. icws 2006: 419-426 [doi]

Workflow Patterns in OrcWilliam R. Cook, Sourabh Patwardhan, Jayadev Misra. coordination 2006: 82-96 [doi]

Objects and databases: state of the union in 2006William R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig. OOPSLA 2006: 926-928 [doi]

Peak ObjectsWilliam R. Cook. ECOOP 2006: 180-185 [doi]

A virtual class calculusErik Ernst, Klaus Ostermann, William R. Cook. POPL 2006: 270-282 [doi]

Automatic Prefetching by Traversal Profiling in Object Persistence ArchitecturesAli Ibrahim, William R. Cook. ECOOP 2006: 50-73 [doi]

A Language for Task Orchestration and Its Semantic PropertiesDavid Kitchin, William R. Cook, Jayadev Misra. concur 2006: 477-491 [doi]

Soundness of the simply typed lambda calculus in ACL2Sol Swords, William R. Cook. acl2 2006: 35-39 [doi]

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USAPeri L. Tarr, William R. Cook, editors, ACM, 2006.

2005

Safe query objects: statically typed objects as remotely executable queriesWilliam R. Cook, Siddhartha Rai. ICSE 2005: 97-106 [doi]

Evaluating Support for Features in Advanced Modularization TechnologiesRoberto E. Lopez-Herrejon, Don S. Batory, William R. Cook. ECOOP 2005: 169-194 [doi]

1994

A Denotational Semantics of Inheritance and Its CorrectnessWilliam R. Cook, Jens Palsberg. iandc, 114(2):329-350, November 1994.

Open distributed processing (panel)Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook. oopsm, 5(2):67-71, 1994.

1993

How to Get a Paper Accepted at OOPSLA (Panel)Ralph E. Johnson, Kent Beck, Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca Wirfs-Brock. OOPSLA 1993: 429-436

Panel - Is Multiple Inheritance Essential to OOP?Yen-Ping Shan, Thomas A. Cargill, Brad Cox, William R. Cook, Mary E. S. Loomis, Alan Snyder. OOPSLA 1993: 360-363

1992

Interfaces and Specifications for the Smalltalk-80 Collection ClassesWilliam R. Cook. OOPSLA 1992: 1-15

1990

Mixin-based InheritanceGilad Bracha, William R. Cook. OOPSLA 1990: 303-311

Inheritance Is Not SubtypingWilliam R. Cook, Walter L. Hill, Peter S. Canning. POPL 1990: 125-135

Object-Oriented Programming Versus Abstract Data TypesWilliam R. Cook. rex 1991: 151-178

1989

1981

Internal Diagnostics for Tektronix Graphics TerminalsWilliam R. Cook. itc 1981: 221-225

Home PageWilliam R. Cook.