What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Compiler
His scientific interests lie mostly in Programming language, Proof-carrying code, Type safety, Dead code elimination and Source code.
His study in Typed assembly language, Memory safety, Single Compilation Unit, Functional compiler and Inline expansion is carried out as part of his Programming language studies.
His work in Proof-carrying code covers topics such as Assembly language which are related to areas like Formal proof, Network packet and Machine code.
The various areas that he examines in his Type safety study include Program transformation and Compile time.
His Dead code elimination study combines topics from a wide range of disciplines, such as Intrinsic function, Compiler construction, Compiler correctness, Manifest expression and Dynamic compilation.
His work deals with themes such as Unreachable code, Code, Redundant code, Code generation and Code Access Security, which intersect with Source code.
His most cited work include:
- Proof-carrying code (1741 citations)
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (910 citations)
- CCured: type-safe retrofitting of legacy code (534 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of study are Programming language, Proof-carrying code, Theoretical computer science, Code and Algorithm.
Programming language is represented through his Source code, Compiler, Correctness, Type safety and Java research.
His study focuses on the intersection of Source code and fields such as Code Access Security with connections in the field of Sandbox.
His Type safety study also includes fields such as
- Memory safety and related Pointer,
- Program transformation, which have a strong connection to Data structure.
His work carried out in the field of Proof-carrying code brings together such families of science as Formal verification, Machine code, Typed assembly language and Formal proof.
His biological study spans a wide range of topics, including Proof assistant, Mathematical proof and Set.
He most often published in these fields:
- Programming language (54.05%)
- Proof-carrying code (19.82%)
- Theoretical computer science (17.12%)
What were the highlights of his more recent work (between 2010-2018)?
- Programming language (54.05%)
- JavaScript (4.50%)
- Thread (5.41%)
In recent papers he was focusing on the following fields of study:
George C. Necula focuses on Programming language, JavaScript, Thread, Correctness and Nondeterministic algorithm.
His research is interdisciplinary, bridging the disciplines of Code generation and Programming language.
His JavaScript research also works with subjects such as
- Operational semantics, which have a strong connection to Property and Object type,
- Scalability which connect with Real-time computing, Key and Distributed computing.
His research on Thread also deals with topics like
- Concurrency that connect with fields like Bebugging, Software and Domain-specific language,
- Event which is related to area like Database.
His Nondeterministic algorithm research incorporates themes from Model checking, State space exploration, Interleaving and Software model checking.
The concepts of his Java study are interwoven with issues in Computer programming, Parallelism, Manual testing and Theoretical computer science.
Between 2010 and 2018, his most popular works were:
- Guided GUI testing of android apps with minimal restart and approximate learning (269 citations)
- MultiSE: multi-path symbolic execution using value summaries (68 citations)
- EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (35 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Compiler
George C. Necula mainly focuses on Programming language, Thread, JavaScript, Troubleshooting and Spark.
His Programming language study frequently links to other fields, such as Android.
His Thread research includes elements of Event, Web application, Real-time computing and User interface.
His JavaScript research integrates issues from Concolic testing, Scalability and Theoretical computer science.
His research in Troubleshooting intersects with topics in SIGNAL, Minification, Distributed computing and Parallel computing.
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.
