Selected Activities

Service

PC, International Symposium on Software Reliability Engineering (ISSRE): 2014
PC, International Working Conference on Mining Software Repositories (MSR): 2013, 2012, 2011
PC, India Software Engineering Conference (ISEC): 2015, 2013
PC, ACM Student Research Competition (SRC), Foundations of Software Engineering (FSE): 2014
PC, Tool Demonstrations, Automated Software Engineering (ASE): 2013
PC, ACM Student Research Competition (SRC), International Conference on Software Engineering (ICSE): 2013
PC, Industry Track, International Symposium on Software Reliability Engineering (ISSRE): 2013
PC, Industry Track, International Conference on Program Comprehension (ICPC): 2015 @ ICSE
Co-Organizer, First International Workshop on Multi Product Line Engineering (MultiPLE 2013) at SPLC 2013
PC, International Workshop on Software Mining (SoftMine): 2014@ICDM,2013@ASE, 2012@KDD
PC, International Workshop on Software and System Performance Testing, Debugging, and Analytics (PERTEA): 2014@ISSTA
PC, International Conference on Engineering of Complex Computer Systems (ICECCS): 2011-12
PC, International Workshop on Data Center Performance (DCPerf, co-located with ICDCS) 2011-12
PC, International Conference on Communications (ICC) 2007, 2009-11
PC, Global Telecommunication Conference (GLOBECOM) 2006, 2008-10
Journal Reviews:TSE, JASE, EMSE, S&P, SP&E, SCICO, KAIS, DKE, TWC, TIFS, JCC, JSS, Comm.Letters
Book Reviews: Mining Software Specifications: Methodologies and Applications

Presentations
Oracle-based Regression Test Selection
6th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2013), Luxembourg, March 2013
[ slideshare | slides ]
Code Change Impact Analysis for Testing Configurable Software Systems
23rd CREST Open Workshop on Change Impact Analysis and Testing of Software Product Lines, Department of Computer Science, University College London, UK, November 2012
[ slideshare | slides | video ]
+ Invited Talk
Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2012), Research Tool Demonstrations, Cary, NC, USA, November 2012
Configuration Selection Using Code Change Impact Analysis for Regression Testing
28th IEEE International Conference on Software Maintenance (ICSM 2012), Riva Del Garda, Trento, Italy, September 2012
Impacting Practice with Code Change Impact Analysis
Guest Lecture, Tao Xie's Software Engineering (CSC 510) graduate class, Department of Computer Science, North Carolina State University, August 2012
Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
International Conference on Software Engineering (ICSE 2011), SEiP, Waikiki, Honolulu, Hawaii, May 2011
Complementing Software Testing: Data Mining with Static Analysis and Performance Monitoring
Guest Lecture,Tao Xie's Software Testing and Reliability (CSC 712) advanced graduate class, Department of Computer Science, North Carolina State University, October 2010
Mining Health Models for Performance Monitoring of Services
Automated Software Engineering (ASE 2009) conference, Auckland, New Zealand, November 2009
Mining API Error-Handling Specifications from Source Code
ETAPS 2009 Fundamental Approaches to Software Engineering (FASE 2009), York, UK, March 2009
+ ETAPS 2009 student scholarship
Mining API Specifications from Source Code for Improving Software Reliability
ABB US Corporate Research Center, Industrial Software Systems Lab, March 2009
Mining API Specifications from Source Code for Improving Software Reliability
Ph.D. Dissertation Defense, Department of Computer Science, North Carolina State University, December 2008
Mining API Specifications from Source Code for Improving Software Reliability
Programming Technologies and Software Engineering Department, IBM India Research Labs, September 2008
Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications
6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Dubrovnik, Croatia, September 2007
Building Health Models for Performance Monitoring of Services
Microsoft Center for Software Excellence, August 2007
Automatic Inference of Interface Properties from Program Source Code
Doctoral Symposium, ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, Oregon, USA, November 2006
Mining Interface Specifications for Generating Checkable Robustness Properties
17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, November 2006
+ ISSRE 2006 student scholarship
Automatic Generation and Inference of Interface Properties from Program Source Code
ACM SIGPLAN Student Research Competition (SRC), 20th Annual ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), Portland, Oregon, USA, October 2006
+ Semi Finals
+ OOPSLA 2006 student scholarship and ACM SIGPLAN SRC scholarship sponsored by Microsoft Research
Effective Generation of Interface Robustness Properties for Static Analysis
21st IEEE/ACM SIGSOFT/SIGART International Conference on Automated Software Engineering (ASE 2006), Short Paper, Tokyo, Japan, September 2006
+ ACM SIGSOFT CAPS scholarship
Inferring Classes and Methods Under Test for Assessing Relationships between Test Cases and Code
Integrated Solution Engineering group, IBM Research, T. J. Watson Research Center, Hawthorne, August 2006
Automatic Generation of Robustness and Security Properties from Program Source Code
IEEE International Conference on Dependable Systems and Networks (DSN 2006), Student Forum, Philadelphia, PA, USA, June 2006
+ DSN 2006 student scholarship
Automatic Property Inference via Static Analysis and Model Checking
Mithun Acharya, Tao Xie, and Jun Xu. 3rd Annual NC State University Graduate Student Research Symposium, Raleigh, North Carolina, USA, March 2006, poster
+ Among the two nominated from advanced Computer Science graduate students for presentation at the symposium
Concealed Data Aggregation for Reverse Multicast Traffic in Wireless Sensor Networks: Encryption, Key Distribution, and Routing Adaptation
NEC Labs Europe, November 2004
Topology Aware Group Keying for Concealed Data Aggregation in Wireless Sensor Networks
Software and Services Research Division, NEC Labs Europe, November 2004
A Critique on Concealed Data Aggregation in Wireless Sensor Networks
Software and Services Research Division, NEC Labs Europe, July 2004

Experience

Google Summer of Code Intern, Google Inc., Mountain View, CA, USA, 5/08 - 8/08
Team: Java PathFinder, mentored by the Robust Software Engineering (RSE) group at NASA Ames Research
Intern, Microsoft Research, Redmond, WA, USA, 5/07 - 8/07
Team: worked with the team that was a part of the RedDog (Windows Azure) project, Microsoft Center for Software Excellence
Intern, IBM Research, T. J. Watson Research Center, Hawthorne, NY, USA, 5/06 - 8/06
Team: Software Technology Department, Programming Languages and Software Engineering
Intern, NEC Labs Europe, Heidelberg, Germany, 6/04 - 12/04
Team: Software and Services Research Division
Graduate RA/TA, North Carolina State University, Raleigh, NC, USA, M.S./Ph.D. semesters
Department: Computer Science
+ University Outstanding Teaching Assistant Award, 4/07
+ NC State University Graduate Student Association certificate in recognition of outstanding research, 3/06
+ Member, Honor Society of Phi Kappa Phi for academic excellence
+ Department scholarship for doctoral research/studies, 4/04 - 12/06
+ PhD research supported by two Army Research Office (ARO) grants and a National Science Foundation (NSF) grant
Visiting Intern, Indian Institute of Science, Bangalore, India, 7/99 - 9/99, 7/00 - 7/01
Department: Centre for Electronics Design and Technology (CEDT; now, DESE)
Ph.D. in Computer Science, North Carolina State University, 2009
Advisor: Tao Xie