2008 |
76 | EE | Marius Nita,
Dan Grossman,
Craig Chambers:
A theory of platform-dependent low-level software.
POPL 2008: 209-220 |
2007 |
75 | EE | Erika Rice Scherpelz,
Sorin Lerner,
Craig Chambers:
Automatic inference of optimizer flow functions from semantic meanings.
PLDI 2007: 135-145 |
74 | EE | Benjamin S. Lerner,
Matthew Flower,
Dan Grossman,
Craig Chambers:
Searching for type-error messages.
PLDI 2007: 425-434 |
2006 |
73 | EE | Keunwoo Lee,
Craig Chambers:
Parameterized Modules for Classes and Extensible Functions.
ECOOP 2006: 353-378 |
72 | EE | Benjamin S. Lerner,
Dan Grossman,
Craig Chambers:
Seminal: searching for ML type-error messages.
ML 2006: 63-73 |
71 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Jonathan Aldrich,
Craig Chambers:
Ownership Domains: Separating Aliasing Policy from Mechanism.
ECOOP 2004: 1-25 |
65 | EE | 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 | EE | Jonathan Aldrich,
Vibha Sazawal,
Craig Chambers,
David Notkin:
Language Support for Connector Abstractions.
ECOOP 2003: 74-102 |
63 | EE | Keunwoo Lee,
Anthony LaMarca,
Craig Chambers:
HydroJ: object-oriented pattern matching for evolvable distributed systems.
OOPSLA 2003: 205-223 |
62 | EE | Todd D. Millstein,
Mark Reay,
Craig Chambers:
Relaxed MultiJava: balancing extensibility and modular typechecking.
OOPSLA 2003: 224-240 |
61 | EE | Sorin Lerner,
Todd D. Millstein,
Craig Chambers:
Automatically proving the correctness of compiler optimizations.
PLDI 2003: 220-231 |
60 | EE | 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 | EE | Jonathan Aldrich,
Craig Chambers,
David Notkin:
Architectural Reasoning in ArchJava.
ECOOP 2002: 334-367 |
58 | EE | Todd D. Millstein,
Colin Bleckner,
Craig Chambers:
Modular typechecking for hierarchically extensible datatypes and functions.
ICFP 2002: 110-122 |
57 | EE | Jonathan Aldrich,
Craig Chambers,
David Notkin:
ArchJava: connecting software architecture to implementation.
ICSE 2002: 187-197 |
56 | EE | Jonathan Aldrich,
Valentin Kostadinov,
Craig Chambers:
Alias annotations for program understanding.
OOPSLA 2002: 311-330 |
55 | EE | Craig Chambers:
Staged compilation.
PEPM 2002: 1-8 |
54 | EE | Matthai Philipose,
Craig Chambers,
Susan J. Eggers:
Towards automatic construction of staged compilers.
POPL 2002: 113-125 |
53 | EE | Sorin Lerner,
David Grove,
Craig Chambers:
Composing dataflow analyses and transformations.
POPL 2002: 270-282 |
52 | EE | Markus Mock,
Darren C. Atkinson,
Craig Chambers,
Susan J. Eggers:
Improving program slicing with dynamic points-to data.
SIGSOFT FSE 2002: 71-80 |
51 | EE | Jonathan Aldrich,
Vibha Sazawal,
Craig Chambers,
David Notkin:
Architecture-centric programming for adaptive systems.
WOSS 2002: 93-95 |
50 | EE | Todd D. Millstein,
Craig Chambers:
Modular Statically Typed Multimethods.
Inf. Comput. 175(1): 76-118 (2002) |
2001 |
49 | EE | 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 | EE | David Grove,
Craig Chambers:
A framework for call graph construction algorithms.
ACM Trans. Program. Lang. Syst. 23(6): 685-746 (2001) |
2000 |
47 | EE | Ron Cytron,
Craig Chambers:
DyC (Panel Session).
Dynamo 2000: 73-74 |
46 | EE | Markus Mock,
Craig Chambers,
Susan J. Eggers:
Calpa: a tool for automating selective dynamic compilation.
MICRO 2000: 291-302 |
45 | EE | 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 | EE | Craig Chambers,
Bill Harrison,
John M. Vlissides:
A Debate on Language and Tool Support for Design Patterns.
POPL 2000: 277-289 |
43 | EE | 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 | EE | 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 | EE | 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 | EE | Todd D. Millstein,
Craig Chambers:
Modular Statically Typed Multimethods.
ECOOP 1999: 279-303 |
39 | EE | Craig Chambers,
Igor Pechtchanski,
Vivek Sarkar,
Mauricio J. Serrano,
Harini Srinivasan:
Dependence Analysis for Java.
LCPC 1999: 35-52 |
38 | EE | Craig Chambers,
Weimin Chen:
Efficient Multiple and Predicated Dispatching.
OOPSLA 1999: 238-255 |
37 | EE | 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 | EE | 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 | EE | Michael D. Ernst,
Craig S. Kaplan,
Craig Chambers:
Predicate Dispatching: A Unified Theory of Dispatch.
ECOOP 1998: 186-211 |
34 | EE | 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 | EE | 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 | EE | Jeffrey Dean,
David Grove,
Craig Chambers:
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis.
ECOOP 1995: 77-101 |
26 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |