The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Craig Chambers: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  74. FlumeJava: easy, efficient data-parallel pipelines. [Citation Graph (, )][DBLP]


  75. A theory of platform-dependent low-level software. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.037secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002