Concepedia

Shuyu Guo

SG

13

Publications

379

Citations

12

H-Index

2011

Active since

Affiliations

Chinese Academy of Sciences(Current)

University of California, Los Angeles

Northeastern University

Mozilla Foundation

University of Science and Technology of China

Shuyu Guo is an author at Chinese Academy of Sciences specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceCompilersFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringNanomaterials

Publications per year

2011–2024

13

Publications

13

Fast and precise hybrid type inference for JavaScript

Brian Hackett, Shuyu Guo · 2012 · 131 citations

Engineering, Javascript Performance, Program Analysis +14

Transparent and flexible hydrogen sensor based on semiconducting single-wall carbon nanotube networks

Shuyu Guo, Peng‐Xiang Hou, Huixin Wang et al. · Carbon · 2019 · 35 citations

Electrical Engineering, Engineering, Flexible Hydrogen Sensor +7

The essence of compiling with traces

Shuyu Guo, Jens Palsberg · 2011 · 35 citations

Optimization Soundness, Engineering, Compiler Technology +17

The essence of compiling with traces

Shuyu Guo, Jens Palsberg · ACM SIGPLAN Notices · 2011 · 28 citations

Optimization Soundness, Engineering, Compiler Technology +17

Fast and precise hybrid type inference for JavaScript

Brian Hackett, Shuyu Guo · ACM SIGPLAN Notices · 2012 · 25 citations

Javascript Engine, Engineering, Type Theory +18

Rows per page

1–5 of 13