Edit Profile Jhala, Ranjit Compute Distance To: Compute Author ID: jhala.ranjit Published as: Jhala, Ranjit Documents Indexed: 28 Publications since 2001, including 2 Books 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 Beyer, Dirk 1 Chlipala, Adam J. 1 Chugh, Ravi 1 de Alfaro, Luca 1 Emmi, Michael 1 Igarashi, Atsushi 1 Kawaguchi, Ming 1 Kohler, Eddie 1 Necula, George C. 1 Peyton Jones, Simon L. 1 Podelski, Andreas 1 Qadeer, Shaz 1 Rybalchenko, Andrey 1 Sanvido, Marco A. A. 1 Schmidt, David P. 1 Vytiniotis, Dimitrios Serials 2 Lecture Notes in Computer Science 1 Logical Methods in Computer Science Fields 28 Computer science (68-XX) 3 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 24 Publications have been cited 268 times in 194 Documents Cited by ▼ Year ▼ Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 63 2002 Abstractions from proofs. Zbl 1325.68147Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 51 2004 Compositional methods for probabilistic systems. Zbl 1006.68083de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit 23 2001 A practical and complete approach to predicate refinement. Zbl 1180.68118Jhala, Ranjit; McMillan, K. L. 21 2006 Array abstractions from proofs. Zbl 1135.68474Jhala, Ranjit; McMillan, Kenneth L. 13 2007 Interpolant-based transition relation approximation. Zbl 1081.68622Jhala, Ranjit; McMillan, K. L. 13 2005 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 12 2003 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Thread-modular abstraction refinement. Zbl 1278.68175Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 10 2003 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 8 2002 Counterexample-guided control. Zbl 1039.68555Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 7 2003 Predicate abstraction for program verification. Zbl 1392.68253Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey 6 2018 Low-level liquid types. Zbl 1312.68033Rondon, Patrick Maxim; Kawaguchi, Ming; Jhala, Ranjit 5 2010 Interprocedural analysis of asynchronous programs. Zbl 1295.68086Jhala, Ranjit; Majumdar, Rupak 5 2007 Microarchitecture verification by compositional model checking. Zbl 0991.68639Jhala, Ranjit; McMillan, Kenneth L. 4 2001 Interpolant-based transition relation approximation. Zbl 1131.68062Jhala, Ranjit; McMillan, Kenneth L. 3 2007 State of the union: Type inference via Craig interpolation. Zbl 1186.68114Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang 3 2007 Refinement types for Haskell. Zbl 1345.68080Vazou, Niki; Seidel, Eric L.; Jhala, Ranjit; Vytiniotis, Dimitrios; Peyton-Jones, Simon 2 2014 Abstract refinement types. Zbl 1381.68038Vazou, 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.68013Jhala, Ranjit (ed.); Schmidt, David (ed.) 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 1 2016 Nested refinements: a logic for duck typing. Zbl 1321.68189Chugh, Ravi; Rondon, Patrick M.; Jhala, Ranjit 1 2012 Extreme model checking. Zbl 1274.68190Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A. 1 2003 Predicate abstraction for program verification. Zbl 1392.68253Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey 6 2018 Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). Zbl 1361.68050Seidel, Eric L.; Jhala, Ranjit; Weimer, Westley 1 2016 Refinement types for Haskell. Zbl 1345.68080Vazou, Niki; Seidel, Eric L.; Jhala, Ranjit; Vytiniotis, Dimitrios; Peyton-Jones, Simon 2 2014 Abstract refinement types. Zbl 1381.68038Vazou, Niki; Rondon, Patrick M.; Jhala, Ranjit 2 2013 Nested refinements: a logic for duck typing. Zbl 1321.68189Chugh, 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.68013Jhala, Ranjit (ed.); Schmidt, David (ed.) 2 2011 Low-level liquid types. Zbl 1312.68033Rondon, Patrick Maxim; Kawaguchi, Ming; Jhala, Ranjit 5 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. 13 2007 Interprocedural analysis of asynchronous programs. Zbl 1295.68086Jhala, Ranjit; Majumdar, Rupak 5 2007 Interpolant-based transition relation approximation. Zbl 1131.68062Jhala, Ranjit; McMillan, Kenneth L. 3 2007 State of the union: Type inference via Craig interpolation. Zbl 1186.68114Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang 3 2007 A practical and complete approach to predicate refinement. Zbl 1180.68118Jhala, Ranjit; McMillan, K. L. 21 2006 Interpolant-based transition relation approximation. Zbl 1081.68622Jhala, Ranjit; McMillan, K. L. 13 2005 Abstractions from proofs. Zbl 1325.68147Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 51 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 12 2003 Thread-modular abstraction refinement. Zbl 1278.68175Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 10 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. 1 2003 Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 63 2002 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 8 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 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 all top 5 Cited in 33 Serials 31 Formal Methods in System Design 16 Theoretical Computer Science 12 Journal of Automated Reasoning 10 Formal Aspects of Computing 7 Information and Computation 4 Journal of Computer and System Sciences 4 Science of Computer 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 Artificial Intelligence 2 Programming and Computer Software 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Functional Programming 2 Theory and Practice of Logic Programming 1 ACM Computing Surveys 1 Acta Informatica 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 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 Logical Methods in Computer Science 1 Science China. Information Sciences all top 5 Cited in 12 Fields 184 Computer science (68-XX) 32 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 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