'Laurel and Hardy' model for analyzing process synchronization algorithms and primitives. - Mithun Acharya; Robert Funderlic (ACM SIGCSE Bull., 2003)

Secure Comparison of Encrypted Data in Wireless Sensor Networks. - Mithun Acharya; Joao Girão; Dirk Westhoff (WiOpt, 2005)

Mining Interface Specifications for Generating Checkable Robustness Properties. - Mithun Acharya; Tao Xie 001; Jun Xu 003 (ISSRE, 2006)

Effective Generation of Interface Robustness Properties for Static Analysis. - Mithun Acharya; Tanu Sharma; Jun Xu 003; Tao Xie 001 (ASE, 2006)

Automatic generation and inference of interface properties from program source code. - Mithun Acharya (OOPSLA Companion, 2006)

Concealed Data Aggregation for Reverse Multicast Traffic in Sensor Networks: Encryption, Key Distribution, and Routing Adaptation. - Dirk Westhoff; Joao Girão; Mithun Acharya (IEEE Trans. Mob. Comput., 2006)

Mining API patterns as partial orders from source code: from usage scenarios to specifications. - Mithun Acharya; Tao Xie 001; Jian Pei 001; Jun Xu 003 (ESEC/SIGSOFT FSE, 2007)

Improving software reliability and productivity via mining program source code. - Tao Xie 001; Mithun Acharya; Suresh Thummalapenta; Kunal Taneja (IPDPS, 2008)

Mining API Error-Handling Specifications from Source Code. - Mithun Acharya; Tao Xie 001 (FASE, 2009)

Mining Health Models for Performance Monitoring of Services. - Mithun Acharya; Vamshidhar Kommineni (ASE, 2009)

Impact Analysis of Configuration Changes for Test Case Selection. - Xiao Qu; Mithun Acharya; Brian Robinson (ISSRE, 2011)

Configuration selection using code change impact analysis for regression testing. - Xiao Qu; Mithun Acharya; Brian Robinson (ICSM, 2012)

Practical change impact analysis based on static program slicing for industrial software systems. - Mithun Acharya; Brian Robinson (SIGSOFT FSE, 2012)

Oracle-based Regression Test Selection. - Tingting Yu 001; Xiao Qu; Mithun Acharya; Gregg Rothermel (ICST, 2013)

First International Workshop on Multi Product Line Engineering (MultiPLE 2013). - Leon Moonen; Mithun Acharya; Razieh Behjati; Bedir Tekinerdogan; Rick Rabiser; Kyo Chul Kang (SPLC, 2013)

Humanizing Software Artifacts: Software Engineering with Intelligent and Social Software Artifacts as our Friends. - Mithun Acharya (CoRR, 2014)

Code drones. - Mithun P. Acharya; Chris Parnin; Nicholas A. Kraft; Aldo Dagnino; Xiao Qu (ICSE (Companion Volume), 2016)

Preface. - Tao Xie 001; Yuanfang Cai; Xuanzhe Liu; Xiaoyin Wang; Mithun P. Acharya; Marcelo d'Amorim; Xiaoxing Ma (J. Comput. Sci. Technol., 2017)

Neighborhood Structure Assisted Non-negative Matrix Factorization and its Application in Unsupervised Point Anomaly Detection. - Imtiaz Ahmed 002; Xia Ben Hu; Mithun P. Acharya; Yu Ding 002 (CoRR, 2020)

Neighborhood Structure Assisted Non-negative Matrix Factorization and Its Application in Unsupervised Point-wise Anomaly Detection. - Imtiaz Ahmed 002; Xia Ben Hu; Mithun P. Acharya; Yu Ding 002 (J. Mach. Learn. Res., 2021)