About

I am mostly known for my work on JavaScript and participation in TC39, the JavaScript standards committee. I currently work at Apple on JavaScriptCore. I worked at Google on V8. Previously, I worked at Bloomberg. Before that, I worked at Mozilla.

Publications

• EMME: a formal tool for ECMAScript Memory Model Evaluation

  Mattarei, Barrett, Guo, Nelson, Smith, Bastien. TACAS 2018.

• Optimization Coaching for JavaScript

  St-Amour, Guo. ECOOP 2015.

• Fast and Precise Hybrid Type Inference for JavaScript

  Hackett, Guo. PLDI 2012.

• The Essence of Compiling with Traces

  Guo, Palsberg. POPL 2011. full version with proofs

• Lazy Contract Checking for Immutable Data Structures

  Findler, Guo, Rogers. IFL 2007.