dblp.uni-trier.dewww.uni-trier.de

Craig Chambers Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
76EEMarius Nita, Dan Grossman, Craig Chambers: A theory of platform-dependent low-level software. POPL 2008: 209-220
2007
75EEErika Rice Scherpelz, Sorin Lerner, Craig Chambers: Automatic inference of optimizer flow functions from semantic meanings. PLDI 2007: 135-145
74EEBenjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers: Searching for type-error messages. PLDI 2007: 425-434
2006
73EEKeunwoo Lee, Craig Chambers: Parameterized Modules for Classes and Extensible Functions. ECOOP 2006: 353-378
72EEBenjamin S. Lerner, Dan Grossman, Craig Chambers: Seminal: searching for ML type-error messages. ML 2006: 63-73
71EECurtis 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
70EESorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers: Automated soundness proofs for dataflow analyses and transformations via local rules. POPL 2005: 364-377
69EESorin 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)
68EEMarkus 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
66EEJonathan Aldrich, Craig Chambers: Ownership Domains: Separating Aliasing Policy from Mechanism. ECOOP 2004: 1-25
65EETodd 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
64EEJonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Language Support for Connector Abstractions. ECOOP 2003: 74-102
63EEKeunwoo Lee, Anthony LaMarca, Craig Chambers: HydroJ: object-oriented pattern matching for evolvable distributed systems. OOPSLA 2003: 205-223
62EETodd D. Millstein, Mark Reay, Craig Chambers: Relaxed MultiJava: balancing extensibility and modular typechecking. OOPSLA 2003: 224-240
61EESorin Lerner, Todd D. Millstein, Craig Chambers: Automatically proving the correctness of compiler optimizations. PLDI 2003: 220-231
60EEJonathan 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
59EEJonathan Aldrich, Craig Chambers, David Notkin: Architectural Reasoning in ArchJava. ECOOP 2002: 334-367
58EETodd D. Millstein, Colin Bleckner, Craig Chambers: Modular typechecking for hierarchically extensible datatypes and functions. ICFP 2002: 110-122
57EEJonathan Aldrich, Craig Chambers, David Notkin: ArchJava: connecting software architecture to implementation. ICSE 2002: 187-197
56EEJonathan Aldrich, Valentin Kostadinov, Craig Chambers: Alias annotations for program understanding. OOPSLA 2002: 311-330
55EECraig Chambers: Staged compilation. PEPM 2002: 1-8
54EEMatthai Philipose, Craig Chambers, Susan J. Eggers: Towards automatic construction of staged compilers. POPL 2002: 113-125
53EESorin Lerner, David Grove, Craig Chambers: Composing dataflow analyses and transformations. POPL 2002: 270-282
52EEMarkus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers: Improving program slicing with dynamic points-to data. SIGSOFT FSE 2002: 71-80
51EEJonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Architecture-centric programming for adaptive systems. WOSS 2002: 93-95
50EETodd D. Millstein, Craig Chambers: Modular Statically Typed Multimethods. Inf. Comput. 175(1): 76-118 (2002)
2001
49EEMarkus 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
48EEDavid Grove, Craig Chambers: A framework for call graph construction algorithms. ACM Trans. Program. Lang. Syst. 23(6): 685-746 (2001)
2000
47EERon Cytron, Craig Chambers: DyC (Panel Session). Dynamo 2000: 73-74
46EEMarkus Mock, Craig Chambers, Susan J. Eggers: Calpa: a tool for automating selective dynamic compilation. MICRO 2000: 291-302
45EECurtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein: MultiJava: modular open classes and symmetric multiple dispatch for Java. OOPSLA 2000: 130-145
44EECraig Chambers, Bill Harrison, John M. Vlissides: A Debate on Language and Tool Support for Design Patterns. POPL 2000: 277-289
43EEBrian 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)
42EEBrian 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
41EEBrian 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
40EETodd D. Millstein, Craig Chambers: Modular Statically Typed Multimethods. ECOOP 1999: 279-303
39EECraig Chambers, Igor Pechtchanski, Vivek Sarkar, Mauricio J. Serrano, Harini Srinivasan: Dependence Analysis for Java. LCPC 1999: 35-52
38EECraig Chambers, Weimin Chen: Efficient Multiple and Predicated Dispatching. OOPSLA 1999: 238-255
37EEBrian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers: An Evaluation of Staged Run-Time Optimizations in DyC. PLDI 1999: 293-304
36EEJonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers: Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. SAS 1999: 19-38
1998
35EEMichael D. Ernst, Craig S. Kaplan, Craig Chambers: Predicate Dispatching: A Unified Theory of Dispatch. ECOOP 1998: 186-211
34EEGreg 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
32EEBrian 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
27EEJeffrey Dean, David Grove, Craig Chambers: Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. ECOOP 1995: 77-101
26EECraig 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
22EECraig 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
19EEJeffrey 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
16EECraig 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
14EECraig 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
10EEUrs 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
3EECraig 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

Coauthor Index

1Jonathan Aldrich [36] [51] [56] [57] [59] [60] [64] [66]
2Darren C. Atkinson [52] [68]
3Joel Auslander [29]
4David Becker [23]
5Brian N. Bershad [20] [21] [23] [29]
6Colin Bleckner [58] [65]
7Bay-Wei Chang [7] [8]
8Weimin Chen [38]
9Curtis Clifton [45] [71]
10Ron Cytron (Ron K. Cytron) [47]
11Manuvir Das [49]
12Greg DeFouw [30] [33] [34]
13Jeffrey Dean [17] [19] [24] [25] [26] [27] [30] [33]
14Susan J. Eggers [20] [21] [23] [29] [32] [36] [37] [41] [42] [43] [46] [49] [52] [54] [60] [68]
15Michael D. Ernst [35]
16Marc E. Fiuczynski [23]
17Matthew Flower [74]
18Charles Garrett [25]
19Brian Grant [32] [37] [41] [42] [43]
20Dan Grossman [72] [74] [76]
21David Grove [17] [24] [25] [26] [27] [30] [33] [34] [48] [53]
22Bill Harrison [44]
23Urs Hölzle [7] [8] [10] [12] [13]
24Craig S. Kaplan [35]
25Valentin Kostadinov [56]
26Anthony LaMarca [63]
27Gary T. Leavens [18] [22] [45] [71]
28Elgin Lee [2] [6]
29Keunwoo Lee [63] [73]
30Benjamin S. Lerner [72] [74]
31Sorin Lerner [53] [61] [69] [70] [75]
32Vassily Litvinov [30]
33Chris Maeda [20] [21]
34Dylan McNamee [20] [21]
35Todd D. Millstein [40] [45] [50] [58] [61] [62] [65] [69] [70] [71]
36Markus Mock [32] [37] [41] [42] [43] [46] [49] [52] [68]
37Marius Nita [76]
38David Notkin [51] [57] [59] [64]
39Przemyslaw Pardyak [20] [21] [23]
40Igor Pechtchanski [39]
41Matthai Philipose [29] [32] [37] [41] [42] [43] [54]
42William Pugh [67]
43Mark Reay [62]
44Erika Rice [70]
45Vivek Sarkar [39]
46Stefan Savage [20] [21] [23]
47Vibha Sazawal [51] [64]
48Erika Rice Scherpelz [75]
49Mauricio J. Serrano [39]
50Emin Gün Sirer [20] [21] [23] [36] [60]
51Randall B. Smith [12]
52Harini Srinivasan [39]
53David Ungar [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [15]
54John M. Vlissides [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)