William R. Cook - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 76 from 76

2020

Separation Logic-Based Verification Atop a Binary-Compatible Filesystem ModelMihir Parang Mehta, William R. Cook. sbmf 2020: 155-170 [doi]

2019

Binary-Compatible Verification of Filesystems with ACL2Mihir Parang Mehta, William R. Cook. itp 2019: [doi]

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

2010

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

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]

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

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 Compositional Object ServicesAli Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook. ECOOP 2009: 595-617 [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:

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]

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]

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

1987

BOF on inheritanceWilliam R. Cook. OOPSLA 1987: 41-42 [doi]

1981

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

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

Authors

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'William R. Cook'

Viewing Publication 1 - 76 from 76

2020

2019

2018

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

1994

1993

1992

1990

1989

1987

1981

Authors

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'William R. Cook'

Viewing Publication 1 - 76 from 76

2020

2019

2018

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

1994

1993

1992

1990

1989

1987

1981

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1