Paddy Krishnan

Paddy Krishnan - Consulting Researcher

Paddy Krishnan is a Consulting Member of Technical Staff at Oracle Labs in Brisbane since Feb 2013. His current research interests are in the areas of program analysis, automatic test generation and software security. Prior to joining Oracle Labs he was an academic for over 20 years with some industrial research experience. He is a Senior Member of both the ACM and the IEEE.




  • Combining type-analysis with points-to analysis for analyzing library source-code: (Dec 2015)
  • Staged points-to analysis for large code bases: (April 2016)
  • Inferring security-sensitive entities in libraries: (November 2017)
  • Scalable provenance generation from points-to information: (November 2017)
  • Owner-controlled access control to released data: (Aug 2013)