William R. Cook - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 80 from 80

2018

Verifying equivalence of database-driven applicationsYuepeng Wang 0001, Isil Dillig, Shuvendu K. Lahiri, William R. Cook. PACMPL, 2(POPL), 2018. [doi]

2016

OrcO: a concurrency-first approach to objectsArthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook. OOPSLA 2016: 548-567 [doi]

Implicitly Distributing Pervasively Concurrent Programs: Extended abstractJohn A. Thywissen, Arthur Michener Peters, William R. Cook. ECOOP 2016: 1 [doi]

2015

2014

The design and implementation of Object GrammarsTijs van der Storm, William R. Cook, Alex Loh. SCP, 96:460-487, 2014. [doi]

2013

2012

2011

Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021)Sven Apel, William R. Cook, Krzysztof Czarnecki, Oscar Nierstrasz. dagstuhl-reports, 1(1):27-41, 2011. [doi]

Remote Batch Invocation for SQL DatabasesWilliam R. Cook, Ben Wiedermann. DBPL 2011: [doi]

Product lines of theoremsBenjamin Delaware, William R. Cook, Don S. Batory. OOPSLA 2011: 595-608 [doi]

Which middleware platform should you choose for your next remote service?Young-Woo Kwon, Eli Tilevich, William R. Cook. soca, 5(2):61-70, 2011. [doi]

Hybrid partial evaluationShali, Amin, William R. Cook. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. 2011: 375-390 [doi]

Hybrid partial evaluationAmin Shali, William R. Cook. OOPSLA 2011: 375-390 [doi]

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.

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

Breaking through to remote data and servicesWilliam R. Cook. indiaSE 2010: 161-162 [doi]

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.

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]

Synthesis of Greedy Algorithms Using Dominance RelationsSrinivas Nedunuri, Douglas R. Smith, William R. Cook. NFM 2010: 97-108

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. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). 2009:

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

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]

Tactical Synthesis of Efficient Global Search AlgorithmsSrinivas Nedunuri, William R. Cook, Douglas R. Smith. NFM 2009: 171-175

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

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

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]

Event Structure Semantics of OrcSidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard. In Web Services and Formal Methods. 2008: 154-168 [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

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

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]

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.

Companion to 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

Home PageWilliam R. Cook. http://www.cs.utexas.edu/~wcook,

Sign in or sign up to see more results.

runs on WebDSL