World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
52
Citations
13822
World Ranking
5012
National Ranking
2330

Overview

Ranjit Jhala is affiliated with the University of California, San Diego in the United States. Their research primarily spans the field of Computer Science, with numerous publications contributing to a range of subfields and topics within this domain.

The main subfields of study in which they have published include:

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Software
  • Information Systems
  • Signal Processing

The key topics covered by their work encompass:

  • Logic, programming, and type systems
  • Security and Verification in Computing
  • Formal Methods in Verification
  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Advanced Malware Detection Techniques
  • Cryptographic Implementations and Security

Jhala has frequently published in the following venues:

  • Proceedings of the ACM on Programming Languages
  • arXiv (Cornell University)
  • Artifact Digital Object Group
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Foundations and Trends® in Programming Languages

Recent selected papers include:

  • "Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade," 2023, OPAL (Open@LaTrobe) (La Trobe University)
  • "Refinement Types: A Tutorial," 2021, Foundations and Trends® in Programming Languages
  • "Flux: Liquid Types for Rust," 2023, Proceedings of the ACM on Programming Languages
  • "Digging for fold: synthesis-aided API discovery for Haskell," 2020, Proceedings of the ACM on Programming Languages
  • "Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI," 2022, Proceedings of the ACM on Programming Languages

The scientist has collaborated frequently with several colleagues, including:

  • Deian Stefan
  • Niki Vazou
  • Matthew Kolosick
  • Nadia Polikarpova
  • Klaus von Gleissenthall

Best Publications

  • Lazy abstraction

    Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Grégoire Sutre

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

    Joel Coburn;Adrian M. Caulfield;Ameen Akel;Laura M. Grupp

  • The software model checker B last : Applications to software engineering

    Dirk Beyer;Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar

  • Software verification with BLAST

    Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Grégoire Sutre

  • Abstractions from proofs

    Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Kenneth L. McMillan

  • Software model checking

    Ranjit Jhala;Rupak Majumdar

  • Liquid types

    Patrick M. Rondon;Ming Kawaguci;Ranjit Jhala

  • Abstractions from proofs

    Unknown

  • RELAY: static race detection on millions of lines of code

    Jan Wen Voung;Ranjit Jhala;Sorin Lerner

  • Staged information flow for javascript

    Ravi Chugh;Jeffrey A. Meister;Ranjit Jhala;Sorin Lerner

  • Generating tests from counterexamples

    Dirk Beyer;Adam J. Chlipala;Thomas A. Henzinger;Ranjit Jhala

  • Mace: language support for building distributed systems

    Charles Edwin Killian;James W. Anderson;Ryan Braud;Ranjit Jhala

  • Life, death, and the critical transition: finding liveness bugs in systems code

    Charles Killian;James W. Anderson;Ranjit Jhala;Amin Vahdat

  • Refinement types for Haskell

    Niki Vazou;Eric L. Seidel;Ranjit Jhala;Dimitrios Vytiniotis

  • An empirical study of privacy-violating information flows in JavaScript web applications

    Dongseok Jang;Ranjit Jhala;Sorin Lerner;Hovav Shacham

  • A practical and complete approach to predicate refinement

    Ranjit Jhala;K. L. Mcmillan

  • Temporal-Safety Proofs for Systems Code

    Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;George C. Necula

  • Race checking by context inference

    Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar

  • On Subnormal Floating Point and Abnormal Timing

    Marc Andrysco;David Kohlbrenner;Keaton Mowery;Ranjit Jhala

  • Thread-modular abstraction refinement

    Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Shaz Qadeer

  • Temporal-safety proofs for systems code

    Thomas A. Henzinger;George C. Necula;Ranjit Jhala;Gregoire Sutre

Frequent Co-Authors

Rupak Majumdar
Rupak Majumdar Max Planck Institute for Software Systems
Thomas A. Henzinger
Thomas A. Henzinger Institute of Science and Technology Austria
Westley Weimer
Westley Weimer University of Michigan–Ann Arbor
Kenneth L. McMillan
Kenneth L. McMillan Microsoft (United States)
Dirk Beyer
Dirk Beyer Ludwig-Maximilians-Universität München
Andrey Rybalchenko
Andrey Rybalchenko Microsoft (United States)
Kamalika Chaudhuri
Kamalika Chaudhuri University of California, San Diego
Amin Vahdat
Amin Vahdat Google (United States)
Dean M. Tullsen
Dean M. Tullsen University of California, San Diego
Rajesh Gupta
Rajesh Gupta University of California, San Diego

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees can offer flexible entry points and broaden your career prospects in computer science and related fields. For those seeking a quick credential, you may wonder what degree can I get online in 6 months. These accelerated associate programs are ideal if you want to gain foundational skills and start your career sooner.

Many students also consider business studies as a complementary pathway to computer science. If you’re weighing your options, it’s worth researching how much does it cost to get a business degree online. You’ll find that tuition rates can vary widely, and there are affordable choices that don’t sacrifice quality.

For a more in-depth academic commitment, reviewing the most affordable bachelor's degree online programs is essential. Many offer computer science and related technology degrees designed for distance learners.

Lastly, if you’re interested in the technical and practical side of computing, you can explore earning engineering degrees online. These programs allow you to specialize and open up additional STEM-focused career options upon graduation.

Best Scientists Citing Ranjit Jhala

Trending Scientists

Recently Published Articles