Willett Faculty Scholar
Illinois at Urbana-Champaign
4237 Siebel Center
201 N. Goodwin Ave.
Urbana, IL 61801, USA
Faculty Assistant: Salome Liebenberg
A Member of the Programming
Languages, Formal Methods, and Software Engineering (PL-FM-SE)
area at Illinois
CS, along with Illinois Information
Trust Institute and Illinois Informatics Institute
- Software Engineering: Software Testing, Software Analytics, Software Security, and recently Intelligent Software Engineering (Synergy between Artificial Intelligence (AI) and Software Engineering)
News, Awesome ASE Group News!
- AI Dependability
- An approach (in collaboration with Tencent, Ltd.)
for precisely detecting issues in Neural Machine Translation (NMT)
without requiring oracle translations has been deployed in both the
development and the production environments at WeChat, a popular messenger app with over 1 billion monthly active users
(as of March 2018). The translation service in WeChat provides tens of
millions of unique translations for users of the messenger app [ICSE'19 Poster, DSN'19 Industry].
- An approach (in collaboration with Microsoft Research Asia)
for translating natural language sentences to regular expressions has
been proposed to make the translation more robust and effective in
real-world settings [EMNLP'18, NL4SE'18].
- Microservice Dependability
- TrainTicket (in collaboration with Fudan University),
a medium-size open source benchmark microservice system, has been
released to be leveraged by both industry and academia to carry out
research around microservice systems. The system includes 70+
microservices (41 business microservices), including 30,000+ lines of
code, along with 22 fault cases reproduced from real industry cases.
Upon this system, our new techniques on debugging microservice
systems have been proposed [ICSE'18 Poster, ASE'18 Short, TSE'19, TSC'19].
- Software Testing
- WCTester (in collaboration with Tencent, Ltd.), an Android testing tool, has been deployed in daily operations for improving the quality of WeChat, a popular messenger app with over 1 billion monthly active users (as of March 2018) [FSE'16 Industry, ICSE'17 SEIP, ESEC/FSE'17 Industry, ASE'18].
- Pex (in collaboration with Microsoft Research Redmond), an automated testing tool based on dynamic symbolic execution for .NET, has been shipped
as part of Visual Studio 2015/2017 Enterprise Edition as IntelliTest, since April 2015. Since Sept 2008, Pex (subsequently IntelliTest) has included my contributed Fitnex
path exploration technique and implementation, as
one of its key underlying concepts/technologies. Pex has had high download
counts in industry and academia, e.g., more than 30,000
during a 20-month period of Feb. 2008-Oct. 2009. [DSN 2009, ASE'14 Experience]
- Implementation of a test prioritization technique (resulted from our collaboration with Salesforce) has been in pilot use at Salesforce. [FSE'16 Industry]
- Rostra, a redundant-test detection technique, detected a high percentage (about 90%) of redundant tests among tests generated by Parasoft Jtest 4.5,
a popular award-winning commercial testing tool in industry. Parasoft
adopted the Rostra technique for improving Jtest’s later releases. [ASE'04]
- Symstra, a technique for efficient method-sequence generation in symbolic execution, was adapted and incorporated in NASA’s Java Pathfinder testing tool and Microsoft Research’s XRT testing tool. [TACAS'05]
- The new field of software analytics (established in collaboration with Microsoft Research Asia) has gained increasing popularity and importance in the research community. [MALETS
'11, IEEE Soft'13]
- Multiple high-impact systems of software analytics (in collaboration with Microsoft Research Asia) have been successfully deployed in daily operations of Microsoft product groups or shipped with Visual Studio, e.g., StackMine [ICSE'12, IEEE Soft'13], XIAO [ACSAC'12, ICSE'17 SEIP], SAS
[DSN'14, SRDS'12, ASE'13 Experience, ICSE'14 SEIP].
- CarStream (in collaboration with Beihang U. and CAR Inc.), a scalable, high-performance Internet-of-Vehicles (IoV)
system, has been deployed to offer chauffeured car services for over 30,000 vehicles at CAR Inc. [VLDB'17 Industry, TII'17, PerCom'18] .
- Mobile anlytics solutions (in collaboration with Peking U, U. Michigan, and Wandoujia Lab, a top Android App Store in China) have characterized diverse app-usage
patterns by learning the behavioral data from over 17 million users,
and optimizing development and release planning. [IMC'15, ICSE'16, TSE'17].
- Software Security
- WHYPER (in collaboration with NC State U.),
the first system of Natural Language Processing (NLP) for mobile app
security, has opened up the new field of text analytics for mobile
security. Google has awarded a Google
Faculty Research Award to
support the follow-up work of WHYPER, which inspired and influenced internal related efforts inside Google. [USENIX Security'13]
- ACPT (Access Control
Policy Tool) (in collaboration with NIST) is available as a
beta release. ACPT was covered by IEEE Intelligent System magazine, Industry Cortex, ScienceDaily, Center for Internet Security (CIS), etc. From its initial release in 2011 till May 2017, ACPT attracted 460
acquisitions from major industrial, academic, and government
organizations. and this number is continuously increasing. Example
early adopters of ACPT include NSA,
MITRE, DISA, NOAA, SAIC, DNI, Pacific Northwest National Lab, Fermi
Lab, BAE system, Lockheed Martin, Raytheon, Boeing, SMI, VA government,
John Hopkins University. InfoBeyond Technology LLC has developed Security Policy Tool
as a full deployable ACPT version with advanced functions and has
officially released Security Policy Tool since July 1, 2017. On October
14, 2017, InfoBeyond Technology was awarded the Innovative Security Solution Award for their demonstration of Security Policy Tool at the 2017 IEEE Big Data and SDN/NFV Summit. See the Mentionable Milestones of Security Policy Tool for our ACPT research's impact. [TSP'08, POLICY'10 Demo]
- Educational Software Engineering
- Code Hunt (in collaboration with Microsoft Research Redmond), an educational gaming platform, has already had close to 6 million
(5,981,893) users (including registered users playing on
www.codehunt.com, anonymous users and accounts that access
directly via the documented REST APIs) since its release in Spring 2014
till July 24 2017, for about three years. See the statistics of Code
Hunt services here (a snapshot cached on July 24, 2017). The 2015 Microsoft Imagine Cup included a Code Hunt Challenge. The 2014 Microsoft Beauty of Programming Contest used Code Hunt in early rounds. The game type in Code Hunt is Coding
Duel games invented by me. [ICSE'15 JSEET]
(in collaboration with Microsoft Research Redmond), an educational gaming platform as precusor of Code Hunt, had gained over 1 million
game-play interactions made by players around the world, since its release in Summer 2010 till Oct. 2012, for only
about two years. The game type in Pex4Fun is Coding
Duel games invented by me. [ICSE'13
- Diversity in Computing
2018 Fall - 2019 Spring, I served as the founding Chair of the Diversity
Committee of the Department of Computer Science, University of Illinois
- In 2007-2018, I served as the General Chair and Program Chair of 2018 and 2017 ACM
Richard Tapia Celebration of Diversity in Computing Conference (Tapia), respectively.
- During 2018-2019, I served as the Initiative Mentor for the ACM SIGSOFT Initiative on Diversity and Inclusion.
- During 2017 Fall - 2019 Spring, I served as a Faculty Advocate at Illinois for the FLIP (Diversifying Future Leadership in the Professoriate) Alliance,
an NSF INCLUDES demonstration project with the vision to increase
faculty diversity in computing at research universities by increasing
the diversity of PhD graduates from the top producers of computing
faculty. FLIP targets the following groups: African Americans,
Hispanics, Native Americans, and People with Disabilities.
- During 2017 Fall - 2019 Spring, I served as one of 7 mentors for the Illinois Academic Redshirt in Science and Engineering (ARISE) Program Sponsored by NSF
- I have been mentoring formally and informally hundreds of minority students around the world via MentorNet
(the E-Mentoring Network for Diversity in Engineering and Science),
social media, and diversity related venues. He has established and
maintained a student mentoring mailing list for minority students in computing primarily from USA, including more than 800 members as of Fall 2019.
- I have supervised undergraduate/graduate research of 26 minority students during my Illinois faculty career and 19 minority students during my NC State faculty career.
- Community Recognitions
- I have been elevated to be an IEEE Fellow (class of 2018) "for contributions to software testing and analytics"
- Our collaborations with Microsoft Research being highlighted in
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