Tao Xie is a Professor and Willett Faculty Scholar in the Department of Computer Science at University of Illinois at Urbana-Champaign, USA. Previously, he was an Associate Professor in the Department of Computer Science at North Carolina State University. He received his Ph.D. in Computer Science from the University of Washington in 2005. Before that, he received an M.S. in Computer Science from the University of Washington in 2002, an M.S. in Computer Science from Peking University in 2000, and a B.S. in Computer Science from Fudan University in 1997. He has worked as a visiting researcher at Microsoft Research Redmond and Microsoft Research Asia. He is an ACM Distinguished Scientist and an IEEE Senior Member.
His research interests are in software engineering, focusing on software testing, program analysis, software analytics, software security, and educational software engineering. He leads the Automated Software Engineering Research Group at Illinois, and is a member of the Programming Languages, Formal Methods, and Software Engineering (PL-FM-SE) area at Illinois.
He has contributed to broad software engineering and computing research communities with extensive professional services. He has served as the ACM SIGSOFT History Liaison in the SIGSOFT Executive Committee as well as a member and the SGB Liaison of the ACM History Committee. He received a National Science Foundation Faculty Early Career Development (CAREER) Award in 2009. He received a 2016 Microsoft Research Outstanding Collaborators Award, a 2014 Google Faculty Research Award, a 2011 Microsoft Research Software Engineering Innovation Foundation (SEIF) Award, 2008, 2009, and 2010 IBM Faculty Awards, and a 2008 IBM Jazz Innovation Award. He is an Associate Editor of the IEEE Transactions on Software Engineering (TSE) and the ACM Transactions on Internet Technology (TOIT), an Advisory Board Member of the IEEE Software Magazine, and a Leading Editor of the Journal of Computer Science and Technology (JCST). He was the Program Chair of 2015 International Symposium on Software Testing and Analysis (ISSTA). His homepage is at http://taoxie.cs.illinois.edu/
To request a single lecture/event, click on the desired lecture and complete the Request Lecture Form.
Automated Developer Testing: Achievements and Challenges
Developer testing, a common step in software development, involves generating sufficient test inputs and checking the behavior of the program under test during the execution of the test inputs. Complicated...
Cooperative Developer Testing: How Human and Machine Cooperate to Get Job Done
Tool automation to reduce manual effort has been an active research area in various subfields of software engineering such as developer testing (where developers test their code as they write it). Manual...
Improving Software Reliability via Mining Software Engineering Data
Since late 90’s, various data mining techniques have been applied to analyze software engineering data, and have achieved many noticeable successes in improving software reliability. Substantial...
Pathways to Technology Transfer and Adoption: Achievements and Challenges
Producing industrial impact has often been one of the important goals of academic or industrial researchers when conducting research. However, it is generally challenging to transfer research results...
PhD-Program Preparation for Successful Post-PhD Career
It is valuable for PhD students to think ahead on what kinds of career paths the students intend to seek and what kinds of skills such career paths would require the students to have. This talk discusses...
Software Analytics: Data Analytics for Software Engineering
A huge wealth of various data exists in software life cycle, including source code, feature specifications, bug reports, test cases, execution traces/logs, and real-world user feedback, etc. Data plays...
Systematic Testing and Verification of Security Policies
Access control is one of the most fundamental and widely used privacy and security mechanisms at both application and network levels. Given the high importance and delicacy of security policies, ensuring...
Teaching and Learning Programming and Software Engineering via Interactive Gaming
Pex4Fun (http://www.pex4fun.com/) and Code Hunt (https://www.codehunt.com/), released by Microsoft Research, offer a web-based educational gaming platform for teaching and learning programming and software...
Text Analytics for Mobile App Security and Beyond
Mobile apps are accompanied by a rich amount of natural language text: app descriptions, app user reviews, update/release notes, etc. Such natural language text is essential in conveying important information...
Transferring an Automated Test Generation Tool to Practice
Producing industry impacts has been an important, yet challenging task for the research community. Although there are a few cases on reporting "what to do" (reflecting good things to keep...
Where the hard computational problems are ?
Some computational problems are easy. We can sort numbers quickly for example. Other problems are hard. Scheduling jobs, routing trucks, these are all hard problems to solve. I will survey research...
To request a tour with this speaker, please complete this online form.
If you are not requesting a tour, click on the desired lecture and complete the Request this Lecture form.
All requests will be sent to ACM headquarters for review.