Craig Chambers

82 papers A* 21A 24B 1C 4Journal 17Unranked 14

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing. Proc. VLDB Endow. Tyler Akidau, Robert Bradshaw, Craig Chambers, Slava Chernyak, Rafael Fernández-Moctezuma, Reuven Lax, Sam McVeety, Daniel Mills, Frances Perry, Eric Schmidt, Sam Whittle
2011	A	`conf`	Expressiveness, Simplicity, and Users. ECOOP Craig Chambers
2011	—	`conf`	Subphonemic Detail in Lexical Perception and Production: The Case of Canadian Raising. ICPhS Juli Cebrian, Craig Chambers
2010	A*	`conf`	FlumeJava: easy, efficient data-parallel pipelines. PLDI Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams, Robert R. Henry, Robert Bradshaw, Nathan Weizenbaum
2008	A*	`conf`	A theory of platform-dependent low-level software. POPL Marius Nita, Dan Grossman, Craig Chambers
2007	A*	`conf`	Automatic inference of optimizer flow functions from semantic meanings. PLDI Erika Rice Scherpelz, Sorin Lerner, Craig Chambers
2007	A*	`conf`	Searching for type-error messages. PLDI Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
2006	J	`jnl`	MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers
2006	A	`conf`	Parameterized Modules for Classes and Extensible Functions. ECOOP Keunwoo Lee, Craig Chambers
2006	—	`conf`	Seminal: searching for ML type-error messages. ML Benjamin S. Lerner, Dan Grossman, Craig Chambers
2005	A*	`conf`	Automated soundness proofs for dataflow analyses and transformations via local rules. POPL Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers
2005	J	`jnl`	Program Slicing with Dynamic Points-To Sets. IEEE Trans. Software Eng. Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers
2004	—	`conf`	Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. COCV Sorin Lerner, Todd D. Millstein, Craig Chambers
2004	J	`jnl`	Modular typechecking for hierarchically extensible datatypes and functions. ACM Trans. Program. Lang. Syst. Todd D. Millstein, Colin Bleckner, Craig Chambers
2004	A	`conf`	Ownership Domains: Separating Aliasing Policy from Mechanism. ECOOP Jonathan Aldrich, Craig Chambers
2004	A*	`ed.`	Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004 PLDI William W. Pugh, Craig Chambers
2003	A*	`conf`	Automatically proving the correctness of compiler optimizations. PLDI Sorin Lerner, Todd D. Millstein, Craig Chambers
2003	J	`jnl`	Comprehensive synchronization elimination for Java. Sci. Comput. Program. Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers
2003	A	`conf`	HydroJ: object-oriented pattern matching for evolvable distributed systems. OOPSLA Keunwoo Lee, Anthony LaMarca, Craig Chambers
2003	A	`conf`	Language Support for Connector Abstractions. ECOOP Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
2003	A	`conf`	Relaxed MultiJava: balancing extensibility and modular typechecking. OOPSLA Todd D. Millstein, Mark Reay, Craig Chambers
2002	A	`conf`	Alias annotations for program understanding. OOPSLA Jonathan Aldrich, Valentin Kostadinov, Craig Chambers
2002	A*	`conf`	ArchJava: connecting software architecture to implementation. ICSE Jonathan Aldrich, Craig Chambers, David Notkin
2002	A	`conf`	Architectural Reasoning in ArchJava. ECOOP Jonathan Aldrich, Craig Chambers, David Notkin
2002	—	`conf`	Architecture-centric programming for adaptive systems. WOSS Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
2002	A*	`conf`	Composing dataflow analyses and transformations. POPL Sorin Lerner, David Grove, Craig Chambers
2002	—	`conf`	Improving program slicing with dynamic points-to data. SIGSOFT FSE Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers
2002	J	`jnl`	Modular Statically Typed Multimethods. Inf. Comput. Todd D. Millstein, Craig Chambers
2002	A	`conf`	Modular typechecking for hierarchically extensible datatypes and functions. ICFP Todd D. Millstein, Colin Bleckner, Craig Chambers
2002	C	`conf`	Staged compilation. PEPM Craig Chambers
2002	A*	`conf`	Towards automatic construction of staged compilers. POPL Matthai Philipose, Craig Chambers, Susan J. Eggers
2001	J	`jnl`	A framework for call graph construction algorithms. ACM Trans. Program. Lang. Syst. David Grove, Craig Chambers
2001	—	`conf`	Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. PASTE Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers
2000	A*	`conf`	A Debate on Language and Tool Support for Design Patterns. POPL Craig Chambers, Bill Harrison, John M. Vlissides
2000	A*	`conf`	Calpa: a tool for automating selective dynamic compilation. MICRO Markus Mock, Craig Chambers, Susan J. Eggers
2000	—	`conf`	DyC (Panel Session). Dynamo Ron Cytron, Craig Chambers
2000	J	`jnl`	DyC: an expressive annotation-directed dynamic compiler for C. Theor. Comput. Sci. Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
2000	C	`ed.`	ISMM 2000, International Symposium on Memory Management, Minneapolis, Minnesota, USA, October 15-16, 2000 (in conjunction with OOPSLA 2000), Conference Proceedings ISMM Craig Chambers, Antony L. Hosking
2000	A	`conf`	MultiJava: modular open classes and symmetric multiple dispatch for Java. OOPSLA Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein
2000	J	`jnl`	The benefits and costs of DyC's run-time optimizations. ACM Trans. Program. Lang. Syst. Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
1999	A*	`conf`	An Evaluation of Staged Run-Time Optimizations in DyC. PLDI Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers
1999	—	`conf`	An evaluation of staged run-time optimizations in DyC (with retrospective) Best of PLDI Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers
1999	—	`conf`	Dependence Analysis for Java. LCPC Craig Chambers, Igor Pechtchanski, Vivek Sarkar, Mauricio J. Serrano, Harini Srinivasan
1999	A	`conf`	Efficient Multiple and Predicated Dispatching. OOPSLA Craig Chambers, Weimin Chen
1999	A	`conf`	Modular Statically Typed Multimethods. ECOOP Todd D. Millstein, Craig Chambers
1999	B	`conf`	Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. SAS Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers
1998	A*	`conf`	Fast Interprocedural Class Analysis. POPL Greg DeFouw, David Grove, Craig Chambers
1998	A	`conf`	Predicate Dispatching: A Unified Theory of Dispatch. ECOOP Michael D. Ernst, Craig S. Kaplan, Craig Chambers
1998	A	`ed.`	Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998. OOPSLA Bjørn N. Freeman-Benson, Craig Chambers
1997	C	`conf`	Annotation-Directed Run-Time Specialization in C. PEPM Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
1997	A	`conf`	Call Graph Construction in Object-Oriented Languages. OOPSLA David Grove, Greg DeFouw, Jeffrey Dean, Craig Chambers
1996	A*	`conf`	Fast, Effective Dynamic Compilation. PLDI Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad
1996	—	`conf`	Synergies Between Object-Oriented Programming Language Design and Implementation Research. ISOTAS Craig Chambers
1996	J	`jnl`	Towards Reusable, Extensible Components. ACM Comput. Surv. Craig Chambers
1996	A	`conf`	Vortex: An Optimizing Compiler for Object-Oriented Languages. OOPSLA Jeffrey Dean, Greg DeFouw, David Grove, Vassily Litvinov, Craig Chambers
1995	A*	`conf`	A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. ICSE Craig Chambers, Jeffrey Dean, David Grove
1995	A*	`conf`	Extensibility, Safety and Performance in the SPIN Operating System. SOSP Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gün Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan J. Eggers
1995	A	`conf`	Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. ECOOP Jeffrey Dean, David Grove, Craig Chambers
1995	A	`conf`	Profile-Guided Receiver Class Prediction. OOPSLA David Grove, Jeffrey Dean, Charles Garrett, Craig Chambers
1995	J	`jnl`	SPIN - An Extensible Microkernel for Application-specific Operating System Services. ACM SIGOPS Oper. Syst. Rev. Brian N. Bershad, Craig Chambers, Susan J. Eggers, Chris Maeda, Dylan McNamee, Przemyslaw Pardyak, Stefan Savage, Emin Gün Sirer
1995	A*	`conf`	Selective Specialization for Object-Oriented Languages. PLDI Jeffrey Dean, Craig Chambers, David Grove
1995	J	`jnl`	Typechecking and Modules for Multimethods. ACM Trans. Program. Lang. Syst. Craig Chambers, Gary T. Leavens
1994	C	`conf`	Identifying Profitable Specialization in Object-Oriented Languages. PEPM Jeffrey Dean, Craig Chambers, David Grove
1994	—	`conf`	SPIN - An Extensible Microkernel for Application-specific Operating System Services. ACM SIGOPS European Workshop Brian N. Bershad, Craig Chambers, Susan J. Eggers, Chris Maeda, Dylan McNamee, Przemyslaw Pardyak, Stefan Savage, Emin Gün Sirer
1994	—	`conf`	Towards Better Inlining Decisions Using Inlining Trials. LISP and Functional Programming Jeffrey Dean, Craig Chambers
1994	A	`conf`	Typechecking and Modules for Multi-Methods. OOPSLA Craig Chambers, Gary T. Leavens
1993	A	`conf`	Predicate Classes. ECOOP Craig Chambers
1992	A*	`conf`	Debugging Optimized Code with Dynamic Deoptimization. PLDI Urs Hölzle, Craig Chambers, David M. Ungar
1992	—	`conf`	Efficient implementation of object-oriented programming lanaguages (abstract). OOPSLA Addendum Craig Chambers, David M. Ungar
1992	J	`jnl`	Object, Message, and Performance: How They Coexist in Self. Computer David M. Ungar, Randall B. Smith, Craig Chambers, Urs Hölzle
1992	A	`conf`	Object-Oriented Multi-Methods in Cecil. ECOOP Craig Chambers
1992	—	`—`	The Design and Implementation of the SELF Compiler, an Optimizing Compilet for Object-Oriented Programming Languages Craig Chambers
1991	J	`jnl`	An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. LISP Symb. Comput. Craig Chambers, David M. Ungar, Elgin Lee
1991	J	`jnl`	Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. LISP Symb. Comput. Craig Chambers, David M. Ungar
1991	A	`conf`	Making Pure Object-Oriented Languages Practical. OOPSLA Craig Chambers, David M. Ungar
1991	A	`conf`	Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches. ECOOP Urs Hölzle, Craig Chambers, David M. Ungar
1991	J	`jnl`	Organizing Programs Without Classes. LISP Symb. Comput. Craig Chambers, David M. Ungar, Bay-Wei Chang, Urs Hölzle
1991	J	`jnl`	Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF. LISP Symb. Comput. Craig Chambers, David M. Ungar, Bay-Wei Chang, Urs Hölzle
1990	A*	`conf`	Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. PLDI Craig Chambers, David M. Ungar
1989	—	`conf`	A retrospective on: "customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language" (with retrospective) Best of PLDI Craig Chambers, David M. Ungar
1989	A	`conf`	An Efficient Implementation of SELF - a Dynamically-Typed Object-Oriented Language Based on Prototypes. OOPSLA Craig Chambers, David M. Ungar, Elgin Lee
1989	A*	`conf`	Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language. PLDI Craig Chambers, David M. Ungar