Gao Ying

SSG Group | SIAS | Computer Science Department | University of Science And Technology of China

About

I'm a PHD student in the Software security lab. Now I'm looking for a formal method to measure the result of static analysis.
some keywords: Abstract interpretation, denotational semantics,probalitical semantics, structure of domain.

My Advisor Professor: YiYun Chen

My contacts

email: ygao4 at mail d ustc d edu d cn
MSN: southying at hotmail d com
gmail: gao.ying.gy at gmail d com

Education

2002.9 - now : Dept. of Computer Science, USTC Graduate School
1998.9 - 2002.7 : Dept. of Mathematics,USTC
1995.9 - 1998.7 : Quanzhou Senior Middle School,GuangXi

Now

designing and implementing the MOM...
design a theoretical framework to measure the result of static analysis
work as a research intern in Intel China Software Center to implement a JavaOS on Bareware
read the advanced compiler design implement © S.Muchnick...
dump in dataflow analysis
Unix kernel and programming

Research

My Interests:

Formal semantics, Domain theory
OS, Java virtual Machine & embedded system
Program Transformation & Program analysis
Programming Languages(Java,C++,some FLs)

My publication:

Ying Gao,Yiyun Chen, BaoJian Hua. A semantic-based Malware detector for Obfuscated Malware. Submitted, July 2007
Ying Gao, Yiyun Chen. A quantitative comparable framework measuring code obfuscation efficiency. Submitted, Dec 2006
Ying Gao ,Yiyun Chen. A comparable code obfuscation framework measuring efficiency based on abstract interpretation. Chinese Journal of Computers, 30(5):806-814, May 2007

Xinliang Yang, Bei Hua, Ying Gao :A URL-distributing algorithm for Web server cluster. Journal of System Simulation,19(6):1406-1409,March 2007 (in Chinese)
Jing Wang, Shoubao Yang, Ying Gao, Leitao Guo: FCAN: A Structured P2P System Based on Content Query. In the Fifth International Conference on Grid and Cooperative Computing (GCC2006) (EI-indexed)

My Experience:

Intern in Intel China Software Center,Shanghai.(March,2006~ July,2006)

TA for Embedded System design and implement, (Fall 06)
TA for Embedded System design and implement, (Fall 05)
TA for Embedded System design and implement, (Fall 04)
TA for Combinatorics, (Spring 04)
TA for C Language, (Spring 02)
Research Assistant of Professor Yiyun Chen, (2002 ~ Present)

Links

OS, embedded system
Program Transformation and Code Obfuscation

Program Transformation
LLVM: an well-suited compiler framework to design an algorithm of program transformation and program analysis
A project of Standford: make mobile code secure through Java ByteCode Modification
A list of Decompiler

Programming Languages
- Some Programming language theory texts online | Lambda ultimate | readscheme |
- Introduction of o'Camel | Home of Scheme| Home of Haskell
News

Zdnet | news | csarch@newsmth | theory@newsgroup | compilers@newsgroup | lwn | server.side|

Last modified: July 30, 2007