Shu-yu Guo

According to our database, Shu-yu Guo authored at least 7 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Repairing and mechanising the JavaScript relaxed memory model.

Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

EMME: A Formal Tool for ECMAScript Memory Model Evaluation.

Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2015

Optimization Coaching for JavaScript (Artifact).

Vincent St-Amour, Shu-yu Guo

Dagstuhl Artifacts Ser., 2015

Optimization Coaching for JavaScript.

Vincent St-Amour, Shu-yu Guo

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2012

Fast and precise hybrid type inference for JavaScript.

Brian Hackett, Shu-yu Guo

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

The essence of compiling with traces.

Shu-yu Guo, Jens Palsberg

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2007

Lazy Contract Checking for Immutable Data Structures.

Robert Bruce Findler, Shu-yu Guo, Anne Rogers

Proceedings of the Implementation and Application of Functional Languages, 2007