Ranjit Jhala

Artificial Intelligence · 2002–2016

A researcher in the Science corpus: 12 papers; trusts 51 researchers and is trusted by 49 researchers here, as inferred from the citation graph.

Subfields

Artificial Intelligence — 90 citations into it; #7,626 of 35,345 by trust here, #11,624 by citations
Software — 76 citations into it; #65 of 1,227 by trust here, #148 by citations
Computational Theory and Mathematics — 72 citations into it; #936 of 12,182 by trust here, #1,233 by citations
Hardware and Architecture — 43 citations into it
Information Systems — 40 citations into it; #2,586 of 8,771 by trust here, #5,501 by citations
Computer Networks and Communications — 25 citations into it
Program Analysis & Verification — 20 citations into it; #64 of 301 by trust here, #203 by citations
Signal Processing — 15 citations into it

Their strongest outbound trust, strongest first, inferred from their citations.

Ordered by how strongly the researchers Ranjit Jhala trusts endorse each paper. Same corpus, a different order for every researcher.

Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
The SLAM project: debugging system software via static analysis
Lazy abstraction
Automatically validating temporal safety properties of interfaces (SPIN)
Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
Simplify: a theorem prover for program checking (JACM)
DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)