Shu-yu Guo

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 6

Top Topics

Theoretical Framework

Web Applications

Computational Model

Top Venues

Dagstuhl Artifacts Ser.

Publications

Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Repairing and Mechanising the JavaScript Relaxed Memory Model. CoRR (2020)
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Repairing and mechanising the JavaScript relaxed memory model. PLDI (2020)
Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
EMME: a formal tool for ECMAScript Memory Model Evaluation. CoRR (2018)
Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
EMME: A Formal Tool for ECMAScript Memory Model Evaluation. TACAS (2) (2018)
Vincent St-Amour, Shu-yu Guo
Optimization Coaching for JavaScript. ECOOP (2015)
Vincent St-Amour, Shu-yu Guo
Optimization Coaching for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Brian Hackett, Shu-yu Guo
Fast and precise hybrid type inference for JavaScript. PLDI (2012)
Shu-yu Guo, Jens Palsberg
The essence of compiling with traces. POPL (2011)
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
Lazy Contract Checking for Immutable Data Structures. IFL (2007)