Person: Craig Chambers

DBLP: Chambers:Craig

Facilitated 3 volumes:

Ed

Ed

Ed

Contributed to:

2015

2011

2010

2008

2007

2006

2005

2004

2003

2003

2003

2002

2002

2002

2002

2002

2002

2002

2001

2000

2000

1999

1999

1999

1999

1999

1998

1998

1997

1997

1996

1996

1995

1995

1995

1995

1995

1994

1994

1994

1993

1992

1992

1991

1991

1990

1989

1989

1989

Wrote 52 papers:

VLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #data flow #latency

The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.

ECOOP-2011-Chambers

Expressiveness, Simplicity, and Users (CC), p. 229.

PLDI-2010-ChambersRPAHBW #named #performance #pipes and filters

FlumeJava: easy, efficient data-parallel pipelines (CC, AR, FP, SA, RRH, RB, NW), pp. 363–375.

POPL-2008-NitaGC #bytecode #formal method #low level #platform

A theory of platform-dependent low-level software (MN, DG, CC), pp. 209–220.

PLDI-2007-LernerFGC #error message

Searching for type-error messages (BSL, MF, DG, CC), pp. 425–434.

PLDI-2007-ScherpelzLC #automation #semantics

Automatic inference of optimizer flow functions from semantic meanings (ERS, SL, CC), pp. 135–145.

ECOOP-2006-LeeC

Parameterized Modules for Classes and Extensible Functions (KL, CC), pp. 353–378.

POPL-2005-LernerMRC #analysis #automation #data flow #proving

Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.

ECOOP-2004-AldrichC #alias #policy

Ownership Domains: Separating Aliasing Policy from Mechanism (JA, CC), pp. 1–25.

ECOOP-2003-AldrichSCN #abstraction

Language Support for Connector Abstractions (JA, VS, CC, DN), pp. 74–102.

OOPSLA-2003-LeeLC #distributed #evolution #named #object-oriented #pattern matching

HydroJ: object-oriented pattern matching for evolvable distributed systems (KL, AL, CC), pp. 205–223.

OOPSLA-2003-MillsteinRC #composition #multi

Relaxed MultiJava: balancing extensibility and modular typechecking (TDM, MR, CC), pp. 224–240.

PLDI-2003-LernerMC #automation #compilation #correctness #optimisation #proving

Automatically proving the correctness of compiler optimizations (SL, TDM, CC), pp. 220–231.

ECOOP-2002-AldrichCN #architecture #reasoning

Architectural Reasoning in ArchJava (JA, CC, DN), pp. 334–367.

FSE-2002-MockACE #points-to #slicing

Improving program slicing with dynamic points-to data (MM, DCA, CC, SJE), pp. 71–80.

ICFP-2002-MillsteinBC #composition #data type

Modular typechecking for hierarchically extensible datatypes and functions (TDM, CB, CC), pp. 110–122.

ICSE-2002-AldrichCN #architecture #implementation #named

ArchJava: connecting software architecture to implementation (JA, CC, DN), pp. 187–197.

OOPSLA-2002-AldrichKC #alias #comprehension

Alias annotations for program understanding (JA, VK, CC), pp. 311–330.

PEPM-2002-Chambers #compilation #staged

Staged compilation (CC), pp. 1–8.

POPL-2002-LernerGC #analysis #data flow

Composing dataflow analyses and transformations (SL, DG, CC), pp. 270–282.

POPL-2002-PhiliposeCE #automation #compilation #staged #towards

Towards automatic construction of staged compilers (MP, CC, SJE), pp. 113–125.

PASTE-2001-MockDCE #analysis #comparison #comprehension #optimisation #points-to #set

Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization (MM, MD, CC, SJE), pp. 66–72.

OOPSLA-2000-CliftonLCM #composition #java #multi #named #symmetry

MultiJava: modular open classes and symmetric multiple dispatch for Java (CC, GTL, CC, TDM), pp. 130–145.

POPL-2000-ChambersHV #design pattern #tool support

A Debate on Language and Tool Support for Design Patterns (CC, BH, JMV), pp. 277–289.

Best-of-PLDI-1999-GrantPMCE99a #evaluation #optimisation #runtime #staged

An evaluation of staged run-time optimizations in DyC (with retrospective) (BG, MP, MM, CC, SJE), pp. 656–669.

ECOOP-1999-MillsteinC #composition #multi #static typing

Modular Statically Typed Multimethods (TDM, CC), pp. 279–303.

OOPSLA-1999-ChambersC #multi #performance

Efficient Multiple and Predicated Dispatching (CC, WC), pp. 238–255.

PLDI-1999-GrantPMCE #evaluation #optimisation #runtime #staged

An Evaluation of Staged Run-Time Optimizations in DyC (BG, MP, MM, CC, SJE), pp. 293–304.

SAS-1999-AldrichCSE #analysis #java #source code

Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (JA, CC, EGS, SJE), pp. 19–38.

ECOOP-1998-ErnstKC #formal method

Predicate Dispatching: A Unified Theory of Dispatch (MDE, CSK, CC), pp. 186–211.

POPL-1998-DeFouwGC #analysis #interprocedural #performance

Fast Interprocedural Class Analysis (GD, DG, CC), pp. 222–236.

OOPSLA-1997-GroveDDC #graph #object-oriented

Call Graph Construction in Object-Oriented Languages (DG, GD, JD, CC), pp. 108–124.

PEPM-1997-GrantMPCE #c #runtime

Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.

OOPSLA-1996-DeanDGLC #compilation #named #object-oriented #optimisation

Vortex: An Optimizing Compiler for Object-Oriented Languages (JD, GD, DG, VL, CC), pp. 83–100.

PLDI-1996-AuslanderPCEB #compilation #effectiveness #performance

Fast, Effective Dynamic Compilation (JA, MP, CC, SJE, BNB), pp. 149–159.

ECOOP-1995-DeanGC #analysis #object-oriented #optimisation #source code #using

Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis (JD, DG, CC), pp. 77–101.

ICSE-1995-ChambersDG #dependence #framework

A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies (CC, JD, DG), pp. 221–230.

OOPSLA-1995-GroveDGC #predict

Profile-Guided Receiver Class Prediction (DG, JD, CG, CC), pp. 108–123.

PLDI-1995-DeanCG #object-oriented

Selective Specialization for Object-Oriented Languages (JD, CC, DG), pp. 93–102.

SOSP-1995-BershadSPSFBCE #operating system #performance #safety

Extensibility, Safety and Performance in the SPIN Operating System (BNB, SS, PP, EGS, MEF, DB, CC, SJE), pp. 267–284.

LFP-1994-DeanC #towards #using

Towards Better Inlining Decisions Using Inlining Trials (JD, CC), pp. 273–282.

OOPSLA-1994-ChambersL #multi

Typechecking and Modules for Multi-Methods (CC, GTL), pp. 1–15.

PEPM-1994-DeanCG #identification #object-oriented

Identifying Profitable Specialization in Object-Oriented Languages (JD, CC, DG), pp. 85–96.

ECOOP-1993-Chambers

Predicate Classes (CC), pp. 268–296.

ECOOP-1992-Chambers #multi #object-oriented

Object-Oriented Multi-Methods in Cecil (CC), pp. 33–56.

PLDI-1992-HolzleCU #debugging

Debugging Optimized Code with Dynamic Deoptimization (UH, CC, DU), pp. 32–43.

ECOOP-1991-HolzleCU #dynamic typing #object-oriented #optimisation #polymorphism

Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches (UH, CC, DU), pp. 21–38.

OOPSLA-1991-ChambersU #object-oriented

Making Pure Object-Oriented Languages Practical (CC, DU), pp. 1–15.

PLDI-1990-ChambersU #analysis #dynamic typing #object-oriented #optimisation #source code

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs (CC, DU), pp. 150–164.

Best-of-PLDI-1989-ChambersU89a #compilation #dynamic typing #object-oriented #optimisation #programming language

A retrospective on: “customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language” (with retrospective) (CC, DU), pp. 295–312.

OOPSLA-1989-ChambersUL #dynamic typing #implementation #object-oriented #performance #prototype

An Efficient Implementation of SELF — a Dynamically-Typed Object-Oriented Language Based on Prototypes (CC, DU, EL), pp. 49–70.

PLDI-1989-ChambersU #compilation #dynamic typing #named #object-oriented #optimisation #programming language

Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language (CC, DU), pp. 146–160.