George's Page

Hello, world. I'm George.

I can be most easily reached using email: my-name@this-domain

Short bio

I am currently working on compilers for machine learning at Google. Previously, I was working as a Clang static analyzer software engineer at Apple. And even before that, I was a PhD student at Verimag, working on static analysis of programs using convex optimization.

Some Talks

• Using XLA:GPU compilation in TensorFlow (2021)
• Static Analyzer WWDC talk (from ~15m) (2018)
• Improved Static Analyzer (first part) (2018)

Links

• Github Page
• LinkedIn Profile
• CV
• PhD Thesis and slides

I've been living in: 🇺🇦 →🇷🇺 →🇦🇺 →🇫🇷 → 🇺🇸