William Cook | Academic Influence

William Cook 's AcademicInfluence.com Rankings

William Cook

Computer Science

#2600

World Rank

#2719

Historical Rank

#1123

USA Rank

Object Oriented Programming

#7

World Rank

#7

Historical Rank

#5

USA Rank

Database

#7884

World Rank

#8206

Historical Rank

#1009

USA Rank

computer-science Degrees

Download Badge

Computer Science

William Cook 's Degrees

PhD Computer Science University of Texas at Austin
Masters Computer Science University of Texas at Austin
Bachelors Computer Science University of Texas at Austin

Similar Degrees You Can Earn

Why Is William Cook Influential?

(Suggest an Edit or Addition)

According to Wikipedia, William Randall Cook was an American computer scientist, who was an associate professor in the Department of Computer Sciences at the University of Texas at Austin. Early life and education Cook was born on November 21, 1963. He received his Ph.D. in computer science from Brown University in 1989.

(See a Problem?)

William Cook 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Mixin-based inheritance (1990) (981)
Inheritance is not subtyping (1989) (501)
F-bounded polymorphism for object-oriented programming (1989) (374)
A denotational semantics of inheritance and its correctness (1989) (274)
Safe composition of product lines (2007) (264)
A denotational semantics of inheritance (1989) (234)
A Proposal for Making Eiffel Type-Safe (1989) (212)
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge (2013) (208)
Object-Oriented Programming Versus Abstract Data Types (1990) (175)
Evaluating Support for Features in Advanced Modularization Technologies (2005) (168)
A virtual class calculus (2006) (160)
Interfaces for strongly-typed object-oriented programming (1989) (150)
Safe query objects: statically typed objects as remotely executable queries (2005) (149)
Evaluating and comparing language workbenches: Existing results and benchmarks for the future (2015) (138)
Interfaces and specifications for the Smalltalk-80 collection classes (1992) (138)
The Orc Programming Language (2009) (135)
Computation Orchestration (2007) (125)
A Language for Task Orchestration and Its Semantic Properties (2006) (105)
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion (2010) (99)
F-bounded quantification for object-oriented programming (1989) (97)
A Parallel Cutting-Plane Algorithm for the Vehicle Routing Problem With Time Windows (1999) (96)
On understanding data abstraction, revisited (2009) (85)
Extensibility for the Masses - Practical Extensibility with Object Algebras (2012) (78)
Fitting the pieces together: a machine-checked model of safe composition (2009) (72)
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (2006) (67)
Workflow Patterns in Orc (2006) (65)
Interprocedural query extraction for transparent persistence (2008) (56)
A timed semantics of Orc (2008) (53)
A machine-checked model of safe composition (2009) (50)
Hybrid partial evaluation (2011) (50)
Extracting queries by static analysis of transparent persistence (2007) (50)
Product lines of theorems (2011) (45)
EffectiveAdvice: disciplined advice with explicit effects (2010) (45)
Feature-Oriented Programming with Object Algebras (2013) (43)
Functional programming with structured graphs (2012) (40)
Web Services versus Distributed Objects: A Case Study of Performance and Interface Design (2006) (38)
Canning: inheritance is not subtyping (1990) (37)
Verifying equivalence of database-driven applications (2017) (35)
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures (2006) (32)
Nucleoid-Independent Identification of Cell Division Sites in Escherichia coli (1999) (32)
Remote Batch Invocation for Compositional Object Services (2009) (31)
Proceedings of the ACM international conference on Object oriented programming systems languages and applications (2010) (31)
Evaluating and comparing language workbenches (2015) (27)
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications (2003) (23)
Event Structure Semantics of Orc (2007) (22)
The design and implementation of Object Grammars (2014) (22)
AppleScript (2007) (21)
A Proposal for Making Eiel Type-safe (1989) (20)
Managed data: modular strategies for data abstraction (2012) (20)
Implementing Reflective Access Control in SQL (2009) (16)
Native queries for persistent objects (2006) (16)
Is multiple inheritance essential to OOP? (panel) (1993) (15)
Remote Batch Invocation for SQL Databases (2011) (15)
Semistructured Merge in Revision Control Systems (2010) (14)
A self-ish model of inheritance (1987) (14)
MRI: Modular reasoning about interference in incremental programming (2012) (14)
Synthesis of fast programs for maximum segment sum problems (2009) (13)
Integrating Programming Languages & Databases: What’s the Problem? DRAFT Comments welcome! (2006) (12)
How to get a paper accepted at OOPSLA (panel) (1993) (12)
Tutorial on Online Partial Evaluation (2011) (11)
A Structured Orchestration Language (2005) (10)
Monadic Memoization Mixins (2006) (9)
OrcO: a concurrency-first approach to objects (2016) (9)
Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs (2012) (8)
High-level problems in teaching undergraduate programming languages (2008) (8)
Explicit Batching for Distributed Objects (2009) (8)
An Assessment of Middleware Platforms for Accessing Remote Services (2010) (8)
Which middleware platform should you choose for your next remote service? (2001) (7)
A denotational model of inheritance and its correctness (1989) (7)
A Class of Greedy Algorithms and Its Relation to Greedoids (2010) (7)
Panel - Is Multiple Inheritance Essential to OOP? (1993) (6)
Objects and databases: state of the union in 2006 (2006) (5)
Structured Interacting Computations (2008) (5)
Cost-Based Learning for Planning (2011) (4)
Peak Objects (2006) (4)
Implicitly Distributing Pervasively Concurrent Programs: Extended abstract (2016) (4)
Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces (2009) (4)
Soundness of the simply typed lambda calculus in ACL2 (2006) (4)
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms (2012) (4)
Gel: A Generic Extensible Language (2009) (4)
Strategic Programming by Model Interpretation and Partial Evaluation (2008) (4)
Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages (2009) (4)
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA (2006) (4)
The Open Scripting Architecture (1994) (3)
Synthesis of Greedy Algorithms Using Dominance Relations (2010) (3)
Binary-Compatible Verification of Filesystems with ACL2 (2019) (3)
Model Transformation by Partial Evaluation of Model Interpreters (2008) (3)
A Formal Specification of Pointer Analysis Approximations (2008) (2)
Theory and Techniques for Synthesizing a Family of Graph Algorithms (2012) (2)
The Open Scripting Architecture : Automating , Integrating , and Customizing Applications (1993) (2)
Proceedings of the First International Workshop on Feature-Oriented Software Development (2009) (2)
Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009 (2009) (2)
Tactical Synthesis of Efficient Global Search Algorithms (2009) (2)
Policy-Based Authorization (2)
Language design for distributed objects (2009) (2)
Breaking through to remote data and services (2010) (1)
A computer program for communications channel modeling and simulation (1983) (1)
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model (2020) (1)
Conclusions from the Language Workbench Challenge (2013) (1)
Static Checking of Interoperating Components (2006) (1)
Function Inheritance : Monadic Memoization Mixins (2009) (1)
Generic Operations and Partial Evaluation using Models (2008) (1)
EffectiveAdvice: Overview, background and proofs (2009) (1)
1 Verifying Equivalence of Database-Driven Applications (2017) (1)
Orc-X : Combining Orchestrations and XQuery ( work in progress ) (2007) (0)
A General Logic-Based Authorization Model (2011) (0)
ALGORITHM EDITOR FOR STRUCTURED DESIGNS. (1983) (0)
Unifying Remote Data, Remote Procedures, and Web Services (2010) (0)
Structured Interacting Computations (A Position Paper) (2008) (0)
EasyChair Preprint No 1235 Binary-compatible verification of filesystems with ACL 2 (0)
ACM International Conference Proceeding Series: Foreword (2009) (0)
Pitchforc : Concurrent Programming at Rack Scale (2017) (0)
SafeQueryObjects: Statically TypedObjects asRemotely Executable Queries (2005) (0)
How to Write a CS Research Paper: A Bibliography (2004) (0)
Enterprise Search Panel. (2015) (0)
Orchestration in Orc : A Deterministic Distributed Programming Model (2005) (0)
THEORY AND TECHNIQUES FOR SYNTHESIZING SPACE-EFFICIENT BREADTH-FIRST SEARCH ALGORITHMS (2012) (0)
Session details: Dynamic languages symposium chair's welcome (2006) (0)
E v aluating Support for Features i n Advanced Modu l arization Technologies (2005) (0)
Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA (2006) (0)
Anatomy of Programming Languages (2016) (0)
Introducing the ACM international conference on systems, programming, languages, and applications: Software for humanity (SPLASH) (2010) (0)
Generic Operations and Partial Evaluation for Strategic Programming (2008) (0)
Orc-x: Combining Orchestrations and Xquery Orc-x: Combining Orchestrations and Xquery Orc-x: Combining Orchestrations and Xquery (2008) (0)
O PAPERS 1 OF 6 Managed Data: Modular Strategies for Data Abstraction (2012) (0)
Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021) (2011) (0)
Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, part of SPLASH 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA (2010) (0)
Direct performance analysis of local area networks by distributed measurement of traffic patterns (1986) (0)
On Configuring Distributed Memory Process Grids for Tensor Contraction Applications (2015) (0)
Open distributed processing (panel) (1993) (0)
Session details: Integrating static features into dynamic languages (2007) (0)
BOF on inheritance (1988) (0)
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, USA (2010) (0)

This paper list is powered by the following services:

Other Resources About William Cook

en.wikipedia.org

What Schools Are Affiliated With William Cook ?

William Cook is affiliated with the following schools: