I am mostly known for my work on JavaScript and participation in TC39, the JavaScript standards committee. I work at Google on V8. Previously, I worked at Bloomberg. Before that, I worked at Mozilla.
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.