| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Craig Chambers |
Expressiveness, Simplicity, and Users.  |
ECOOP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams, Robert R. Henry, Robert Bradshaw, Nathan Weizenbaum |
FlumeJava: easy, efficient data-parallel pipelines. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
java, mapreduce, data-parallel programming |
| 1 | Marius Nita, Dan Grossman, Craig Chambers |
A theory of platform-dependent low-level software. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
low-level software, portability, type safety, casts |
| 1 | Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers |
Searching for type-error messages. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
seminal, type-inference, type-checking, objective Caml, error messages |
| 1 | Erika Rice Scherpelz, Sorin Lerner, Craig Chambers |
Automatic inference of optimizer flow functions from semantic meanings. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers |
MultiJava: Design rationale, compiler implementation, and applications. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem |
| 1 | Benjamin S. Lerner, Dan Grossman, Craig Chambers |
Seminal: searching for ML type-error messages. |
ML |
2006 |
DBLP DOI BibTeX RDF |
seminal, type-inference, type-checking, objective Caml, error messages |
| 1 | Keunwoo Lee, Craig Chambers |
Parameterized Modules for Classes and Extensible Functions. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers |
Program Slicing with Dynamic Points-To Sets. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Dynamic analysis, program slicing, points-to analysis |
| 1 | Sorin Lerner, Todd D. Millstein, Craig Chambers |
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers |
Automated soundness proofs for dataflow analyses and transformations via local rules. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
| 1 | Todd D. Millstein, Colin Bleckner, Craig Chambers |
Modular typechecking for hierarchically extensible datatypes and functions. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Extensible datatypes, extensible functions, modular typechecking |
| 1 | William Pugh, Craig Chambers (eds.) |
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004 |
PLDI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Aldrich, Craig Chambers |
Ownership Domains: Separating Aliasing Policy from Mechanism. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers |
Comprehensive synchronization elimination for Java. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Lerner, Todd D. Millstein, Craig Chambers |
Automatically proving the correctness of compiler optimizations. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
| 1 | Todd D. Millstein, Mark Reay, Craig Chambers |
Relaxed MultiJava: balancing extensibility and modular typechecking. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
class loader, external methods, relaxed MultiJava, multimethods, modular typechecking |
| 1 | Keunwoo Lee, Anthony LaMarca, Craig Chambers |
HydroJ: object-oriented pattern matching for evolvable distributed systems. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
HydroJ, XML, distributed systems, ubiquitous computing, object-oriented programming, pattern matching, software evolution, semi-structured data, dynamic dispatch |
| 1 | Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin |
Language Support for Connector Abstractions. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd D. Millstein, Craig Chambers |
Modular Statically Typed Multimethods. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers |
Staged compilation. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Lerner, David Grove, Craig Chambers |
Composing dataflow analyses and transformations. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthai Philipose, Craig Chambers, Susan J. Eggers |
Towards automatic construction of staged compilers. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin |
Architecture-centric programming for adaptive systems. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd D. Millstein, Colin Bleckner, Craig Chambers |
Modular typechecking for hierarchically extensible datatypes and functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
extensible datatypes, extensible functions, modular typechecking |
| 1 | Jonathan Aldrich, Valentin Kostadinov, Craig Chambers |
Alias annotations for program understanding. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness |
| 1 | Jonathan Aldrich, Craig Chambers, David Notkin |
Architectural Reasoning in ArchJava. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Aldrich, Craig Chambers, David Notkin |
ArchJava: connecting software architecture to implementation. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers |
Improving program slicing with dynamic points-to data. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
dynamic analysis, program slicing, points-to analysis |
| 1 | David Grove, Craig Chambers |
A framework for call graph construction algorithms. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
interprocedural analysis, control flow analysis, Call graph construction |
| 1 | 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 |
DBLP DOI BibTeX RDF |
calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation |
| 1 | Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers |
DyC: an expressive annotation-directed dynamic compiler for C. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
specialization, dynamic compilation |
| 1 | Ron Cytron, Craig Chambers |
DyC (Panel Session). |
Dynamo |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, Bill Harrison, John M. Vlissides |
A Debate on Language and Tool Support for Design Patterns. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
programming lnguages, design patterns, software development, tools |
| 1 | Markus Mock, Craig Chambers, Susan J. Eggers |
Calpa: a tool for automating selective dynamic compilation. |
MICRO |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, Antony L. Hosking (eds.) |
ISMM 2000, International Symposium on Memory Management, Minneapolis, Minnesota, October 15-16, 2000 (in conjunction with OOPSLA 2000), Conference Proceedings |
ISMM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein |
MultiJava: modular open classes and symmetric multiple dispatch for Java. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers |
An Evaluation of Staged Run-Time Optimizations in DyC. |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, Weimin Chen |
Efficient Multiple and Predicated Dispatching. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers |
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd D. Millstein, Craig Chambers |
Modular Statically Typed Multimethods. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, Igor Pechtchanski, Vivek Sarkar, Mauricio J. Serrano, Harini Srinivasan |
Dependence Analysis for Java. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg DeFouw, David Grove, Craig Chambers |
Fast Interprocedural Class Analysis. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørn N. Freeman-Benson, Craig Chambers (eds.) |
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA '98), Vancouver, British Columbia, Canada, October 18-22, 1998. |
OOPSLA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael D. Ernst, Craig S. Kaplan, Craig Chambers |
Predicate Dispatching: A Unified Theory of Dispatch. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers |
Annotation-Directed Run-Time Specialization in C. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
C |
| 1 | David Grove, Greg DeFouw, Jeffrey Dean, Craig Chambers |
Call Graph Construction in Object-Oriented Languages. |
OOPSLA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers |
Towards Reusable, Extensible Components. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad |
Fast, Effective Dynamic Compilation. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers |
Synergies Between Object-Oriented Programming Language Design and Implementation Research. |
ISOTAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Dean, Greg DeFouw, David Grove, Vassily Litvinov, Craig Chambers |
Vortex: An Optimizing Compiler for Object-Oriented Languages. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, Gary T. Leavens |
Typechecking and Modules for Multimethods. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
static typechecking, inheritance, subtyping, encapsulation, multimethods |
| 1 | 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 |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Dean, Craig Chambers, David Grove |
Selective Specialization for Object-Oriented Languages. |
PLDI |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Grove, Jeffrey Dean, Charles Garrett, Craig Chambers |
Profile-Guided Receiver Class Prediction. |
OOPSLA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Dean, David Grove, Craig Chambers |
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. |
ECOOP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, Jeffrey Dean, David Grove |
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. |
ICSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey Dean, Craig Chambers, David Grove |
Identifying Profitable Specialization in Object-Oriented Languages. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey Dean, Craig Chambers |
Towards Better Inlining Decisions Using Inlining Trials. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Self |
| 1 | Craig Chambers, Gary T. Leavens |
Typechecking and Modules for Multi-Methods. |
OOPSLA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, David Ungar |
Efficient implementation of object-oriented programming lanaguages (abstract). |
OOPS Messenger |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers |
Predicate Classes. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers |
The Design and Implementation of the SELF Compiler, an Optimizing Compilet for Object-Oriented Programming Languages |
|
1992 |
RDF |
|
| 1 | David Ungar, Randall B. Smith, Craig Chambers, Urs Hölzle |
Object, Message, and Performance: How They Coexist in Self. |
IEEE Computer |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Urs Hölzle, Craig Chambers, David Ungar |
Debugging Optimized Code with Dynamic Deoptimization. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
Self |
| 1 | Craig Chambers |
Object-Oriented Multi-Methods in Cecil. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, David Ungar, Bay-Wei Chang, Urs Hölzle |
Organizing Programs Without Classes. |
Lisp and Symbolic Computation |
1991 |
DBLP BibTeX RDF |
|
| 1 | Craig Chambers, David Ungar, Elgin Lee |
An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. |
Lisp and Symbolic Computation |
1991 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1991 |
DBLP BibTeX RDF |
|
| 1 | Craig Chambers, David Ungar |
Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. |
Lisp and Symbolic Computation |
1991 |
DBLP BibTeX RDF |
|
| 1 | Craig Chambers, David Ungar |
Making Pure Object-Oriented Languages Practical. |
OOPSLA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Urs Hölzle, Craig Chambers, David Ungar |
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, David Ungar |
Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. |
PLDI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, David Ungar |
Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language. |
PLDI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Chambers, David Ungar, Elgin Lee |
An Efficient Implementation of SELF - a Dynamically-Typed Object-Oriented Language Based on Prototypes. |
OOPSLA |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")