What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Algorithm
Rastislav Bodik spends much of his time researching Programming language, Programmer, Program synthesis, Theoretical computer science and Parallel computing.
In the subject of general Programming language, his work in Correctness, Formal specification and Statement is often linked to Thin-slicing, thereby combining diverse domains of study.
Rastislav Bodik interconnects Protocol, Concurrency and Implementation in the investigation of issues within Programmer.
The concepts of his Program synthesis study are interwoven with issues in Software development and Programming paradigm.
His work deals with themes such as Specification, Algorithm and Block, which intersect with Theoretical computer science.
His Parallel computing research incorporates elements of Bounds checking and Partial redundancy elimination.
His most cited work include:
- Mining specifications (605 citations)
- Combinatorial sketching for finite programs (486 citations)
- A view of the parallel computing landscape (485 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of study are Programming language, Parallel computing, Compiler, Theoretical computer science and Program synthesis.
His work on Programmer, Correctness, Debugging and Executable as part of general Programming language research is often related to Sketch, thus linking different fields of science.
His study in Programmer is interdisciplinary in nature, drawing from both Software development and Operator.
His studies in Parallel computing integrate themes in fields like Scheduling and Computation.
His studies deal with areas such as Algorithm, Rule-based machine translation and Program analysis as well as Theoretical computer science.
The study incorporates disciplines such as Programming paradigm, Code, Code generation and Superoptimization in addition to Program synthesis.
He most often published in these fields:
- Programming language (38.35%)
- Parallel computing (21.05%)
- Compiler (19.55%)
What were the highlights of his more recent work (between 2015-2021)?
- Programming language (38.35%)
- Compiler (19.55%)
- Parallel computing (21.05%)
In recent papers he was focusing on the following fields of study:
Rastislav Bodik mainly investigates Programming language, Compiler, Parallel computing, Program synthesis and Theoretical computer science.
He frequently studies issues relating to Code and Programming language.
His Compiler research integrates issues from Scheduling, Probabilistic logic and Inference.
Within one scientific family, Rastislav Bodik focuses on topics pertaining to Automatic parallelization under Parallel computing, and may sometimes address concerns connected to Software.
He has researched Program synthesis in several fields, including Correctness, Table, Superoptimization and Search algorithm.
Rastislav Bodik combines subjects such as Formal grammar and Rule-based machine translation with his study of Theoretical computer science.
Between 2015 and 2021, his most popular works were:
- Programming With Models: Writing Statistical Algorithms for General Model Structures With NIMBLE (201 citations)
- Synthesizing highly expressive SQL queries from input-output examples (103 citations)
- Scaling up Superoptimization (51 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Algorithm
The scientist’s investigation covers issues in Program synthesis, Algorithm, Parallel computing, Correctness and Invariant.
His Program synthesis research is multidisciplinary, incorporating perspectives in Web scraping and Row.
He has included themes like Probabilistic logic and Source code in his Algorithm study.
His research on Parallel computing often connects related areas such as Code generation.
Rastislav Bodik interconnects Software, Automatic parallelization, Pruning and Search algorithm in the investigation of issues within Correctness.
Invariant combines with fields such as Probabilistic method, Reachability, Bounded function, Heuristics and Fast algorithm in his investigation.
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.
