What is he best known for?
The fields of study he is best known for:
- Programming language
- Object-oriented programming
- Operating system
Craig Chambers mostly deals with Programming language, Object-oriented programming, Compiler, Java and Theoretical computer science.
His studies in Partial evaluation, Multiple dispatch, Source code, Dynamic compilation and Optimizing compiler are all subfields of Programming language research.
His Object-oriented programming research is multidisciplinary, incorporating elements of Call site, Overhead, Message passing and Abstract data type.
In his study, Compiled language is inextricably linked to Debugging, which falls within the broad field of Compiler.
In his research, Formal methods, Software engineering and Program analysis is intimately related to Software architecture, which falls under the overarching field of Java.
His research on Theoretical computer science frequently links to adjacent areas such as Graph.
His most cited work include:
- Extensibility safety and performance in the SPIN operating system (899 citations)
- Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis (554 citations)
- ArchJava: connecting software architecture to implementation (429 citations)
What are the main themes of his work throughout his whole career to date?
Craig Chambers focuses on Programming language, Object-oriented programming, Compiler, Theoretical computer science and Optimizing compiler.
His study involves Java, Dynamic compilation, Modular design, Call graph and Extensibility, a branch of Programming language.
His Object-oriented programming study combines topics in areas such as Data type, Overhead, Software development, Object and Interactive programming.
His Compiler research is multidisciplinary, relying on both Debugger, Debugging and Compiled language.
His study in Theoretical computer science is interdisciplinary in nature, drawing from both Graph, Predicate, Key and Implementation.
The concepts of his Optimizing compiler study are interwoven with issues in Constant and Dataflow, Parallel computing.
He most often published in these fields:
- Programming language (74.04%)
- Object-oriented programming (36.54%)
- Compiler (35.58%)
What were the highlights of his more recent work (between 2002-2015)?
- Programming language (74.04%)
- Compiler (35.58%)
- Object-oriented programming (36.54%)
In recent papers he was focusing on the following fields of study:
His primary areas of study are Programming language, Compiler, Object-oriented programming, Theoretical computer science and Optimizing compiler.
His work on Key expands to the thematically related Programming language.
His Compiler study frequently draws connections between adjacent fields such as Type theory.
The various areas that Craig Chambers examines in his Object-oriented programming study include Ubiquitous computing, Algorithm, Software system and Software development.
His studies in Theoretical computer science integrate themes in fields like Type checking and Caml.
His work deals with themes such as Recursion and Parallel computing, which intersect with Optimizing compiler.
Between 2002 and 2015, his most popular works were:
- Ownership Domains: Separating Aliasing Policy from Mechanism (168 citations)
- Automatically proving the correctness of compiler optimizations (114 citations)
- Automated soundness proofs for dataflow analyses and transformations via local rules (109 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Compiler
Craig Chambers mainly investigates Programming language, Object-oriented programming, Compiler, Java and Type theory.
His work investigates the relationship between Programming language and topics such as Theoretical computer science that intersect with problems in Soundness.
Craig Chambers combines subjects such as Message format, Distributed computing, strictfp, Ubiquitous computing and Software system with his study of Object-oriented programming.
His research integrates issues of Class, Set, Loader, restrict and Modular design in his study of Compiler.
His Type theory research includes themes of Software development, Computer security, Encapsulation, Abstract data type and Compiler construction.
His Optimizing compiler research is multidisciplinary, incorporating perspectives in Control flow, Automated theorem proving, Local variable and Pointer.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
