William R. Cook

81 papers A* 4A 22B 8C 2Journal 12Unranked 28

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. SBMF Mihir Parang Mehta, William R. Cook
2019	B	`conf`	Binary-Compatible Verification of Filesystems with ACL2. ITP Mihir Parang Mehta, William R. Cook
2018	J	`jnl`	Verifying equivalence of database-driven applications. Proc. ACM Program. Lang. Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
2017	J	`jnl`	Verifying Equivalence of Database-Driven Applications. CoRR Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
2016	—	`conf`	Implicitly Distributing Pervasively Concurrent Programs: Extended abstract. PMLDC@ECOOP John A. Thywissen, Arthur Michener Peters, William R. Cook
2016	A	`conf`	OrcO: a concurrency-first approach to objects. OOPSLA Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook
2015	J	`jnl`	Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Comput. Lang. Syst. Struct. Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning
2014	J	`jnl`	The design and implementation of Object Grammars. Sci. Comput. Program. Tijs van der Storm, William R. Cook, Alex Loh
2013	A	`conf`	Feature-Oriented Programming with Object Algebras. ECOOP Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook
2013	B	`conf`	The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. SLE Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning
2012	A	`conf`	Extensibility for the Masses - Practical Extensibility with Object Algebras. ECOOP Bruno C. d. S. Oliveira, William R. Cook
2012	A	`conf`	Functional programming with structured graphs. ICFP Bruno C. d. S. Oliveira, William R. Cook
2012	J	`jnl`	MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
2012	—	`conf`	Managed data: modular strategies for data abstraction. Onward! Alex Loh, Tijs van der Storm, William R. Cook
2012	B	`conf`	Object Grammars. SLE Tijs van der Storm, William R. Cook, Alex Loh
2012	B	`conf`	Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. FM Srinivas Nedunuri, Douglas R. Smith, William R. Cook
2012	—	`conf`	Theory and Techniques for Synthesizing a Family of Graph Algorithms SYNT Srinivas Nedunuri, William R. Cook, Douglas R. Smith
2011	J	`jnl`	Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021). Dagstuhl Reports Sven Apel, William R. Cook, Krzysztof Czarnecki, Oscar Nierstrasz
2011	A	`conf`	Hybrid partial evaluation. OOPSLA Amin Shali, William R. Cook
2011	A	`conf`	Product lines of theorems. OOPSLA Benjamin Delaware, William R. Cook, Don S. Batory
2011	—	`conf`	Remote Batch Invocation for SQL Databases. DBPL William R. Cook, Ben Wiedermann
2011	—	`conf`	Tutorial on Online Partial Evaluation DSL William R. Cook, Ralf Lämmel
2011	J	`jnl`	Which middleware platform should you choose for your next remote service? Serv. Oriented Comput. Appl. Young-Woo Kwon, Eli Tilevich, William R. Cook
2010	C	`conf`	A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC Srinivas Nedunuri, Douglas R. Smith, William R. Cook
2010	—	`conf`	An Assessment of Middleware Platforms for Accessing Remote Services. IEEE SCC Young-Woo Kwon, Eli Tilevich, William R. Cook
2010	—	`conf`	Breaking through to remote data and services. ISEC William R. Cook
2010	—	`ed.`	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 SPLASH/OOPSLA Companion William R. Cook, Siobhán Clarke, Martin C. Rinard
2010	—	`conf`	EffectiveAdvice: disciplined advice with explicit effects. AOSD Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
2010	A	`ed.`	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 OOPSLA William R. Cook, Siobhán Clarke, Martin C. Rinard
2010	—	`conf`	Semistructured Merge in Revision Control Systems. VaMoS Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook
2010	—	`conf`	Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods Srinivas Nedunuri, Douglas R. Smith, William R. Cook
2010	—	`conf`	Unifying Remote Data, Remote Procedures, and Web Services. ICOODB William R. Cook
2009	—	`conf`	A machine-checked model of safe composition. FOAL Benjamin Delaware, William R. Cook, Don S. Batory
2009	A	`conf`	Explicit Batching for Distributed Objects. ICDCS Eli Tilevich, William R. Cook, Yang Jiao
2009	—	`conf`	Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE Benjamin Delaware, William R. Cook, Don S. Batory
2009	—	`conf`	Gel: A Generic Extensible Language. DSL Jose Falcon, William R. Cook
2009	B	`conf`	Implementing Reflective Access Control in SQL. DBSec Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett
2009	—	`conf`	Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages. OOPSLA Companion Jorn Bettin, William R. Cook, Tony Clark, Steven Kelly
2009	A	`conf`	On understanding data abstraction, revisited. OOPSLA William R. Cook
2009	—	`ed.`	Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009 FOSD Sven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran, Oscar Nierstrasz
2009	A	`conf`	Remote Batch Invocation for Compositional Object Services. ECOOP Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook
2009	—	`conf`	Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces. ECOWS Ali Ibrahim, Marc Fisher II, William R. Cook, Eli Tilevich
2009	B	`conf`	Synthesis of fast programs for maximum segment sum problems. GPCE Srinivas Nedunuri, William R. Cook
2009	—	`conf`	Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods Srinivas Nedunuri, William R. Cook, Douglas R. Smith
2009	—	`conf`	The Orc Programming Language. FMOODS/FORTE David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra
2008	J	`jnl`	A timed semantics of Orc. Theor. Comput. Sci. Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra
2008	J	`jnl`	High-level problems in teaching undergraduate programming languages. ACM SIGPLAN Notices William R. Cook
2008	A	`conf`	Interprocedural query extraction for transparent persistence. OOPSLA Ben Wiedermann, Ali Ibrahim, William R. Cook
2008	—	`ch.`	Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms William R. Cook, Jayadev Misra
2007	—	`conf`	AppleScript. HOPL William R. Cook
2007	J	`jnl`	Computation Orchestration. Softw. Syst. Model. Jayadev Misra, William R. Cook
2007	—	`conf`	Event Structure Semantics of Orc. WS-FM Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard
2007	A*	`conf`	Extracting queries by static analysis of transparent persistence. POPL Ben Wiedermann, William R. Cook
2007	B	`conf`	Safe composition of product lines. GPCE Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook
2007	J	`jnl`	Web Service versus Distributed Objects: A Case Study of Performance and Interface Design. Int. J. Web Serv. Res. William R. Cook, Janel Barfield
2006	B	`conf`	A Language for Task Orchestration and Its Semantic Properties. CONCUR David Kitchin, William R. Cook, Jayadev Misra
2006	A*	`conf`	A virtual class calculus. POPL Erik Ernst, Klaus Ostermann, William R. Cook
2006	A	`conf`	Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. ECOOP Ali Ibrahim, William R. Cook
2006	—	`ed.`	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 OOPSLA Companion Peri L. Tarr, William R. Cook
2006	—	`conf`	Objects and databases: state of the union in 2006. OOPSLA Companion William R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig
2006	A	`conf`	Peak Objects. ECOOP William R. Cook
2006	A	`ed.`	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 OOPSLA Peri L. Tarr, William R. Cook
2006	—	`conf`	Soundness of the simply typed lambda calculus in ACL2. ACL2 Sol Swords, William R. Cook
2006	A	`conf`	Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. ICWS William R. Cook, Janel Barfield
2006	C	`conf`	Workflow Patterns in Orc. COORDINATION William R. Cook, Sourabh Patwardhan, Jayadev Misra
2005	A	`conf`	Evaluating Support for Features in Advanced Modularization Technologies. ECOOP Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook
2005	A*	`conf`	Safe query objects: statically typed objects as remotely executable queries. ICSE William R. Cook, Siddhartha Rai
1994	J	`jnl`	A Denotational Semantics of Inheritance and Its Correctness Inf. Comput. William R. Cook, Jens Palsberg
1993	A	`conf`	How to Get a Paper Accepted at OOPSLA (Panel). OOPSLA Ralph E. Johnson, Kent L. Beck, Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca Wirfs-Brock
1993	—	`conf`	Open distributed processing (panel). OOPSLA Addendum Oscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook
1993	A	`conf`	Panel - Is Multiple Inheritance Essential to OOP? OOPSLA Yen-Ping Shan, Thomas A. Cargill, Brad Cox, William R. Cook, Mary E. S. Loomis, Alan Snyder
1992	A	`conf`	Interfaces and Specifications for the Smalltalk-80 Collection Classes. OOPSLA William R. Cook
1990	A*	`conf`	Inheritance Is Not Subtyping. POPL William R. Cook, Walter L. Hill, Peter S. Canning
1990	—	`conf`	Mixin-based Inheritance. OOPSLA/ECOOP Gilad Bracha, William R. Cook
1990	—	`conf`	Object-Oriented Programming Versus Abstract Data Types. REX Workshop William R. Cook
1989	A	`conf`	A Denotational Semantics of Inheritance and its Correctness. OOPSLA William R. Cook, Jens Palsberg
1989	A	`conf`	A Proposal for Making Eiffel Type-Safe. ECOOP William R. Cook
1989	—	`—`	A denotational semantics of inheritance. William R. Cook
1989	—	`conf`	F-Bounded Polymorphism for Object-Oriented Programming. FPCA Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell
1989	A	`conf`	Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff
1987	—	`conf`	BOF on inheritance. OOPSLA Addendum William R. Cook