William Cook

Registered user since Fri 30 May 2014

Name:William Cook
Bio:

William Cook is an Associate Professor in the Department of Computer Sciences at the University of Texas at Austin. His research is focused on object-oriented programming, programming languages, modeling languages, and the interface between programming languages and databases. Prior to joining UT in 2003, Dr. Cook was Chief Technology Officer and co-founder of Allegis Corporation. He was chief architect for several award-winning products, including the eBusiness Suite at Allegis, the Writer’s Solution for Prentice Hall, and the AppleScript language at Apple Computer. At HP Labs his research focused on the foundations of object-oriented languages, including formal models of mixins, inheritance, and typed models of object-oriented languages. He completed his Ph.D. in Computer Science at Brown University in 1989.

Affiliation:University of Texas at Austin

Contributions

SPLASH 2010
SPLASH 2020 Session Chair of T-3-Onward (part of Onward! Papers)
Austin in Program Committee within the Onward! Papers-track
DLS 2019 Committee Member in Program Committee within the DLS 2019-track
DBPL 2019 Committee Member in Program Committee within the DBPL 2019-track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
DLS 2011 Committee Member in Program Committee within the DLS 2011-track
POPL 2018 Author of Verifying Equivalence of Database-Driven Applications within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
PMLDC 2016 Author of Implicitly Distributing Pervasively Concurrent Programs within the PMLDC-track
NOOL 2015 Programme Committee in Program Committee within the NOOL-track
SPLASH 2016 Speaker of Stencils: Graphical User Interfaces in Ensō within the SPLASH-I-track
Author of OrcO: A Concurrency-First Approach to Objects within the OOPSLA-track
DLS 2015 Committee Member in Program Committee within the DLS-track
DSLDI 2015 Committee Member in Program Committee within the DSLDI-track
FOOL Author of Extensibilty for the masses within the FOOL-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014 Committee Member in Steering Committee
Onward! 2013 Committee Member in Program Committee within the Research Papers-track
SLE 2013 Author of The State of the Art in Language Workbenches within the Research Papers-track
SPLASH 2013 Committee Member in Program Committee within the Onward!-track
DLS 2012 Committee Member in Program Committee within the DLS 2012-track
FOOL 2012 Committee Member in Program Committee within the FOOL 2012-track
SPLASH 2012 Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee
SPLASH 2011 Author of Product Lines of Theorems within the OOPSLA-track
Author of Hybrid Partial Evaluation within the OOPSLA-track
Treasurer in Organizing Committee