MITHUN PUTHIGE ACHARYA Researcher Industrial Software Systems Research Group ABB Corporate Research Raleigh NC USA Web page: http://www4.ncsu.edu/~mpachary/ Email: firstname.lastname AT ncsu DOT edu EDUCATION Ph.D. in Computer Science, 2009, North Carolina State University M.S. in Computer Science, 2004, North Carolina State University B.E. in Computer Science, 2001, National Institute of Technology, Karnataka PROFESSIONAL EXPERIENCE Researcher, ABB Corporate Research Labs, Raleigh, NC, USA, since 10/09 Team: Industrial Software Systems Research Group Google Summer of Code, Google Inc., Mountain View, CA, USA, 5/08 – 8/08 Team: Java PathFinder Mentor: Corina Pasareanu, NASA Ames Research Center Project: Generating Method Sequences and Object State Machines for Testing Research Intern, Microsoft Center for Software Excellence, Redmond, WA, USA, 5/07 - 8/07 (formerly, Programmer Productivity Research Center at Microsoft Research) Team: worked with the team that was part of RedDog (Windows Azure) Mentor: Vamshidhar Kommineni, Hunter Hudson Project: Mining Health Models for Performance Monitoring of Services Research Intern, IBM T. J. Watson Research Center, Hawthorne, NY, USA, 5/06 - 8/06 Team: Software Technology Department, Programming Languages and Software Engineering Mentors: Peri Tarr, Tim Klinger Managers: Rosario Uceda-Sosa, Peter Santhanam Project: Inferring Classes and Methods Under Test for Assessing Relationships between Test Cases and Code Research Intern, NEC Europe Network Laboratories, Heidelberg, Germany, 6/04 - 12/04 Team: Mobility Research Group Mentors: Dirk Westhoff, Joao Girao Project: Concealed Data Aggregation for Reverse Multicast Traffic in Sensor Networks Graduate Research Assistant, Department of Computer Science, North Carolina State University, Raleigh, NC, USA - Tao Xie, "Mining API Specifications from Source Code for Improving Software Reliability", 1/07 - 12/08 - Jun Xu, "Effective Generation of Interface Robustness Properties for Static Analysis", 5/05 - 8/05 - David Thuente, "MAC layer protocol/security issues in Wireless Network Systems with simulations in OPNET", 1/05 - 5/05 - Douglas Reeves, "Efficient Algorithms for Overlay Multicast Routing in Wireless Ad Hoc Networks", 5/02 - 8/02 Graduate Teaching Assistant, Department of Computer Science, North Carolina State University, Raleigh, NC, USA - Computer Networks, Instructor: Prof. David Thuente, 5/03 - 8/03, 1/06 - 12/06 - Advanced Network Security, Instructor: Dr. Peng Ning, 8/05 - 12/05 - Network Projects, Instructors: Prof. John Streck, Prof. David Thuente, Prof. Mladen Vouk, 8/01 - 5/04 University Outstanding Teaching Assistant Award, April 2007 Intern, Indian Institute of Science, Bangalore, India, 7/00 - 7/01 Centre for Electronics Design and Technology Mentors: T. V. Prabhakar, K. Chandrasekaran Project: "SNMP Support for Linux Bridge", Senior Design Project, in collaboration with Department of Computer Science, KREC [NITK] Intern, Indian Institute of Science, Bangalore, India, 7/99 - 9/99 Centre for Electronics Design and Technology Mentor: Andre Pittet Project: Implemented an online web tutorial for "Electronic Packaging". PUBLICATIONS (Full List: http://www4.ncsu.edu/~mpachary/research/publications.html) - Qu, Acharya, Robinson, Impact Analysis of Configuration Changes for Test Case Selection, ISSRE 2011 - Acharya, Robinson, Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems, ICSE 2011, Software Engineering in Practice - Acharya, Xie, Static API Specification Mining: Exploiting Source Code Model Checking, Invited Book Chapter, Mining Software Specifications: Methodologies and Applications, David Lo, Siau-Cheng Khoo, Chao Liu, and Jiawei Han editors, Chapman and Hall/CRC Data Mining and Knowledge Discovery series, 2011 - Acharya, Xie, Mining Health Models for Performance Monitoring of Services, ASE 2009 - Acharya, Xie, Mining API Error-Handling Specifications from Source Code, ETAPS FASE 2009 - Xie, Acharya, Thummalapenta, Taneja, Improving Software Reliability and Productivity via Mining Program Source Code, NSFNGS-IPDPS 2008 - Thuente, Newlin, Acharya, Jamming Vulnerabilities of 802.11e, MILCOM 2007 (unclassified article) - Acharya, Xie, Pei, Xu, Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications, ESEC/FSE 2007 - Acharya, Xie, Xu, Mining Interface Specifications for Generating Checkable Robustness Properties, ISSRE 2006 - Thuente, Acharya, Intelligent Jamming in Wireless Networks with Applcations to 802.11b and other Networks, MILCOM 2006 (unclassified article), Nominated for the Best Paper Award - Westhoff, Girao, Acharya, Concealed Data Aggregation for Reverse Multicast Traffic in Sensor Networks: Encryption, Key Distribution and Routing Adaptation, IEEE Transactions on Mobile Computing 2006, Featured Article - Acharya, Sharma, Xu, Xie, Effective Generation of Interface Robustness Properties for Static Analysis, ASE 2006 (short paper) - Acharya, Thuente, Intelligent Jamming Attacks, Counterattacks and (Counter)2attacks in 802.11b Wireless Networks, OPNETWORK 2005 - Acharya, Girao, Westhoff, Secure Comparison of Encrypted Data in Wireless Sensor Networks, WiOpt 2005 - Acharya, Sharma, Thuente, Sizemore, Intelligent Jamming in 802.11b Wireless Networks, OPNETWORK 2004 PATENTS - “Method for Distributing Keys for Encrypted Data Transmission in a Preferably Wireless Sensor Network", Dirk Westhoff, Joao Girao, Mithun Acharya United States Patent 7702905 (issued 2010), German Patent 10 2004 057 981 (issued 2010), Japanese Patent Office Publication 2006-157896 PROFESSIONAL ACTIVITIES AND SERVICE (http://www4.ncsu.edu/~mpachary/research/service.html) - Program Committee Membership: MSR at ICSE (2012, 2011), SSPA at PLDI (2012), ICECCS (2012, 2011), DCPerf at ICDCS (2012, 2011), ICC (2011, 2010, 2009, 2007), GLOBECOM (2010, 2009, 2008, 2006) - Conference/Workshop Reviews: ICSE (2011), ISSTA (2009, 2008), ASE (2008), MSR (2009), ICSM (2008, 2007), ICSM Industry Track (2011), ICST (2012, 2011, 2009, 2008), HVC (2009), WODA (2006), WWW (2009), GLOBECOM (2005) - Book/Chapter Reviews: Chapter review, Mining Software Specifications: Methodologies and Applications, David Lo, Siau-Cheng Khoo, Chao Liu, and Jiawei Han editors, Data Mining and Knowledge Discovery series, CRC Press, Taylor and Francis Group - Journal/Magazine Reviews: Journal of Automated Software Engineering (JASE; 2011, 2010), IEEE Transactions on Software Engineering (TSE; 2008, 2007), Journal of Empirical Software Engineering (EMSE; 2012), IEEE Security and Privacy (S&P; 2008), IEEE Transactions on Wireless Communication (TWC; 2006), IEEE Transactions on Information Forensics and Security (TIFS; 2007), Elsevier Journal on Computer Communications (JCC; 2007), Elsevier Journal of Systems and Software, (JSS; 2006), IEEE Communications Letters (2011) - Student Panel, ACM SIGSOFT Inspirations, FSE-14 2006 - Volunteer, ACM SIGPLAN OOPSLA 2006, IEEE DSN 2006 - Member, ACM, SIGSOFT, IEEE, IEEE Computer Society, Communications and Information Security - IEEE Communications Society (Technical Committee Member) TEACHING (http://www4.ncsu.edu/~mpachary/teaching/teaching.html) - Guest Lecture, Complementing Software Testing: Data Mining with Static Analysis and Performance Monitoring, Software Testing and Reliability (CSC 712), Instructor: Tao Xie, Department of Computer Science, NCSU, 10/10 - Teaching Assistant, Computer Networks (CSC401), Instructor: David Thuente, Department of Computer Science, 5/03 - 8/03, 1/06 - 12/06 - Teaching Assistant, Advanced Network Security (CSC/ECE774), Instructor: Peng Ning, Department of Computer Science, 8/05 - 12/05 - Teaching Assistant, Network Projects (CSC402/ECE470), Instructors: John Streck, David Thuente, Mladen Vouk, Department of Computer Science, 8/01 - 5/04 HONORS AND DISTINCTIONS - University Outstanding Teaching Assistant Award, 4/07 - Best Paper Award Nomination (unclassified category), MILCOM 2006 - Featured Article, IEEE Transactions on Mobile Computing, Vol. 5, No. 10, October 2006 issue - Semi-finals, ACM SIGPLAN Student Research Competition, OOPSLA 2006, 10/06 - NC State University Graduate Student Association certificate in recognition of outstanding research, 3/06 - NCSU Department of Computer Science ‘Virtual Teaching Assistant’ Scholarship for doctoral research/studies, 4/04 – 12/06 - Member, Honor Society of Phi Kappa Phi, for academic excellence - Student conference scholarships at ETAPS 2009, ISSRE 2006, OOPSLA 2006, ACM SIGPLAN SRC 2006 (by Microsoft Research), ASE 2006 (by ACM SIGSOFT CAPS), DSN 2006, ESAS 2004 (by NEC/NCSU)