Ranjit Jhala

发表

Zheng Guo, Michael B. James, Ziteng Wang, 2020, Proc. ACM Program. Lang..
Westley Weimer, Ranjit Jhala, Georgios Sakkas, 2020, PLDI.
Ranjit Jhala, Benjamin Cosman, Ranjit Jhala, 2017, Proc. ACM Program. Lang..
Cole Schlesinger, Ranjit Jhala, John D. Backes, 2020, CAV.
Frederic Sala, Lara Dolecek, Sorin Lerner, 2015, it Inf. Technol..
Simon L. Peyton Jones, Ranjit Jhala, Dimitrios Vytiniotis, 2014, ICFP.
Deian Stefan, Ranjit Jhala, Andres Nötzli, 2018, CCS.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, Verification: Theory and Practice.
Ranjit Jhala, Ming Kawaguchi, Patrick Maxim Rondon, 2012, PLDI '12.
Ranjit Jhala, Benjamin Cosman, Panagiotis Vekris, 2015, ECOOP.
Sorin Lerner, Ranjit Jhala, Marc Andrysco, 2016, POPL.
Ranjit Jhala, Liana Hadarean, Byron Cook, 2020, ESEC/SIGSOFT FSE.
Sorin Lerner, Hovav Shacham, Ranjit Jhala, 2015, 2015 IEEE Symposium on Security and Privacy.
Sorin Lerner, Ranjit Jhala, Zachary Tatlock, 2008, OOPSLA '08.
Rupak Majumdar, Ranjit Jhala, Ru-Gang Xu, 2007, TACAS.
Suresh Jagannathan, Marco Gaboardi, Stephanie Weirich, 2016, Dagstuhl Reports.
Sorin Lerner, Manish Gupta, Rajesh Gupta, 2012, PLDI.
Shravan Narayan, Dawson R. Engler, Deian Stefan, 2017, 2017 IEEE Symposium on Security and Privacy (SP).
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2007, International Journal on Software Tools for Technology Transfer.
Sorin Lerner, Ranjit Jhala, Jan Wen Voung, 2007, ESEC-FSE '07.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2005, SPIN.
Ranjit Jhala, Alexander Bakst, Ranjit Jhala, 2015, VMCAI.
Ravi Chugh, Ranjit Jhala, Patrick Maxim Rondon, 2011, ArXiv.
Krishnendu Chatterjee, Thomas A. Henzinger, Rupak Majumdar, 2005, UAI.
Ranjit Jhala, Ming Kawaguchi, Patrick Maxim Rondon, 2010, POPL '10.
Rupak Majumdar, Ranjit Jhala, Michael Emmi, 2007 .
Rupak Majumdar, Ranjit Jhala, Ranjit Jhala, 2005, PLDI '05.
Rupak Majumdar, Ranjit Jhala, Ru-Gang Xu, 2006, SAS.
Amin Vahdat, Ranjit Jhala, Ryan Braud, 2009, 2009 IEEE Ninth International Conference on Peer-to-Peer Computing.
Rupak Majumdar, Ranjit Jhala, 2006, SIGSOFT '06/FSE-14.
Rajesh K. Gupta, Steven Swanson, Ranjit Jhala, 2011, ASPLOS XVI.
Ranjit Jhala, Eric L. Seidel, Ranjit Jhala, 2014, ICFP.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, Proceedings. 26th International Conference on Software Engineering.
Ranjit Jhala, Kenneth L. McMillan, 2007, CAV.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2004, POPL.
Rupak Majumdar, Ranjit Jhala, Michael Emmi, 2007 .
Ranjit Jhala, Ming Kawaguchi, Patrick Maxim Rondon, 2010, CAV.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..
Ranjit Jhala, Nadia Polikarpova, Ziteng Wang, 2019, Proc. ACM Program. Lang..
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, PEPM.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, SAS.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2004, PLDI '04.
Ranjit Jhala, Eric L. Seidel, Niki Vazou, 2014, Haskell.
Ranjit Jhala, Niki Vazou, Ranjit Jhala, 2022 .
Philip Wadler, Ranjit Jhala, Vikraman Choudhury, 2017, Proc. ACM Program. Lang..
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2005, FASE.
Ranjit Jhala, Niki Vazou, Patrick Maxim Rondon, 2013, ESOP.
Ranjit Jhala, Niki Vazou, Alexander Bakst, 2015, ICFP.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2004, SIGP.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2002, POPL '02.
Sorin Lerner, Ranjit Jhala, Marc Andrysco, 2016 .
Ranjit Jhala, Kenneth L. McMillan, 2007, Log. Methods Comput. Sci..
Andreas Podelski, Ranjit Jhala, Andrey Rybalchenko, 2018, Handbook of Model Checking.
Rupak Majumdar, Ranjit Jhala, Jeffrey Fischer, 2005, ESEC/FSE-13.
Eddie Kohler, Rupak Majumdar, Ranjit Jhala, 2009, TACAS.
Westley Weimer, Ranjit Jhala, Eric L. Seidel, 2018, J. Funct. Program..
Westley Weimer, Ranjit Jhala, Eric L. Seidel, 2016, Journal of Functional Programming.
Ranjit Jhala, Benjamin Cosman, Panagiotis Vekris, 2016, PLDI.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, CAV.
Atsushi Igarashi, Ranjit Jhala, 2016, Lecture Notes in Computer Science.
Ranjit Jhala, Rami Gökhan Kici, Alexander Bakst, 2017, Proc. ACM Program. Lang..
Deian Stefan, Ranjit Jhala, Rami Gökhan Kici, 2020, ArXiv.
Ranjit Jhala, Kenneth L. McMillan, K. McMillan, 2006, TACAS.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, PPDP '04.
Ranjit Jhala, Karthik Nagaraj, Ryan Braud, 2010, FSE '10.
Sorin Lerner, Ranjit Jhala, Yuvraj Agarwal, 2012, HotPower.
Satish Narayanasamy, Brad Calder, Ranjit Jhala, 2007, HiPEAC.
Ranjit Jhala, Kenneth L. McMillan, K. McMillan, 2001, CAV.
Deian Stefan, Ranjit Jhala, Fraser Brown, 2017, 2017 IEEE Cybersecurity Development (SecDev).
Ravi Chugh, Ranjit Jhala, Patrick M. Rondon, 2011 .
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, ICALP.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, SPIN.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2005, ESEC/FSE-13.
George C. Necula, Thomas A. Henzinger, Rupak Majumdar, 2002, CAV.
Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala, 2017 .
Rupak Majumdar, Ranjit Jhala, Michael Emmi, 2007, POPL '07.
Deian Stefan, Ranjit Jhala, Rami Gökhan Kici, 2019, USENIX Security Symposium.
Rupak Majumdar, Ranjit Jhala, Andrey Rybalchenko, 2011, CAV.
Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala, 2017, Proc. ACM Program. Lang..
Sorin Lerner, Ravi Chugh, Jeffrey A. Meister, 2009, PLDI '09.
Ryan Newton, Ranjit Jhala, Vikraman Choudhury, 2017, ArXiv.
Ranjit Jhala, Ming Kawaguchi, Patrick Maxim Rondon, 2009, PLDI '09.
Sorin Lerner, Ranjit Jhala, David Shuffelton, 2007, 29th International Conference on Software Engineering (ICSE'07).
Thomas A. Henzinger, Luca de Alfaro, Ranjit Jhala, 2001, CONCUR.
Ravi Chugh, Ranjit Jhala, David Herman, 2012, OOPSLA '12.
Ruzica Piskac, Ranjit Jhala, William T. Hallahan, 2019, PLDI.
Craig Disselkoen, Deian Stefan, Ranjit Jhala, 2020, Proc. ACM Program. Lang..
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2007 .
Westley Weimer, Ranjit Jhala, Georgios Sakkas, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Benjamin Grégoire, Gilles Barthe, Deian Stefan, 2019, PLDI.
Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala, 2020, SIGCSE.
Ranjit Jhala, Eric L. Seidel, Niki Vazou, 2014, ESOP.
Amin Vahdat, Ranjit Jhala, Ryan Braud, 2007, PLDI '07.
Deian Stefan, Ranjit Jhala, Rami Gökhan Kici, 2019, Proc. ACM Program. Lang..
Fritz Henglein, Shriram Krishnamurthi, Peter Thiemann, 2014, Dagstuhl Reports.
Ravi Chugh, Ranjit Jhala, Patrick Maxim Rondon, 2012, POPL '12.
Ranjit Jhala, Niki Vazou, Ranjit Jhala, 2020, Found. Trends Program. Lang..
Ranjit Jhala, Ming Kawaguchi, Patrick Maxim Rondon, 2012, CAV.
Ranjit Jhala, Kenneth L. McMillan, 2005, CAV.
Rupak Majumdar, Ranjit Jhala, Ranjit Jhala, 2009, CSUR.
Rupak Majumdar, Ranjit Jhala, Ranjit Jhala, 2007, POPL '07.
Shravan Narayan, Deian Stefan, Ranjit Jhala, 2021, Proc. ACM Program. Lang..
Deian Stefan, Ranjit Jhala, Rami Gökhan Kici, 2021, ArXiv.
Ranjit Jhala, Anish Tondwalkar, Matthew Kolosick, 2021, Dagstuhl Artifacts Ser..
Ranjit Jhala, Niki Vazou, 2021, Found. Trends Program. Lang..
Deian Stefan, Ranjit Jhala, Rami Gökhan Kici, 2021, CCS.
Deian Stefan, Ranjit Jhala, Nadia Polikarpova, 2021, OSDI.
Martin Schäf, Ranjit Jhala, Willem Visser, 2021, ESEC/SIGSOFT FSE.
Westley Weimer, Ranjit Jhala, Eric L. Seidel, 2016, ICFP.
Ranjit Jhala, Ming Kawaguchi, Patrick Maxim Rondon, 2012, PLDI.
Sorin Lerner, Ranjit Jhala, Rakesh Kumar, 2013 .
Sorin Lerner, Ravi Chugh, Ranjit Jhala, 2011 .