An Illinois CS Click! Magazine article on "Xie’s Collaboration on Pex Benefits Microsoft and CS Education", highlighting impact of our collaborative research with Microsoft Research.
- Software Testing:
The contributed Fitnex
path exploration technique and implementation [DSN 2009] have been
part of Microsoft Research Pex
one of its key underlying concepts/technologies) since Sept.
collaborative work upon Pex has been published widely in top
software engineering venues. See this ASE 2014 Experience Report
on the high industry impact and experiences on successful technology
- Mobile App Security:
Recent work on developing Natural Language Processing (NLP) techniques
that analyze natural-language descriptions for a mobile app to assess
risk related to the permissions declared for the app. See the USENIX Security
2013 paper on Whyper. Various companies expressed strong
interest in the Whyper approach/tool, and Google has awarded a Google
Faculty Research Award to
support the follow-up work of Whyper. Stay
tuned for more updates!
- Software Analytics:
Recent and ongoing work on Software
Analytics with successful technology transfer in
collaboration with Microsoft
Research Asia is being produced. See this IEEE Software 2013
article and ASE 2013
Experience Report on the industry impact and experiences on
successful technology transfer. See the ICSE 2012 paper
on StackMine, ACSAC
2012 paper on XIAO,
2012 short paper and ICSE 2014 SEIP
paper on log mining along with MALETS 2011 position paper/presentation
slides and ICSE
2012 SEIP Mini-Tutorial.
- Educational Gamification:
The contributed concept of Coding
Duel games went into Pex for Fun
releases since Summer 2010 and Code Hunt
releases since Spring 2014 (both produced by Microsoft Research). See
SEE paper on Pex for Fun and this GAS 2013 paper
on the advocated field of educational software engineering; see the SBST 2014 paper
on Code Hunt.
- Since its release in Summer 2010 till Oct. 2012, for only
about two years, Pex for Fun has already had over 1 million
game-play interactions made by players around the world.
- 2015 Microsoft
Imagine Cup includes a Code Hunt
- Security Policies:
The jointly-developed NIST ACPT (Access Control
Policy Tool) is available as a
- As of Sept. 2012, ACPT had been downloaded more than 130
copies by industrial and government organizations including: NSA,
MITRE, DISA, NOAA, SAIC, DNI, Pacific Northwest National Lab, Fermi
Lab, BAE system, Lockheed Martin, Raytheon, Boeing, SMI, VA government,
John Hopkins University, and organizations from foreign countries (the
number of downloads is still growing every week).
- See more previous highlights
interests (publications, Google
Software Engineering: Software
Analytics for SE, Code
Engineering for Mobile/Internet Computing, and Educational
Software Engineering, with
recent themes as
communities and resources
- Software Engineering Community:
- Advice Portal: Advice on Writing
Research Papers, Mapping
Out a Research Agenda, Research/advising Blog, ...
- Illinois ASE Group:
Group News Blog,
ASE Research overview, ...
- Research/Education Resources:
by the HTML style by Alex Orso