×

zbMATH — the first resource for mathematics

Jhala, Ranjit

Compute Distance To:
Author ID: jhala.ranjit Recent zbMATH articles by "Jhala, Ranjit"
Published as: Jhala, Ranjit
Documents Indexed: 28 Publications since 2001, including 2 Books

Publications by Year

Citations contained in zbMATH

24 Publications have been cited 268 times in 194 Documents Cited by Year
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
63
2002
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
51
2004
Compositional methods for probabilistic systems. Zbl 1006.68083
de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit
23
2001
A practical and complete approach to predicate refinement. Zbl 1180.68118
Jhala, Ranjit; McMillan, K. L.
21
2006
Array abstractions from proofs. Zbl 1135.68474
Jhala, Ranjit; McMillan, Kenneth L.
13
2007
Interpolant-based transition relation approximation. Zbl 1081.68622
Jhala, Ranjit; McMillan, K. L.
13
2005
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
12
2003
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
10
2004
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
10
2003
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
8
2002
Counterexample-guided control. Zbl 1039.68555
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
7
2003
Predicate abstraction for program verification. Zbl 1392.68253
Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey
6
2018
Low-level liquid types. Zbl 1312.68033
Rondon, Patrick Maxim; Kawaguchi, Ming; Jhala, Ranjit
5
2010
Interprocedural analysis of asynchronous programs. Zbl 1295.68086
Jhala, Ranjit; Majumdar, Rupak
5
2007
Microarchitecture verification by compositional model checking. Zbl 0991.68639
Jhala, Ranjit; McMillan, Kenneth L.
4
2001
Interpolant-based transition relation approximation. Zbl 1131.68062
Jhala, Ranjit; McMillan, Kenneth L.
3
2007
State of the union: Type inference via Craig interpolation. Zbl 1186.68114
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang
3
2007
Refinement types for Haskell. Zbl 1345.68080
Vazou, Niki; Seidel, Eric L.; Jhala, Ranjit; Vytiniotis, Dimitrios; Peyton-Jones, Simon
2
2014
Abstract refinement types. Zbl 1381.68038
Vazou, Niki; Rondon, Patrick M.; Jhala, Ranjit
2
2013
Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Zbl 1206.68013
Jhala, Ranjit (ed.); Schmidt, David (ed.)
2
2011
Verifying reference counting implementations. Zbl 1234.68254
Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak
2
2009
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). Zbl 1361.68050
Seidel, Eric L.; Jhala, Ranjit; Weimer, Westley
1
2016
Nested refinements: a logic for duck typing. Zbl 1321.68189
Chugh, Ravi; Rondon, Patrick M.; Jhala, Ranjit
1
2012
Extreme model checking. Zbl 1274.68190
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A.
1
2003
Predicate abstraction for program verification. Zbl 1392.68253
Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey
6
2018
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). Zbl 1361.68050
Seidel, Eric L.; Jhala, Ranjit; Weimer, Westley
1
2016
Refinement types for Haskell. Zbl 1345.68080
Vazou, Niki; Seidel, Eric L.; Jhala, Ranjit; Vytiniotis, Dimitrios; Peyton-Jones, Simon
2
2014
Abstract refinement types. Zbl 1381.68038
Vazou, Niki; Rondon, Patrick M.; Jhala, Ranjit
2
2013
Nested refinements: a logic for duck typing. Zbl 1321.68189
Chugh, Ravi; Rondon, Patrick M.; Jhala, Ranjit
1
2012
Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Zbl 1206.68013
Jhala, Ranjit (ed.); Schmidt, David (ed.)
2
2011
Low-level liquid types. Zbl 1312.68033
Rondon, Patrick Maxim; Kawaguchi, Ming; Jhala, Ranjit
5
2010
Verifying reference counting implementations. Zbl 1234.68254
Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak
2
2009
Array abstractions from proofs. Zbl 1135.68474
Jhala, Ranjit; McMillan, Kenneth L.
13
2007
Interprocedural analysis of asynchronous programs. Zbl 1295.68086
Jhala, Ranjit; Majumdar, Rupak
5
2007
Interpolant-based transition relation approximation. Zbl 1131.68062
Jhala, Ranjit; McMillan, Kenneth L.
3
2007
State of the union: Type inference via Craig interpolation. Zbl 1186.68114
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang
3
2007
A practical and complete approach to predicate refinement. Zbl 1180.68118
Jhala, Ranjit; McMillan, K. L.
21
2006
Interpolant-based transition relation approximation. Zbl 1081.68622
Jhala, Ranjit; McMillan, K. L.
13
2005
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
51
2004
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
10
2004
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
12
2003
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
10
2003
Counterexample-guided control. Zbl 1039.68555
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
7
2003
Extreme model checking. Zbl 1274.68190
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A.
1
2003
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
63
2002
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
8
2002
Compositional methods for probabilistic systems. Zbl 1006.68083
de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit
23
2001
Microarchitecture verification by compositional model checking. Zbl 0991.68639
Jhala, Ranjit; McMillan, Kenneth L.
4
2001
all top 5

Cited by 428 Authors

7 Kröning, Daniel
6 Rybalchenko, Andrey
6 Sharygina, Natasha
5 Podelski, Andreas
4 Alur, Rajeev
4 Bonacina, Maria Paola
4 Bruttomesso, Roberto
4 Chatterjee, Krishnendu
4 Ghilardi, Silvio
4 Hoenicke, Jochen
4 Kwiatkowska, Marta Z.
4 Weissenbacher, Georg
3 Bouajjani, Ahmed
3 Clarke, Edmund Melson jun.
3 D’Argenio, Pedro Rubén
3 Duan, Zhenhua
3 Henzinger, Thomas A.
3 Iosif, Radu
3 Johansson, Moa
3 Majumdar, Rupak
3 McMillan, Kenneth L.
3 Ranise, Silvio
3 Rümmer, Philipp
3 Tian, Cong
3 Tinelli, Cesare
3 Wahl, Thomas
3 Wies, Thomas
3 Zhang, Nan
2 Alberti, Francesco
2 Barbosa, Luís Soares
2 Bardin, Sébastien
2 Beyer, Dirk
2 Bloem, Roderick
2 Caillaud, Benoît
2 Chaki, Sagar
2 Charlton, Nathaniel
2 Chmelík, Martin
2 Cimatti, Alessandro
2 de Alfaro, Luca
2 Delahaye, Benoît
2 Doyen, Laurent
2 Dwyer, Matthew B.
2 Ferrer Fioriti, Luis María
2 Frehse, Goran
2 Giro, Sergio
2 Griggio, Alberto
2 Grumberg, Orna
2 Gupta, Aarti
2 Gurfinkel, Arie
2 Hajdu, Ákos
2 Hatcliff, John
2 Huth, Michael R. A.
2 Ivančić, Franjo
2 Jain, Himanshu
2 Jhala, Ranjit
2 Jung, Yungbum
2 Kahlon, Vineet
2 Kapur, Deepak
2 Kobayashi, Naoki
2 La Torre, Salvatore
2 Lahiri, Shuvendu Kumar
2 Lal, Akash
2 Legay, Axel
2 Madhusudan, Parthasarathy
2 Majzik, Istvan
2 Norman, Gethin
2 Palamidessi, Catuscia
2 Qadeer, Shaz
2 Rasga, João
2 Reps, Thomas W.
2 Sato, Ryosuke
2 Seghir, Mohamed Nassim
2 Sernadas, Cristina S.
2 Sofronie-Stokkermans, Viorica
2 Sokolova, Ana
2 Song, Xiaoyu
2 Tautschnig, Michael
2 Tonetta, Stefano
2 Touili, Tayssir
2 Tsitovich, Aliaksei
2 Vaandrager, Frits W.
2 Viswanathan, Mahesh
2 Vizel, Yakir
2 Vojnar, Tomáš
2 Vörös, András
2 Wang, Bow-Yaw
2 Yavuz, Tuba
2 Yi, Kwangkeun
1 Aarts, Fides
1 Abate, Alessandro
1 Abdelwahed, Sherif
1 Abdulla, Parosh Aziz
1 Aiken, Alex
1 Albarghouthi, Aws
1 Andova, Suzana
1 Andrés, Miguel E.
1 Arai, Ryoya
1 Ashar, Pranav
1 Assar, Rodrigo
1 Atig, Mohamed Faouzi
...and 328 more Authors

Citations by Year