Craig Chambers

Affiliations:
  • University of Washington, Seattle, Washington, USA


According to our database1, Craig Chambers authored at least 74 papers between 1989 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing.
Proc. VLDB Endow., 2015

2011
Subphonemic Detail in Lexical Perception and Production: The Case of Canadian Raising.
Proceedings of the 17th International Congress of Phonetic Sciences, 2011

Expressiveness, Simplicity, and Users.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010
FlumeJava: easy, efficient data-parallel pipelines.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2008
A theory of platform-dependent low-level software.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007
Automatic inference of optimizer flow functions from semantic meanings.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Searching for type-error messages.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006
MultiJava: Design rationale, compiler implementation, and applications.
ACM Trans. Program. Lang. Syst., 2006

Seminal: searching for ML type-error messages.
Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

Parameterized Modules for Classes and Extensible Functions.
Proceedings of the ECOOP 2006, 2006

2005
Program Slicing with Dynamic Points-To Sets.
IEEE Trans. Software Eng., 2005

Automated soundness proofs for dataflow analyses and transformations via local rules.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
Modular typechecking for hierarchically extensible datatypes and functions.
ACM Trans. Program. Lang. Syst., 2004

Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Ownership Domains: Separating Aliasing Policy from Mechanism.
Proceedings of the ECOOP 2004, 2004

2003
Comprehensive synchronization elimination for Java.
Sci. Comput. Program., 2003

Automatically proving the correctness of compiler optimizations.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Relaxed MultiJava: balancing extensibility and modular typechecking.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

HydroJ: object-oriented pattern matching for evolvable distributed systems.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Language Support for Connector Abstractions.
Proceedings of the ECOOP 2003, 2003

2002
Modular Statically Typed Multimethods.
Inf. Comput., 2002

Architecture-centric programming for adaptive systems.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Improving program slicing with dynamic points-to data.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Towards automatic construction of staged compilers.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Composing dataflow analyses and transformations.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Staged compilation.
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

Alias annotations for program understanding.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

ArchJava: connecting software architecture to implementation.
Proceedings of the 24th International Conference on Software Engineering, 2002

Architectural Reasoning in ArchJava.
Proceedings of the ECOOP 2002, 2002

2001
A framework for call graph construction algorithms.
ACM Trans. Program. Lang. Syst., 2001

Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization.
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000
The benefits and costs of DyC's run-time optimizations.
ACM Trans. Program. Lang. Syst., 2000

DyC: an expressive annotation-directed dynamic compiler for C.
Theor. Comput. Sci., 2000

A Debate on Language and Tool Support for Design Patterns.
Proceedings of the POPL 2000, 2000

MultiJava: modular open classes and symmetric multiple dispatch for Java.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Calpa: a tool for automating selective dynamic compilation.
Proceedings of the 33rd Annual IEEE/ACM International Symposium on Microarchitecture, 2000

DyC (Panel Session).
Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), 2000

1999
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs.
Proceedings of the Static Analysis, 6th International Symposium, 1999

An evaluation of staged run-time optimizations in DyC (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1999

An Evaluation of Staged Run-Time Optimizations in DyC.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Efficient Multiple and Predicated Dispatching.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Dependence Analysis for Java.
Proceedings of the Languages and Compilers for Parallel Computing, 1999

1998
Fast Interprocedural Class Analysis.
Proceedings of the POPL '98, 1998

Predicate Dispatching: A Unified Theory of Dispatch.
Proceedings of the ECOOP'98, 1998

1997
Annotation-Directed Run-Time Specialization in C.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Call Graph Construction in Object-Oriented Languages.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1996
Towards Reusable, Extensible Components.
ACM Comput. Surv., 1996

Fast, Effective Dynamic Compilation.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Vortex: An Optimizing Compiler for Object-Oriented Languages.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

Synergies Between Object-Oriented Programming Language Design and Implementation Research.
Proceedings of the Object Technologies for Advanced Software, 1996

1995
Typechecking and Modules for Multimethods.
ACM Trans. Program. Lang. Syst., 1995

SPIN - An Extensible Microkernel for Application-specific Operating System Services.
ACM SIGOPS Oper. Syst. Rev., 1995

Extensibility, Safety and Performance in the SPIN Operating System.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Selective Specialization for Object-Oriented Languages.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Profile-Guided Receiver Class Prediction.
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies.
Proceedings of the 17th International Conference on Software Engineering, 1995

Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis.
Proceedings of the ECOOP'95, 1995

1994
Identifying Profitable Specialization in Object-Oriented Languages.
Proceedings of the PEPM'94, 1994

Typechecking and Modules for Multi-Methods.
Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

Towards Better Inlining Decisions Using Inlining Trials.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993
Predicate Classes.
Proceedings of the ECOOP'93, 1993

1992
The Design and Implementation of the SELF Compiler, an Optimizing Compilet for Object-Oriented Programming Languages
PhD thesis, 1992

Efficient implementation of object-oriented programming lanaguages (abstract).
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Object, Message, and Performance: How They Coexist in Self.
Computer, 1992

Debugging Optimized Code with Dynamic Deoptimization.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Object-Oriented Multi-Methods in Cecil.
Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992

1991
Organizing Programs Without Classes.
LISP Symb. Comput., 1991

An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes.
LISP Symb. Comput., 1991

Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF.
LISP Symb. Comput., 1991

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs.
LISP Symb. Comput., 1991

Making Pure Object-Oriented Languages Practical.
Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches.
Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1989
A retrospective on: "customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language" (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1989

Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language.
Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989


  Loading...