 | 2008 |
|---|
| 76 |       | Marius Nita,
Dan Grossman,
Craig Chambers:
A theory of platform-dependent low-level software.
POPL 2008: 209-220 |
| 2007 |
|---|
| 75 | | Erika Rice Scherpelz,
Sorin Lerner,
Craig Chambers:
Automatic inference of optimizer flow functions from semantic meanings.
PLDI 2007: 135-145 |
| 74 | | Benjamin S. Lerner,
Matthew Flower,
Dan Grossman,
Craig Chambers:
Searching for type-error messages.
PLDI 2007: 425-434 |
| 2006 |
|---|
| 73 | | Keunwoo Lee,
Craig Chambers:
Parameterized Modules for Classes and Extensible Functions.
ECOOP 2006: 353-378 |
| 72 | | Benjamin S. Lerner,
Dan Grossman,
Craig Chambers:
Seminal: searching for ML type-error messages.
ML 2006: 63-73 |
| 71 | | Curtis Clifton,
Todd D. Millstein,
Gary T. Leavens,
Craig Chambers:
MultiJava: Design rationale, compiler implementation, and applications.
ACM Trans. Program. Lang. Syst. 28(3): 517-575 (2006) |
| 2005 |
|---|
| 70 | | Sorin Lerner,
Todd D. Millstein,
Erika Rice,
Craig Chambers:
Automated soundness proofs for dataflow analyses and transformations via local rules.
POPL 2005: 364-377 |
| 69 | | Sorin Lerner,
Todd D. Millstein,
Craig Chambers:
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.
Electr. Notes Theor. Comput. Sci. 132(1): 5-17 (2005) |
| 68 | | Markus Mock,
Darren C. Atkinson,
Craig Chambers,
Susan J. Eggers:
Program Slicing with Dynamic Points-To Sets.
IEEE Trans. Software Eng. 31(8): 657-678 (2005) |
| 2004 |
|---|
| 67 |  | William Pugh,
Craig Chambers:
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004
ACM 2004 |
| 66 | | Jonathan Aldrich,
Craig Chambers:
Ownership Domains: Separating Aliasing Policy from Mechanism.
ECOOP 2004: 1-25 |
| 65 | | Todd D. Millstein,
Colin Bleckner,
Craig Chambers:
Modular typechecking for hierarchically extensible datatypes and functions.
ACM Trans. Program. Lang. Syst. 26(5): 836-889 (2004) |
| 2003 |
|---|
| 64 | | Jonathan Aldrich,
Vibha Sazawal,
Craig Chambers,
David Notkin:
Language Support for Connector Abstractions.
ECOOP 2003: 74-102 |
| 63 | | Keunwoo Lee,
Anthony LaMarca,
Craig Chambers:
HydroJ: object-oriented pattern matching for evolvable distributed systems.
OOPSLA 2003: 205-223 |
| 62 | | Todd D. Millstein,
Mark Reay,
Craig Chambers:
Relaxed MultiJava: balancing extensibility and modular typechecking.
OOPSLA 2003: 224-240 |
| 61 | | Sorin Lerner,
Todd D. Millstein,
Craig Chambers:
Automatically proving the correctness of compiler optimizations.
PLDI 2003: 220-231 |
| 60 | | Jonathan Aldrich,
Emin Gün Sirer,
Craig Chambers,
Susan J. Eggers:
Comprehensive synchronization elimination for Java.
Sci. Comput. Program. 47(2-3): 91-120 (2003) |
| 2002 |
|---|
| 59 | | Jonathan Aldrich,
Craig Chambers,
David Notkin:
Architectural Reasoning in ArchJava.
ECOOP 2002: 334-367 |
| 58 | | Todd D. Millstein,
Colin Bleckner,
Craig Chambers:
Modular typechecking for hierarchically extensible datatypes and functions.
ICFP 2002: 110-122 |
| 57 | | Jonathan Aldrich,
Craig Chambers,
David Notkin:
ArchJava: connecting software architecture to implementation.
ICSE 2002: 187-197 |
| 56 | | Jonathan Aldrich,
Valentin Kostadinov,
Craig Chambers:
Alias annotations for program understanding.
OOPSLA 2002: 311-330 |
| 55 | | Craig Chambers:
Staged compilation.
PEPM 2002: 1-8 |
| 54 | | Matthai Philipose,
Craig Chambers,
Susan J. Eggers:
Towards automatic construction of staged compilers.
POPL 2002: 113-125 |
| 53 | | Sorin Lerner,
David Grove,
Craig Chambers:
Composing dataflow analyses and transformations.
POPL 2002: 270-282 |
| 52 | | Markus Mock,
Darren C. Atkinson,
Craig Chambers,
Susan J. Eggers:
Improving program slicing with dynamic points-to data.
SIGSOFT FSE 2002: 71-80 |
| 51 | | Jonathan Aldrich,
Vibha Sazawal,
Craig Chambers,
David Notkin:
Architecture-centric programming for adaptive systems.
WOSS 2002: 93-95 |
| 50 | | Todd D. Millstein,
Craig Chambers:
Modular Statically Typed Multimethods.
Inf. Comput. 175(1): 76-118 (2002) |
| 2001 |
|---|
| 49 | | Markus Mock,
Manuvir Das,
Craig Chambers,
Susan J. Eggers:
Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization.
PASTE 2001: 66-72 |
| 48 | | David Grove,
Craig Chambers:
A framework for call graph construction algorithms.
ACM Trans. Program. Lang. Syst. 23(6): 685-746 (2001) |
| 2000 |
|---|
| 47 | | Ron Cytron,
Craig Chambers:
DyC (Panel Session).
Dynamo 2000: 73-74 |
| 46 | | Markus Mock,
Craig Chambers,
Susan J. Eggers:
Calpa: a tool for automating selective dynamic compilation.
MICRO 2000: 291-302 |
| 45 | | Curtis Clifton,
Gary T. Leavens,
Craig Chambers,
Todd D. Millstein:
MultiJava: modular open classes and symmetric multiple dispatch for Java.
OOPSLA 2000: 130-145 |
| 44 | | Craig Chambers,
Bill Harrison,
John M. Vlissides:
A Debate on Language and Tool Support for Design Patterns.
POPL 2000: 277-289 |
| 43 | | Brian Grant,
Markus Mock,
Matthai Philipose,
Craig Chambers,
Susan J. Eggers:
The benefits and costs of DyC's run-time optimizations.
ACM Trans. Program. Lang. Syst. 22(5): 932-972 (2000) |
| 42 | | Brian Grant,
Markus Mock,
Matthai Philipose,
Craig Chambers,
Susan J. Eggers:
DyC: an expressive annotation-directed dynamic compiler for C.
Theor. Comput. Sci. 248(1-2): 147-199 (2000) |
| 1999 |
|---|
| 41 | | Brian Grant,
Matthai Philipose,
Markus Mock,
Craig Chambers,
Susan J. Eggers:
An evaluation of staged run-time optimizations in DyC (with retrospective)
Best of PLDI 1999: 656-669 |
| 40 | | Todd D. Millstein,
Craig Chambers:
Modular Statically Typed Multimethods.
ECOOP 1999: 279-303 |
| 39 | | Craig Chambers,
Igor Pechtchanski,
Vivek Sarkar,
Mauricio J. Serrano,
Harini Srinivasan:
Dependence Analysis for Java.
LCPC 1999: 35-52 |
| 38 | | Craig Chambers,
Weimin Chen:
Efficient Multiple and Predicated Dispatching.
OOPSLA 1999: 238-255 |
| 37 | | Brian Grant,
Matthai Philipose,
Markus Mock,
Craig Chambers,
Susan J. Eggers:
An Evaluation of Staged Run-Time Optimizations in DyC.
PLDI 1999: 293-304 |
| 36 | | Jonathan Aldrich,
Craig Chambers,
Emin Gün Sirer,
Susan J. Eggers:
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs.
SAS 1999: 19-38 |
| 1998 |
|---|
| 35 | | Michael D. Ernst,
Craig S. Kaplan,
Craig Chambers:
Predicate Dispatching: A Unified Theory of Dispatch.
ECOOP 1998: 186-211 |
| 34 | | Greg DeFouw,
David Grove,
Craig Chambers:
Fast Interprocedural Class Analysis.
POPL 1998: 222-236 |
| 1997 |
|---|
| 33 | | David Grove,
Greg DeFouw,
Jeffrey Dean,
Craig Chambers:
Call Graph Construction in Object-Oriented Languages.
OOPSLA 1997: 108-124 |
| 32 | | Brian Grant,
Markus Mock,
Matthai Philipose,
Craig Chambers,
Susan J. Eggers:
Annotation-Directed Run-Time Specialization in C.
PEPM 1997: 163-178 |
| 1996 |
|---|
| 31 | | Craig Chambers:
Synergies Between Object-Oriented Programming Language Design and Implementation Research.
ISOTAS 1996: 250-259 |
| 30 | | Jeffrey Dean,
Greg DeFouw,
David Grove,
Vassily Litvinov,
Craig Chambers:
Vortex: An Optimizing Compiler for Object-Oriented Languages.
OOPSLA 1996: 83-100 |
| 29 | | Joel Auslander,
Matthai Philipose,
Craig Chambers,
Susan J. Eggers,
Brian N. Bershad:
Fast, Effective Dynamic Compilation.
PLDI 1996: 149-159 |
| 28 | | Craig Chambers:
Towards Reusable, Extensible Components.
ACM Comput. Surv. 28(4es): 192 (1996) |
| 1995 |
|---|
| 27 | | Jeffrey Dean,
David Grove,
Craig Chambers:
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis.
ECOOP 1995: 77-101 |
| 26 | | Craig Chambers,
Jeffrey Dean,
David Grove:
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies.
ICSE 1995: 221-230 |
| 25 | | David Grove,
Jeffrey Dean,
Charles Garrett,
Craig Chambers:
Profile-Guided Receiver Class Prediction.
OOPSLA 1995: 108-123 |
| 24 | | Jeffrey Dean,
Craig Chambers,
David Grove:
Selective Specialization for Object-Oriented Languages.
PLDI 1995: 93-102 |
| 23 | | Brian N. Bershad,
Stefan Savage,
Przemyslaw Pardyak,
Emin Gün Sirer,
Marc E. Fiuczynski,
David Becker,
Craig Chambers,
Susan J. Eggers:
Extensibility, Safety and Performance in the SPIN Operating System.
SOSP 1995: 267-284 |
| 22 | | Craig Chambers,
Gary T. Leavens:
Typechecking and Modules for Multimethods.
ACM Trans. Program. Lang. Syst. 17(6): 805-843 (1995) |
| 21 | | Brian N. Bershad,
Craig Chambers,
Susan J. Eggers,
Chris Maeda,
Dylan McNamee,
Przemyslaw Pardyak,
Stefan Savage,
Emin Gün Sirer:
SPIN - An Extensible Microkernel for Application-specific Operating System Services.
Operating Systems Review 29(1): 74-77 (1995) |
| 1994 |
|---|
| 20 | | Brian N. Bershad,
Craig Chambers,
Susan J. Eggers,
Chris Maeda,
Dylan McNamee,
Przemyslaw Pardyak,
Stefan Savage,
Emin Gün Sirer:
SPIN - An Extensible Microkernel for Application-specific Operating System Services.
ACM SIGOPS European Workshop 1994: 68-71 |
| 19 | | Jeffrey Dean,
Craig Chambers:
Towards Better Inlining Decisions Using Inlining Trials.
LISP and Functional Programming 1994: 273-282 |
| 18 | | Craig Chambers,
Gary T. Leavens:
Typechecking and Modules for Multi-Methods.
OOPSLA 1994: 1-15 |
| 17 | | Jeffrey Dean,
Craig Chambers,
David Grove:
Identifying Profitable Specialization in Object-Oriented Languages.
PEPM 1994: 85-96 |
| 1993 |
|---|
| 16 | | Craig Chambers:
Predicate Classes.
ECOOP 1993: 268-296 |
| 15 | | Craig Chambers,
David Ungar:
Efficient implementation of object-oriented programming lanaguages (abstract).
OOPS Messenger 4(2): 224 (1993) |
| 1992 |
|---|
| 14 | | Craig Chambers:
Object-Oriented Multi-Methods in Cecil.
ECOOP 1992: 33-56 |
| 13 | | Urs Hölzle,
Craig Chambers,
David Ungar:
Debugging Optimized Code with Dynamic Deoptimization.
PLDI 1992: 32-43 |
| 12 | | David Ungar,
Randall B. Smith,
Craig Chambers,
Urs Hölzle:
Object, Message, and Performance: How They Coexist in Self.
IEEE Computer 25(10): 53-64 (1992) |
| 11 | | Craig Chambers:
The Design and Implementation of the SELF Compiler, an Optimizing Compilet for Object-Oriented Programming Languages
Stanford University, Department of Computer Science 1992 |
| 1991 |
|---|
| 10 | | Urs Hölzle,
Craig Chambers,
David Ungar:
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches.
ECOOP 1991: 21-38 |
| 9 | | Craig Chambers,
David Ungar:
Making Pure Object-Oriented Languages Practical.
OOPSLA 1991: 1-15 |
| 8 | | Craig Chambers,
David Ungar,
Bay-Wei Chang,
Urs Hölzle:
Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF.
Lisp and Symbolic Computation 4(3): 207-222 (1991) |
| 7 | | Craig Chambers,
David Ungar,
Bay-Wei Chang,
Urs Hölzle:
Organizing Programs Without Classes.
Lisp and Symbolic Computation 4(3): 223-242 (1991) |
| 6 | | Craig Chambers,
David Ungar,
Elgin Lee:
An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes.
Lisp and Symbolic Computation 4(3): 243-281 (1991) |
| 5 | | Craig Chambers,
David Ungar:
Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs.
Lisp and Symbolic Computation 4(3): 283-310 (1991) |
| 1990 |
|---|
| 4 | | Craig Chambers,
David Ungar:
Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs.
PLDI 1990: 150-164 |
| 1989 |
|---|
| 3 | | Craig Chambers,
David Ungar:
A retrospective on: "customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language" (with retrospective)
Best of PLDI 1989: 295-312 |
| 2 | | Craig Chambers,
David Ungar,
Elgin Lee:
An Efficient Implementation of SELF - a Dynamically-Typed Object-Oriented Language Based on Prototypes.
OOPSLA 1989: 49-70 |
| 1 | | Craig Chambers,
David Ungar:
Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language.
PLDI 1989: 146-160 |
