Faculty

Institution

Unit

Venue

Ranjit Jhala

Professor Computer Science & Engineering

University of California, San Diego

Affiliations

Jacobs School of Engineering

Computer Science & Engineering

Ranjit Jhala is currently serving as a Computer Science & Engineering Professor Computer Science & Engineering at University of California, San Diego.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Ranjit Jhala

University of California, San Diego

Professor Computer Science & Engineering

You can click a keyword to filter the displayed items

computer science formal methods machine learning formal verification verification software engineering natural language processing systems engineering programming language theory programming languages software verification computer engineering computer security software testing logic in computer science software analysis refinement technique type theory liquid types refinement types linguistics model checking automatic control automated proof functional programming systems code speculative leaks data security microarchitecture information technology automated reasoning mathematical proof proof theory software security testing technique memory management abstract interpretation finding liveness bugs critical transition cryptographic code predicate abstraction analytic program repair type error feedback refinement reflection static type errors dynamic witnesses replication package human-computer interaction networked system design high performance computer architecture parallel programming automated deduction nuclear science knowledge discovery mathematical programming abstract object theory proof system information flow test development test evolution test derivation test data generation array processing abstraction techniques abstraction (computer science) generic programming polymorphism (computer science) dependently typed programming type systems control design control engineering control science command and control buffer management lazy abstraction context inference formal technique computer-aided verification design automation

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Generic Refinement Types. Proceedings of the ACM on Programming Languages (2025)

Nico LehmannCole KurashigeNikhil AkitiNiroop KrishnakumarRanjit Jhala

type theoryprogramming language theoryformal methodsgeneric refinement typesprogramming languagescomputer science

CCLEMMA: E-Graph Guided Lemma Discovery for Inductive Equational Proofs. Proceedings of the ACM on Programming Languages (2024)

Cole KurashigeRuyi JiAditya GiridharanMark BarboneDaniel NoorShachar ItzhakyRanjit JhalaNadia Polikarpova

programming language theorylemma discoveryformal methodsinductive equational proofsprogramming languagescomputer science

ICARUS: Trustworthy Just-In-Time Compilers With Symbolic Meta-Execution. Symposium on Operating Systems Principles (2024)

Naomi SmithAbhishek SharmaJohn RennerDavid ThienFraser BrownHovav ShachamRanjit JhalaDeian Stefan

operating system securitysymbolic meta-executionoperating systemstrustworthy just-in-time compilerscomputer science

Mechanizing Refinement Types. Proceedings of the ACM on Programming Languages (2024)

Michael H. BorkowskiNiki VazouRanjit Jhala

programming language theorymechanical engineeringrefinement typesnatural language processingapplied mathematicsprogramming languagescomputer science

Refinement Type Refutations. Proceedings of the ACM on Programming Languages (2024)

Robin WebbersKlaus von GleissenthallRanjit Jhala

refinement type refutationsprogramming language theorytheory of computationprogramming languagescomputer science

Complete First-Order Reasoning for Properties of Functional Programs. Proceedings of the ACM on Programming Languages (2023)

Adithya MuraliLucas PeñaRanjit JhalaP. Madhusudan

complete first-order reasoningsoftware analysisverificationautomated prooflogic in computer scienceprogram analysisfunctional programsformal methodsautomated deductionfunctional programmingformal verificationcomputer sciencesmt solversautomated reasoninglogic programming

FLUX: Liquid Types for Rust. Proceedings of the ACM on Programming Languages (2023)

Nico LehmannAdam T. GellerNiki VazouRanjit Jhala

programming language theoryliquid typesnatural language processingprogramming languagescomputer science

Embedded Domain Specific Verifiers. Lecture notes in computer science (2022)

Ranjit Jhala

embedded systemsdomain specific verifierscomputer sciencelogic in computer science

Isolation Without Taxation: Near-Zero-Cost Transitions for Webassembly and Sfi. Proceedings of the ACM on Programming Languages (2022)

Matthew KolosickShravan NarayanEvan JohnsonConrad WattMichael LeMayDeepak GargRanjit JhalaDeian Stefan

programming language theorynatural language processingprogramming languagescomputer sciencenear-zero-cost transitionsprogramming language design

SEQ2PARSE: Neurosymbolic Parse Error Repair. Proceedings of the ACM on Programming Languages (2022)

Georgios SakkasMadeline EndresPhilip J. GuoWestley WeimerRanjit Jhala

informaticsprogramming language theoryneuroinformaticsnatural language processingcognitive scienceprogramming languagescomputer scienceneuroscience

1
2
3
4
5
13
10 / page

Ranjit Jhala

Professor Computer Science & Engineering

University of California, San Diego

Affiliations

Jacobs School of Engineering

Computer Science & Engineering

Ranjit Jhala is currently serving as a Computer Science & Engineering Professor Computer Science & Engineering at University of California, San Diego.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Ranjit Jhala

University of California, San Diego

Professor Computer Science & Engineering

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Generic Refinement Types. Proceedings of the ACM on Programming Languages (2025)

Nico LehmannCole KurashigeNikhil AkitiNiroop KrishnakumarRanjit Jhala

type theoryprogramming language theoryformal methodsgeneric refinement typesprogramming languagescomputer science

CCLEMMA: E-Graph Guided Lemma Discovery for Inductive Equational Proofs. Proceedings of the ACM on Programming Languages (2024)

Cole KurashigeRuyi JiAditya GiridharanMark BarboneDaniel NoorShachar ItzhakyRanjit JhalaNadia Polikarpova

programming language theorylemma discoveryformal methodsinductive equational proofsprogramming languagescomputer science

ICARUS: Trustworthy Just-In-Time Compilers With Symbolic Meta-Execution. Symposium on Operating Systems Principles (2024)

Naomi SmithAbhishek SharmaJohn RennerDavid ThienFraser BrownHovav ShachamRanjit JhalaDeian Stefan

operating system securitysymbolic meta-executionoperating systemstrustworthy just-in-time compilerscomputer science

Mechanizing Refinement Types. Proceedings of the ACM on Programming Languages (2024)

Michael H. BorkowskiNiki VazouRanjit Jhala

programming language theorymechanical engineeringrefinement typesnatural language processingapplied mathematicsprogramming languagescomputer science

Refinement Type Refutations. Proceedings of the ACM on Programming Languages (2024)

Robin WebbersKlaus von GleissenthallRanjit Jhala

refinement type refutationsprogramming language theorytheory of computationprogramming languagescomputer science

Complete First-Order Reasoning for Properties of Functional Programs. Proceedings of the ACM on Programming Languages (2023)

Adithya MuraliLucas PeñaRanjit JhalaP. Madhusudan

FLUX: Liquid Types for Rust. Proceedings of the ACM on Programming Languages (2023)

Nico LehmannAdam T. GellerNiki VazouRanjit Jhala

programming language theoryliquid typesnatural language processingprogramming languagescomputer science

Embedded Domain Specific Verifiers. Lecture notes in computer science (2022)

Ranjit Jhala

embedded systemsdomain specific verifierscomputer sciencelogic in computer science

Isolation Without Taxation: Near-Zero-Cost Transitions for Webassembly and Sfi. Proceedings of the ACM on Programming Languages (2022)

Matthew KolosickShravan NarayanEvan JohnsonConrad WattMichael LeMayDeepak GargRanjit JhalaDeian Stefan

programming language theorynatural language processingprogramming languagescomputer sciencenear-zero-cost transitionsprogramming language design

SEQ2PARSE: Neurosymbolic Parse Error Repair. Proceedings of the ACM on Programming Languages (2022)

Georgios SakkasMadeline EndresPhilip J. GuoWestley WeimerRanjit Jhala

informaticsprogramming language theoryneuroinformaticsnatural language processingcognitive scienceprogramming languagescomputer scienceneuroscience

1
2
3
4
5
13
10 / page

Similar Faculty Members

Clark Barrett

Institution

Stanford University

computer science

formal methods

Sorin Lerner

Institution

University of California, San Diego

theorem proving

proof assistant

Todd Millstein

Institution

University of California, Los Angeles

programming language

programming language theory

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Aarti Gupta

Institution

Princeton University

computer science

formal methods

Lenore Zuck

Institution

University of Illinois Chicago

programming language

verification

J Strother Moore

Institution

University of Texas at Austin

proof system

formal methods

Jens Palsberg

Institution

University of California, Los Angeles

quantum programming

system software

Ruzica Piskac

Institution

Yale University

computer science

formal methods

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

Similar Faculty Members

Clark Barrett

Institution

Stanford University

computer science

formal methods

Sorin Lerner

Institution

University of California, San Diego

theorem proving

proof assistant

Todd Millstein

Institution

University of California, Los Angeles

programming language

programming language theory

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Aarti Gupta

Institution

Princeton University

computer science

formal methods

Lenore Zuck

Institution

University of Illinois Chicago

programming language

verification

J Strother Moore

Institution

University of Texas at Austin

proof system

formal methods

Jens Palsberg

Institution

University of California, Los Angeles

quantum programming

system software

Ruzica Piskac

Institution

Yale University

computer science

formal methods

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering