H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 45 Citations 11,881 99 World Ranking 3612 National Ranking 1861

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

His primary scientific interests are in Programming language, Model checking, Predicate abstraction, CPAchecker and Source lines of code. The various areas that he examines in his Programming language study include Type inference, Distributed computing and Code. Model checking is a subfield of Theoretical computer science that he tackles.

The study incorporates disciplines such as Set, Abstraction model checking and Software verification in addition to Predicate abstraction. His study in CPAchecker is interdisciplinary in nature, drawing from both Craig interpolation, Expression and Predicate. His Source lines of code research incorporates elements of Scalability, Expression and Parallel computing.

His most cited work include:

  • Lazy abstraction (1080 citations)
  • NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories (666 citations)
  • The software model checker B last : Applications to software engineering (533 citations)

What are the main themes of his work throughout his whole career to date?

Ranjit Jhala mostly deals with Programming language, Model checking, Theoretical computer science, Predicate abstraction and Correctness. His Programming language research is multidisciplinary, incorporating elements of Decidability, Type inference and Code. Ranjit Jhala has researched Model checking in several fields, including Program analysis, Software verification, Software, Memory safety and Concurrency.

His research investigates the connection with Concurrency and areas like Thread which intersect with concerns in Parallel computing. Ranjit Jhala combines subjects such as Soundness, Graph, Predicate and Counterexample with his study of Theoretical computer science. His research in Predicate abstraction intersects with topics in Property, Construct, CPAchecker and Predicate.

He most often published in these fields:

  • Programming language (57.66%)
  • Model checking (27.74%)
  • Theoretical computer science (23.36%)

What were the highlights of his more recent work (between 2018-2021)?

  • Programming language (57.66%)
  • Code (10.22%)
  • Cryptography (3.65%)

In recent papers he was focusing on the following fields of study:

The scientist’s investigation covers issues in Programming language, Code, Cryptography, Compiler and Haskell. His work often combines Programming language and Counterfactual thinking studies. His Code research integrates issues from Parallel computing, Program transformation, Side channel attack, Key and Language construct.

In his research, Constant is intimately related to Encryption, which falls under the overarching field of Cryptography. His Compiler research includes elements of Domain-specific language, Overhead, Dataflow and Cache. To a larger extent, Ranjit Jhala studies Theoretical computer science with the aim of understanding Haskell.

Between 2018 and 2021, his most popular works were:

  • Pretend synchrony: synchronous verification of asynchronous distributed programs (27 citations)
  • FaCT: a DSL for timing-sensitive computation (15 citations)
  • Program synthesis by type-guided abstraction refinement (7 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

His primary areas of investigation include Compiler, Haskell, Programming language, Code and Computer hardware. The Compiler study combines topics in areas such as Discrete mathematics, Speculative execution, Expression and Cache. His Haskell study combines topics in areas such as Reduction, Symbolic execution and Counterexample.

His Programming language research includes themes of Side channel attack and Obfuscation. Code is often connected to Domain-specific language in his work. Ranjit Jhala interconnects Constant, Encryption and Cryptography in the investigation of issues within Computer hardware.

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.

Best Publications

Lazy abstraction

Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Grégoire Sutre.
symposium on principles of programming languages (2002)

1471 Citations

The software model checker BLAST Applications to software engineering

Dirk Beyer;Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar.
International Journal on Software Tools for Technology Transfer (2007)

820 Citations

NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories

Joel Coburn;Adrian M. Caulfield;Ameen Akel;Laura M. Grupp.
architectural support for programming languages and operating systems (2011)

800 Citations

Abstractions from proofs

Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Kenneth L. McMillan.
symposium on principles of programming languages (2004)

635 Citations

Software verification with BLAST

Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Grégoire Sutre.
international workshop on model checking software (2003)

635 Citations

Software model checking

Ranjit Jhala;Rupak Majumdar.
ACM Computing Surveys (2009)

481 Citations

Liquid types

Patrick M. Rondon;Ming Kawaguci;Ranjit Jhala.
programming language design and implementation (2008)

419 Citations

RELAY: static race detection on millions of lines of code

Jan Wen Voung;Ranjit Jhala;Sorin Lerner.
foundations of software engineering (2007)

363 Citations

Staged information flow for javascript

Ravi Chugh;Jeffrey A. Meister;Ranjit Jhala;Sorin Lerner.
programming language design and implementation (2009)

319 Citations

Generating tests from counterexamples

Dirk Beyer;Adam J. Chlipala;Thomas A. Henzinger;Ranjit Jhala.
international conference on software engineering (2004)

305 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Ranjit Jhala

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 75

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 63

Andrey Rybalchenko

Andrey Rybalchenko

Microsoft (United States)

Publications: 63

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 52

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 49

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 42

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 42

Andreas Podelski

Andreas Podelski

University of Freiburg

Publications: 41

Shaz Qadeer

Shaz Qadeer

Facebook (United States)

Publications: 40

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 37

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 37

Helmut Veith

Helmut Veith

TU Wien

Publications: 35

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft (United States)

Publications: 35

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 34

Byron Cook

Byron Cook

Amazon (United States)

Publications: 30

Cormac Flanagan

Cormac Flanagan

University of California, Santa Cruz

Publications: 30

Something went wrong. Please try again later.