Ranjit Jhala
Orcid: 0000-0002-1802-9421Affiliations:
- University of California, San Diego, USA
According to our database1,
Ranjit Jhala
authored at least 119 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2021, "For contributions to software verification".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
Proc. ACM Program. Lang., October, 2023
Proc. ACM Program. Lang., August, 2023
2022
Proc. ACM Program. Lang., 2022
Proceedings of the Principles of Systems Design, 2022
2021
Proc. ACM Program. Lang., 2021
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version).
CoRR, 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
2020
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the 28th USENIX Security Symposium, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Proc. ACM Program. Lang., 2018
J. Funct. Program., 2018
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
2017
Proc. ACM Program. Lang., 2017
Proc. ACM Program. Lang., 2017
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017
Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017
2016
Dagstuhl Reports, 2016
Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT).
CoRR, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
2015
it Inf. Technol., 2015
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
2014
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).
Dagstuhl Reports, 2014
CoRR, 2014
Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014
2013
Proceedings of the Programming Languages and Systems, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the 2012 Workshop on Power-Aware Computing Systems, HotPower'12, 2012
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
2010
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
An empirical study of privacy-violating information flows in JavaScript web applications.
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Proceedings of the Proceedings P2P 2009, 2009
2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper).
Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the High Performance Embedded Architectures and Compilers, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Proceedings of the Static Analysis, 13th International Symposium, 2006
2005
Proceedings of the Model Checking Software, 2005
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
2004
Proceedings of the Static Analysis, 11th International Symposium, 2004
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the CONCUR 2001, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001