Seguir
Ranjit Jhala
Ranjit Jhala
Professor of Computer Science, UC San Diego
Email confirmado em cs.ucsd.edu - Página inicial
Título
Citado por
Citado por
Ano
Lazy abstraction
TA Henzinger, R Jhala, R Majumdar, G Sutre
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
15062002
NV-Heaps: Making persistent objects fast and safe with next-generation, non-volatile memories
J Coburn, AM Caulfield, A Akel, LM Grupp, RK Gupta, R Jhala, ...
ACM SIGARCH Computer Architecture News 39 (1), 105-118, 2011
9132011
The software model checker Blast
D Beyer, TA Henzinger, R Jhala, R Majumdar
International Journal on Software Tools for Technology Transfer 9 (5), 505-525, 2007
7842007
Software verification with BLAST
TA Henzinger, R Jhala, R Majumdar, G Sutre
International SPIN Workshop on Model Checking of Software, 235-239, 2003
6822003
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
6642004
Software model checking
R Jhala, R Majumdar
ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009
5412009
Liquid types
PM Rondon, M Kawaguci, R Jhala
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
4582008
RELAY: static race detection on millions of lines of code
JW Voung, R Jhala, S Lerner
Proceedings of the the 6th joint meeting of the European software …, 2007
3962007
Staged information flow for JavaScript
R Chugh, JA Meister, R Jhala, S Lerner
Proceedings of the 30th ACM SIGPLAN conference on programming language …, 2009
3272009
Generating Tests from Counterexamples
RM Dirk Beyer, Adam Chlipala,Thomas Henzinger, Ranjit
26th ACM/IEEE International Conference on Software Engineering, 326-335, 2004
312*2004
Life, death, and the critical transition: Finding liveness bugs in systems code
C Killian, JW Anderson, R Jhala, A Vahdat
NSDI, 2007
2912007
Mace: language support for building distributed systems
CE Killian, JW Anderson, R Braud, R Jhala, AM Vahdat
ACM SIGPLAN Notices 42 (6), 179-188, 2007
2882007
Refinement types for Haskell
N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
2562014
An empirical study of privacy-violating information flows in JavaScript web applications
D Jang, R Jhala, S Lerner, H Shacham
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2542010
Temporal-safety proofs for systems code
TA Henzinger, GC Necula, R Jhala, G Sutre, R Majumdar, W Weimer
International Conference on Computer Aided Verification, 526-538, 2002
2322002
Race checking by context inference
TA Henzinger, R Jhala, R Majumdar
Proceedings of the acm sigplan 2004 conference on programming language …, 2004
2292004
A practical and complete approach to predicate refinement
R Jhala, KL McMillan
International Conference on Tools and Algorithms for the Construction and …, 2006
2062006
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.
D Jang, Z Tatlock, S Lerner
NDSS, 2014
1772014
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
International Conference on Computer Aided Verification, 262-274, 2003
1742003
On subnormal floating point and abnormal timing
M Andrysco, D Kohlbrenner, K Mowery, R Jhala, S Lerner, H Shacham
2015 IEEE Symposium on Security and Privacy, 623-639, 2015
1722015
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20