Travelled to:
1 × China
1 × Czech Republic
1 × Germany
1 × USA
Collaborated with:
V.St-Amour B.Hackett J.Palsberg R.B.Findler A.Rogers
Talks about:
javascript (2) structur (1) contract (1) precis (1) hybrid (1) essenc (1) compil (1) trace (1) optim (1) infer (1)
Person: Shu-yu Guo
DBLP: Guo:Shu=yu
Contributed to:
Wrote 4 papers:
- ECOOP-2015-St-AmourG #javascript #optimisation
- Optimization Coaching for JavaScript (VSA, SyG), pp. 271–295.
- PLDI-2012-HackettG #hybrid #javascript #performance #precise #type inference
- Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
- POPL-2011-GuoP #compilation
- The essence of compiling with traces (SyG, JP), pp. 563–574.
- IFL-2007-FindlerGR #contract #data type #lazy evaluation
- Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.