What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Algorithm
Alex Aiken mostly deals with Programming language, Parallel computing, Theoretical computer science, Data mining and Static analysis.
His Programming language research incorporates elements of Algorithm, Type and Benchmark.
His Parallel computing research includes elements of Compiler, Memory leak, Memory management and Programming paradigm.
He has researched Theoretical computer science in several fields, including Type theory, Reliability, Linux kernel and Of the form.
Alex Aiken has included themes like Cryptovirology, Isolation and Debugging in his Data mining study.
His research in Static analysis intersects with topics in State, Active database and Code.
His most cited work include:
- Winnowing: local algorithms for document fingerprinting (879 citations)
- Scalable statistical bug isolation (688 citations)
- A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. (582 citations)
What are the main themes of his work throughout his whole career to date?
Alex Aiken spends much of his time researching Programming language, Theoretical computer science, Parallel computing, Program analysis and Compiler.
His work in Programming language is not limited to one particular discipline; it also encompasses Code.
The study incorporates disciplines such as Scalability, Software pipelining and Memory management in addition to Parallel computing.
His Memory management study frequently draws parallels with other fields, such as Memory map.
His studies in Program analysis integrate themes in fields like Algorithm, Type inference and Constraint.
Static analysis is closely attributed to Android in his study.
He most often published in these fields:
- Programming language (28.12%)
- Theoretical computer science (21.09%)
- Parallel computing (16.61%)
What were the highlights of his more recent work (between 2017-2021)?
- Scalability (8.63%)
- Parallel computing (16.61%)
- Programming language (28.12%)
In recent papers he was focusing on the following fields of study:
Scalability, Parallel computing, Programming language, Parallelism and Artificial intelligence are his primary areas of study.
His Scalability study incorporates themes from Supercomputer, Task analysis and Data mining.
Alex Aiken regularly links together related areas like Program analysis in his Parallel computing studies.
His study in the fields of Compiler, Correctness and Unit testing under the domain of Programming language overlaps with other disciplines such as Atlas.
His Parallelism study also includes
- Layer which connect with Process,
- Parallelizable manifold which intersects with area such as Constraint, Automatic parallelization, Distributed memory, Granularity and Dimension.
His work in Artificial intelligence tackles topics such as Computer vision which are related to areas like Interactive video.
Between 2017 and 2021, his most popular works were:
- Beyond Data and Model Parallelism for Deep Neural Networks (74 citations)
- Beyond Data and Model Parallelism for Deep Neural Networks (45 citations)
- TASO: optimizing deep learning computation with automatic generation of graph substitutions (40 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Algorithm
His primary areas of study are Scalability, Parallelism, Parallel computing, Artificial intelligence and Deep learning.
His Scalability research includes themes of SOAP, Sample and Deep neural networks.
The various areas that Alex Aiken examines in his Parallelism study include Layer and Convolutional neural network.
His Convolutional neural network research is multidisciplinary, relying on both Dimension, Process, Parallelizable manifold, Granularity and Speedup.
His work on Artificial neural network is typically connected to Superoptimization as part of general Artificial intelligence study, connecting several disciplines of science.
His Deep learning research includes elements of Automated theorem proving, Theoretical computer science and Graph.
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.
