New:
1) I am currently looking for full-time positions (starting Jan 2009) in the industry [CV].
2) Summer of 2008, I will be working on Java PathFinder (sourceforge link), an extensible run-time model-checker for Java, as a Google Summer of Code participant. My project is to explore, design, and implement method sequence and object state machine generation techniques for testing Java programs. I will be mentored by Corina Pasareanu from NASA Ames Research Center.

I am a Ph.D. candidate in the Department of Computer Science at North Carolina State University. I am primarily interested in the area of Automated Software Engineering. Broadly, my interests are in mining software engineering data (with current emphasis on mining program source code for software reliability) and software testing. I work for the MineCode project with Tao Xie and Jun Xu (now at Google) as a part of the Automated Software Engineering  research group. I also have my interests in Wireless Networks/Security (MAC layer protocol/security issues in IEEE 802.11x wireless networks, sensor network security, ad hoc networks).

I have previous internship experiences at NEC Europe Network Laboratories (Summer/Fall 2004), IBM T. J. Watson Research Center (Summer 2006), and Microsoft Center for Software Excellence (Summer 2007).

Recent Work

Mithun Acharya, Tao Xie, Mining API Specifications from Source Code: An Empirical Perspective, draft [pdf]
Mithun Acharya, Tao Xie, Static Detection of API Error-Handling Bugs via Mining Source Code, draft [pdf]
Mithun Acharya, Tao Xie, Jian Pei, Jun Xu, Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications, ESEC/FSE 2007  [pdf]
(Work-in-progress) Generating Method Sequences and Object State Macihnes for Testing Java Programs [pdf] (Google Summer of Code project with Java PathFinder (JPF);  uses JPF symbolic-execution engine to generate method sequences)
 ...

[ Home | Top | Bio and CV | Research | Teaching | Personal ]

The material located at this site is not endorsed, sponsored or provided by or on behalf of North Carolina State University or any other organization I am and was affiliated with. The banner above is taken from the homepage of Dr. Peng Ning

Website maintained by Mithun Acharya,