MITHUN 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 Java Programs [project]
[code]
[page]
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)
Mentors: Vamshidhar
Kommineni, Hunter Hudson
Project: Mining Health Models for Performance
Monitoring of Services [ASE09]
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
Project: Inferring Classes and Methods Under
Test for Assessing Relationships between Test Cases and
Code [poster]
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 [WiOpt05]
[TMC06][patent]
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" part of MineCode Project, 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.
PROFESSIONAL ACTIVITIES AND SERVICE (See here)
- 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 (2011, 2008),
MSR (2009), ICSM (2008, 2007), ICSM Industry
Track (2011), ICST (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, Chapman
and Hall/CRC Data Mining and Knowledge
Discovery series, 2011
- 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)
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)
[ Home | Top | Bio and CV | Research | Teaching | Personal ]