Xusheng Xiao

Xusheng Xiao (肖旭生)

3rd Year Ph. D. Student

Department of Computer Science, NC State University,

Raleigh, NC 27695, USA

Contact: xxiao2 AT ncsu.edu

Language: Chinese( Mandarin, Teochew dialect , Cantonese), English

Welcome!

I just started the third year of my PhD journey at the Automated Software Engineering Research Group [Projects] of NCSU.

My advisor is Prof. Tao Xie and my research interest is mainly on improving software's reliability, quality, and security using dynamic / static program analysis approaches or Natural Language Processing (NLP) techniques. I am also interested on the area of performance analysis and mobile security/privacy.

News

New!! I will be an research intern at the Systems Analysis & Verification group of NEC Laboratories America, working with Gogul Balakrishnan and Franjo Ivancic for the summer.
New!! Our book chapter Advances on Improving Automation in Developer Testing is published.
New!! Our paper Inferring Method Specifications from Natural Language API Descriptions is accepted at ICSE 2012.
I spent my 2011 fall semester at Microsoft Research Asia, working on performance analysis in Software Analytics Group. My mentor is Shi Han.
In 2011 summer, I was a research intern at Microsoft Research Redmond. My mentor is Nikolai Tillmann and I worked in the TouchDevelop team with Manuel Fahndrich, Jonathan de Halleux, and Michał Moskal. We developed a static analysis engine to compute information flows for published scripts in TouchDevelop.
My poster of Covana[Video] won the award of "Best project representing an innovative use of Microsoft technology" in the ACM SRC, ICSE 2011, Honolulu, HI!
My paper Precise Identification of Problems for Structural Test Generation is accepted at ICSE 2011.
In 2010 summer, I was a research intern at IBM T.J. Watson Research Center. My mentors are Avik Sinha and Amit M. Paradkar. I developed a system that adapts Natural Language Processing techniques to extract security policies and conditional constraints from natural language software documents.

Research Projects

Selected Publications

Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney and Amit Paradkar. Inferring Method Specifications from Natural Language API Descriptions. Accepted to Proceedings of the 34rd International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, 2012. (Acceptance Rate: 87 / 408 = 21.3%) Download: [PDF][BibTex].

Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Precise Identification of Problems for Structural Test Generation. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Honolulu, Hawaii, May 2011. (Acceptance Rate: 62 / 442 = 14%)
Download: [PDF][BibTex][Demo].

Talks

Competition Talk: Construction and Validation of Access Control Policies via Natural Language Processing and Policy Verification. Association of Graduates, United States Air Force Academy, Colorado, USA, April, 2011.
Invited Talk: Precise Identification of Problems for Structural Test Generation. MSR Redmond, USA, March, 2011.
Invited Talk: Automatic Construction and Validation of Access Control Policies from Natural-Language Documents. NIST, USA, March, 2011.

Navigation

Home