Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

OFFICIAL VISITS TO SIPO & CTA SIPO Attendees Mr. HE Hua Mr. LIU Jian Ms. DONG Cheng Mr. MA Hao

Source URL: www.ficpi.org

The Sharing Economy in Computing: A Systematic Literature Review TAWANNA R. DILLAHUNT, University of Michigan *XINYI WANG, University of Minnesota, Twin Cities *EARNEST WHEELER, University of Michigan HAO FEI CHENG, Univ

Source URL: socialinnovations.us

Reducing Web Latency: the Virtue of Gentle Aggression Tobias Flach* , Nandita Dukkipati† , Andreas Terzis† , Barath Raghavan† , Neal Cardwell† , Yuchung Cheng† , Ankur Jain† , Shuai Hao* , Ethan Katz-Bassett*

Source URL: nsl.cs.usc.edu

A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1

Source URL: www.andrew.cmu.edu

• Mathematics
• Logic
• Mathematical logic
• Type theory
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Symbol
• Tuple

A Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1

Source URL: www.andrew.cmu.edu

• Symbol
• Tuple
• First-order logic
• IP
• Substitution
• Operator

) ) Bin Liu,*,†, Cheng-Hao Wu,†,§ Jianwei Miao, and Peidong Yang*,†,‡,§ †

Source URL: nanowires.berkeley.edu

Supporting Information All Inorganic Semiconductor Nanowire Mesh for Artificial Photosynthesis Bin Liu1,4,*, Cheng-Hao Wu1,3, Jianwei Miao4, Peidong Yang1,2,3* 1

Source URL: nanowires.berkeley.edu

Reducing Web Latency: the Virtue of Gentle Aggression Tobias Flach* , Nandita Dukkipati† , Andreas Terzis† , Barath Raghavan† , Neal Cardwell† , Yuchung Cheng† , Ankur Jain† , Shuai Hao* , Ethan Katz-Bassett*

Source URL: conferences.sigcomm.org

Reducing Web Latency: the Virtue of Gentle Aggression Tobias Flach* , Nandita Dukkipati† , Andreas Terzis† , Barath Raghavan† , Neal Cardwell† , Yuchung Cheng† , Ankur Jain† , Shuai Hao* , Ethan Katz-Bassett*

Source URL: nsl.cs.usc.edu

• Network architecture
• TCP/IP
• Flow control
• Internet protocols
• Packet loss
• Transmission Control Protocol
• TCP tuning
• Explicit Congestion Notification
• Slow-start
• Network performance
• Data
• Computing