Philippa Gardner

Latest Invited Talks

2017

  • `Tractable verification of JavaScript programs’, invited talk at at the 26th International Conference on Automated Reasoning, CADE, Gothenburg, Sweden, August 2017
  • `Tractable verification of JavaScript programs’, keynote talk at IPM International Conference on Fundamentals of Software Engineering, (FSEN 2017) Tehran, Iran, April
  • `Understanding and Verifying JavaScript Programs’, UPMC Informatics Colloquium (Distinguished Seminar Series), Paris, France, March
  • `Tractable verification of JavaScript programs’ invited talk on JSVerify at the workshop on `Principles in Practice’, POPL’17, Paris, France January

2016

  • `Verified Trustworthy Software Systems’, keynote talk at 11th System Safety and Cyber Security Conference, IET, London, October
  • `Scalable reasoning about Concurrent programs’, invited talk and participant at the IFIP WG 1.9/2.15 "Verified Software”, Montauban, France, October
  • `A Concurrent Specification of POSIX’, invited talk, Workshop on Trends in Concurrency Theory (TRENDS 2016), CONCUR, Quebec, Canada, August
  • `An intermediate language and compiler for JavaScript’, invited talk at JSTools workshop associated with ECOOP 2016, Rome, Italy, July
  • `JavaScript and Concurrency Verification’, invited talk, the first workshop on DeepSpec: The Science of Deep Specification, Princeton (with Petar Maksimovic). June.
  • `A Concurrent Specification of POSIX’, invited talk, Dagstuhl seminar on `Synergies among Testing, Verification and Repair for Concurrent Programs’, May
  • `Understanding and verifying JavaScript programs’, talk at the Royal Society Discussion and Scientific meeting on `Verified trustworthy software systems’, Royal Society, London, April

2015

  • `Understanding and Verifying JavaScript programs’, invited talk, Google EU Compiler Summit'15, December
  • `Understanding and Verifying JavaScript programs’, invited talk, Departmental seminar at Cambridge, December
  • `Research Institute in Automated Program Analysis and Verification’, invited talk, UK Cyber Security Research Conference,London, October
  • Seminar on Open Problems in Concurrency, organised by ICFP, Bertinoro, Italy, September
  • `A Trusted Mechanised Specification of JavaScript: One Year’, keynote talk at CAV’15, San Francisco, USA, July
  • `Modern Concurrent Separation Logics’, invited tutorial at the Mathematical Foundations of Programming Semantics, Nijmegen, Netherlands, June

2014

  • Workshop on the Certification of High-level and Low-level Programs, Invited talk, Paris, 2014
  • Workshop on Higher-order Programming with Effects (HOPE 2014), Keynote, associated with ICFP
  • JSTools 2014, Invited talk, associated with ECOOP 2014
  • Seminar on Open Problems in Concurrency, Bertinoro, organised by ICFP Departmental seminars at Kent, York and Oxford, Bertinoro, Italy, June
  • A Trusted Mechanised Specification of the JavaScript Standard, Departmental Seminar, Oxford University, May
  • Departmental seminars at Kent, York and Oxford, 2014