Copyright Note: The electronic versions of the published papers are made available to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and conditions invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Selected List

Full List

PATENTS

Mining API Specifications from Source Code for Improving Software Reliability [pdf] [BibTeX] [NCSU link]

PhD Dissertation, Department of Computer Science, North Carolina State University, April 2009

Static Detection of API Error Handling Bugs via Mining Source Code

Mithun Acharya, Tao Xie. North Carolina State University Department of Computer Science Technical Report TR-2007-35, October 2007

Mining Health Models for Performance Monitoring of Services

Internship report, Mithun Acharya, Vamshidhar Kommineni. This work was done at Microsoft Center for Software Excellence (CSE) in Summer 2007

Improving Software Productivity and Quality via Mining Program Source Code

Mithun Acharya, Suresh Thummalapenta, Tao Xie,  IBM University Day, October 2007 (This poster represents the research highlights of Automated Software Engineering research group in the direction of Mining Software Engineering Data)

Automatic Inference of Interface Properties from Program Source Code

Mithun Acharya, In Supplemental Proceedings of the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE-14 2006), Doctoral Symposium, Portland, Oregon, USA, November 2006

Automatic Generation and Inference of Interface Properties from Program Source Code

Mithun Acharya, In Companion Proceedings of the 20th Annual ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Companion) (OOPSLA 2006), pages 750-751, ACM SIGPLAN Student Research Competition, Portland, Oregon, USA, October 2006

Inferring Classes and Methods Under Test from Test Cases

Mithun Acharya, "Innovation and Future of Software Development" Event, sponsored by HCI, Programming Languages and Software Engineering PIC and Software Technology Department, IBM Research, T. J. Watson Research Center, Hawthorne, New York, USA, August 2006, poster

Automatic Generation of Robustness and Security Properties from Program Source Code

Mithun Acharya, In Supplemental Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN 2006), pages 166-168, Student Forum, Philadelphia, PA, USA, June 2006

Generating and Inferring Interface Properties for Static Analysis

Mithun Acharya, Tao Xie, Jun Xu, In Proceedings of the ACM SIGPLAN Mid-Atlantic Student Workshop on Programming Languages and Systems (MASPLAS 2006), Short Paper, Piscataway, New Jersey, USA, April 2006

Automatic Property Inference via Static Analysis and Model Checking

Mithun Acharya, Tao Xie, Jun Xu, 1st 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)

NAMO NAMAHA: Network Assisted Multicast Overlay ConstructioN Algorithms for Mobile Ad Hoc Applications [BibTeX]

MS Thesis, Department of Computer Science, North Carolina State University, December 2003

'Laurel and Hardy' Model for Analyzing Process Synchronization Algorithms and Primitives [pdf] [BibTeX]

Mithun Acharya, Robert Funderlic, ACM SIGCSE, Vol. 35, No. 2, pages 107-110, June 2003

Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems

International Conference on Software Engineering (ICSE 2011), 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) class, Department of Computer Science, NCSU, 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

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

Final PhD 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

Mining Interface Specifications for Generating Checkable Robustness Properties 

17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, November 2006

Automatic Inference of Interface Properties from Program Source Code

Doctoral Symposium, ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE-14 2006), Portland, Oregon, USA, November 2006

Automatic Generation and Inference of Interface Properties from Program Source Code

ACM SIGPLAN Student Research Competition, 20th Annual ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006),  Portland, Oregon, USA, October 2006

Effective Generation of Interface Robustness Properties for Static Analysis

21st IEEE/ACM SIGSOFT/SIGART International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, September 2006

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

Automatic Inference of Interface Properties from Program Source Code [pdf]

PhD Proposal presentation, Department of Computer Science, North Carolina State University, May 2006

Automatic Property Inference Using Static Analysis and Model Checking

In Automated Software Engineering Research Group, February 15, 2006

Static and Dynamic Program Analysis Techniques for Finding Security and Robustness Violations in C (Survey)

In Testing and Verification Research Group, October 14, 2005

Secure Aggregation of Encrypted Data in Wireless Sensor Networks

PhD Qualifiers presentation, Department of Computer Science, North Carolina State University, March 2005

Secure Aggregation of Encrypted Data in Wireless Sensor Networks

Internship Exit Talk, NEC Europe Network Laboratories, December 2004

Topology Aware Group Keying for Concealed Data Aggregation in Wireless Sensor Networks

In Mobility Research Group, NEC Europe Network Laboratories, November 2004

A Critique on Concealed Data Aggregation in Wireless Sensor Networks

In Mobility Research Group, NEC Europe Network Laboratories, July 2004

NAMO NAMAHA: Network Assisted Multicast Overlay ConstructioN Algorithms for Mobile Ad Hoc Applications

MS Thesis presentation, Department of Computer Science, North Carolina State University, December 2003

Multicasting in Ad Hoc Networks

In Cyber Defense Laboratory Research Group, Cyber Defense Laboratory, June 2003

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