Edit Profile (opens in new tab) Jhala, Ranjit Compute Distance To: Compute Author ID: jhala.ranjit Published as: Jhala, Ranjit Documents Indexed: 27 Publications since 2001 2 Contributions as Editor Co-Authors: 42 Co-Authors with 28 Joint Publications 654 Co-Co-Authors all top 5 Co-Authors 0 single-authored 12 Majumdar, Rupak 9 Henzinger, Thomas A. 6 McMillan, Kenneth L. 3 Rondon, Patrick Maxim 3 Sutre, Grégoire 3 Vazou, Niki 2 Bakst, Alexander 2 Seidel, Eric L. 2 Weimer, Westley 2 Xu, Ru-Gang 1 Backes, John 1 Berrueco, Ulises 1 Beyer, Dirk 1 Bray, Tyler 1 Brim, Daniel 1 Chlipala, Adam J. 1 Chugh, Ravi 1 Cook, Byron 1 de Alfaro, Luca 1 Emmi, Michael 1 Gacek, Andrew 1 Igarashi, Atsushi 1 Kawaguchi, Ming 1 Kohler, Eddie 1 Luckow, Kasper Søe 1 McLaughlin, Sean 1 Menon, Madhav 1 Necula, George C. 1 Peebles, Daniel 1 Peyton Jones, Simon L. 1 Podelski, Andreas 1 Pugalia, Ujjwal 1 Qadeer, Shaz 1 Rungta, Neha 1 Rybalchenko, Andrey 1 Sanvido, Marco A. A. 1 Schlesinger, Cole 1 Schodde, Adam 1 Tanuku, Anvesh 1 Varming, Carsten 1 Viswanathan, Deepa 1 Vytiniotis, Dimitrios Serials 2 Lecture Notes in Computer Science 1 Logical Methods in Computer Science Fields 29 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 309 times in 224 Documents Cited by ▼ Year ▼ Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 65 2002 Abstractions from proofs. Zbl 1325.68147Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 56 2004 A practical and complete approach to predicate refinement. Zbl 1180.68118Jhala, Ranjit; McMillan, K. L. 24 2006 Compositional methods for probabilistic systems. Zbl 1006.68083de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit 23 2001 Interpolant-based transition relation approximation. Zbl 1081.68622Jhala, Ranjit; McMillan, K. L. 15 2005 Array abstractions from proofs. Zbl 1135.68474Jhala, Ranjit; McMillan, Kenneth L. 15 2007 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 13 2003 Thread-modular abstraction refinement. Zbl 1278.68175Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 13 2003 Predicate abstraction for program verification. Zbl 1392.68253Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey 10 2018 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 10 2002 Low-level liquid types. Zbl 1312.68033Rondon, Patrick Maxim; Kawaguchi, Ming; Jhala, Ranjit 8 2010 Interprocedural analysis of asynchronous programs. Zbl 1295.68086Jhala, Ranjit; Majumdar, Rupak 8 2007 Counterexample-guided control. Zbl 1039.68555Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 7 2003 Refinement types for Haskell. Zbl 1345.68080Vazou, Niki; Seidel, Eric L.; Jhala, Ranjit; Vytiniotis, Dimitrios; Peyton-Jones, Simon 6 2014 Microarchitecture verification by compositional model checking. Zbl 0991.68639Jhala, Ranjit; McMillan, Kenneth L. 4 2001 State of the union: Type inference via Craig interpolation. Zbl 1186.68114Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang 4 2007 Extreme model checking. Zbl 1274.68190Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A. 3 2003 Abstract refinement types. Zbl 1381.68038Vazou, Niki; Rondon, Patrick M.; Jhala, Ranjit 3 2013 Interpolant-based transition relation approximation. Zbl 1131.68062Jhala, Ranjit; McMillan, Kenneth L. 3 2007 Nested refinements: a logic for duck typing. Zbl 1321.68189Chugh, Ravi; Rondon, Patrick M.; Jhala, Ranjit 2 2012 Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Zbl 1206.68013 2 2011 Verifying reference counting implementations. Zbl 1234.68254Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak 2 2009 Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). Zbl 1361.68050Seidel, Eric L.; Jhala, Ranjit; Weimer, Westley 2 2016 Stratified abstraction of access control policies. Zbl 1478.68029Backes, John; Berrueco, Ulises; Bray, Tyler; Brim, Daniel; Cook, Byron; Gacek, Andrew; Jhala, Ranjit; Luckow, Kasper; McLaughlin, Sean; Menon, Madhav; Peebles, Daniel; Pugalia, Ujjwal; Rungta, Neha; Schlesinger, Cole; Schodde, Adam; Tanuku, Anvesh; Varming, Carsten; Viswanathan, Deepa 1 2020 Stratified abstraction of access control policies. Zbl 1478.68029Backes, John; Berrueco, Ulises; Bray, Tyler; Brim, Daniel; Cook, Byron; Gacek, Andrew; Jhala, Ranjit; Luckow, Kasper; McLaughlin, Sean; Menon, Madhav; Peebles, Daniel; Pugalia, Ujjwal; Rungta, Neha; Schlesinger, Cole; Schodde, Adam; Tanuku, Anvesh; Varming, Carsten; Viswanathan, Deepa 1 2020 Predicate abstraction for program verification. Zbl 1392.68253Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey 10 2018 Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). Zbl 1361.68050Seidel, Eric L.; Jhala, Ranjit; Weimer, Westley 2 2016 Refinement types for Haskell. Zbl 1345.68080Vazou, Niki; Seidel, Eric L.; Jhala, Ranjit; Vytiniotis, Dimitrios; Peyton-Jones, Simon 6 2014 Abstract refinement types. Zbl 1381.68038Vazou, Niki; Rondon, Patrick M.; Jhala, Ranjit 3 2013 Nested refinements: a logic for duck typing. Zbl 1321.68189Chugh, Ravi; Rondon, Patrick M.; Jhala, Ranjit 2 2012 Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Zbl 1206.68013 2 2011 Low-level liquid types. Zbl 1312.68033Rondon, Patrick Maxim; Kawaguchi, Ming; Jhala, Ranjit 8 2010 Verifying reference counting implementations. Zbl 1234.68254Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak 2 2009 Array abstractions from proofs. Zbl 1135.68474Jhala, Ranjit; McMillan, Kenneth L. 15 2007 Interprocedural analysis of asynchronous programs. Zbl 1295.68086Jhala, Ranjit; Majumdar, Rupak 8 2007 State of the union: Type inference via Craig interpolation. Zbl 1186.68114Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang 4 2007 Interpolant-based transition relation approximation. Zbl 1131.68062Jhala, Ranjit; McMillan, Kenneth L. 3 2007 A practical and complete approach to predicate refinement. Zbl 1180.68118Jhala, Ranjit; McMillan, K. L. 24 2006 Interpolant-based transition relation approximation. Zbl 1081.68622Jhala, Ranjit; McMillan, K. L. 15 2005 Abstractions from proofs. Zbl 1325.68147Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 56 2004 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 13 2003 Thread-modular abstraction refinement. Zbl 1278.68175Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 13 2003 Counterexample-guided control. Zbl 1039.68555Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 7 2003 Extreme model checking. Zbl 1274.68190Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A. 3 2003 Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 65 2002 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 10 2002 Compositional methods for probabilistic systems. Zbl 1006.68083de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit 23 2001 Microarchitecture verification by compositional model checking. Zbl 0991.68639Jhala, Ranjit; McMillan, Kenneth L. 4 2001 all cited Publications top 5 cited Publications all top 5 Cited by 490 Authors 7 Kröning, Daniel 7 Sharygina, Natasha 6 Podelski, Andreas 6 Rybalchenko, Andrey 4 Alur, Rajeev 4 Bonacina, Maria Paola 4 Bruttomesso, Roberto 4 Chatterjee, Krishnendu 4 Ghilardi, Silvio 4 Hoenicke, Jochen 4 Kwiatkowska, Marta Z. 4 Majumdar, Rupak 4 Rümmer, Philipp 4 Weissenbacher, Georg 3 Bouajjani, Ahmed 3 Chen, Mingshuai 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 Kapur, Deepak 3 Majzik, Istvan 3 McMillan, Kenneth L. 3 Ranise, Silvio 3 Tian, Cong 3 Tinelli, Cesare 3 Wahl, Thomas 3 Wies, Thomas 3 Zhang, Nan 2 Abdulla, Parosh Aziz 2 Alberti, Francesco 2 Atig, Mohamed Faouzi 2 Barbosa, Luís Soares 2 Bardin, Sébastien 2 Beyer, Dirk 2 Bloem, Roderick 2 Caillaud, Benoît 2 Chaki, Sagar 2 Chakraborty, Supratik 2 Charlton, Nathaniel 2 Chen, Sheng 2 Chiari, Michele 2 Chmelík, Martin 2 Cimatti, Alessandro 2 de Alfaro, Luca 2 Delahaye, Benoît 2 Diaconescu, Răzvan 2 Doyen, Laurent 2 Dwyer, Matthew B. 2 Erwig, Martin 2 Fedyukovich, Grigory 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 Heizmann, Matthias 2 Huth, Michael R. A. 2 Ivančić, Franjo 2 Jain, Himanshu 2 Jhala, Ranjit 2 Jung, Yungbum 2 Kahlon, Vineet 2 Katoen, Joost-Pieter 2 Kobayashi, Naoki 2 Koskinen, Eric 2 Kovács, Laura Ildikó 2 La Torre, Salvatore 2 Lahiri, Shuvendu Kumar 2 Lal, Akash 2 Legay, Axel 2 Madhusudan, Parthasarathy 2 Mandrioli, Dino 2 Norman, Gethin 2 Palamidessi, Catuscia 2 Piterman, Nir 2 Pradella, Matteo 2 Qadeer, Shaz 2 Rasga, João 2 Reps, Thomas W. 2 Rival, Xavier 2 Sato, Ryosuke 2 Seghir, Mohamed Nassim 2 Sernadas, Amilcar C. 2 Sernadas, Cristina S. 2 Sofronie-Stokkermans, Viorica 2 Sokolova, Ana 2 Song, Xiaoyu 2 Tautschnig, Michael 2 Tonetta, Stefano 2 Tóth, Tamás 2 Touili, Tayssir 2 Tsitovich, Aliaksei 2 Vaandrager, Frits W. ...and 390 more Authors all top 5 Cited in 34 Serials 31 Formal Methods in System Design 16 Theoretical Computer Science 12 Journal of Automated Reasoning 11 Formal Aspects of Computing 7 Information and Computation 4 Journal of Computer and System Sciences 4 Science of Computer Programming 4 Journal of Functional Programming 4 Journal of Logical and Algebraic Methods in Programming 3 Information Processing Letters 3 Journal of Symbolic Computation 3 Nonlinear Analysis. Hybrid Systems 2 Acta Informatica 2 Artificial Intelligence 2 Programming and Computer Software 2 MSCS. Mathematical Structures in Computer Science 2 Theory and Practice of Logic Programming 2 Logical Methods in Computer Science 1 ACM Computing Surveys 1 International Journal of General Systems 1 Applied Mathematics and Computation 1 Journal of Computer Science and Technology 1 International Journal of Parallel Programming 1 International Journal of Approximate Reasoning 1 Real-Time Systems 1 Cybernetics and Systems Analysis 1 Annals of Mathematics and Artificial Intelligence 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Mathematics in Computer Science 1 Logica Universalis 1 Science China. Information Sciences all top 5 Cited in 13 Fields 213 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Systems theory; control (93-XX) 4 Information and communication theory, circuits (94-XX) 3 Operations research, mathematical programming (90-XX) 2 Probability theory and stochastic processes (60-XX) 2 Numerical analysis (65-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Fluid mechanics (76-XX) 1 Biology and other natural sciences (92-XX) Citations by Year