2009 |
9 | EE | Mithun Acharya,
Tao Xie:
Mining API Error-Handling Specifications from Source Code.
FASE 2009: 370-384 |
2008 |
8 | EE | Tao Xie,
Mithun Acharya,
Suresh Thummalapenta,
Kunal Taneja:
Improving software reliability and productivity via mining program source code.
IPDPS 2008: 1-5 |
2007 |
7 | EE | Mithun Acharya,
Tao Xie,
Jian Pei,
Jun Xu:
Mining API patterns as partial orders from source code: from usage scenarios to specifications.
ESEC/SIGSOFT FSE 2007: 25-34 |
2006 |
6 | EE | Mithun Acharya,
Tanu Sharma,
Jun Xu,
Tao Xie:
Effective Generation of Interface Robustness Properties for Static Analysis.
ASE 2006: 293-296 |
5 | EE | Mithun Acharya,
Tao Xie,
Jun Xu:
Mining Interface Specifications for Generating Checkable Robustness Properties.
ISSRE 2006: 311-320 |
4 | EE | Mithun Acharya:
Automatic generation and inference of interface properties from program source code.
OOPSLA Companion 2006: 750-751 |
3 | EE | Dirk Westhoff,
Joao Girão,
Mithun Acharya:
Concealed Data Aggregation for Reverse Multicast Traffic in Sensor Networks: Encryption, Key Distribution, and Routing Adaptation.
IEEE Trans. Mob. Comput. 5(10): 1417-1431 (2006) |
2005 |
2 | EE | Mithun Acharya,
Joao Girão,
Dirk Westhoff:
Secure Comparison of Encrypted Data in Wireless Sensor Networks.
WiOpt 2005: 47-53 |
2003 |
1 | EE | Mithun Acharya,
Robert Funderlic:
'Laurel and Hardy' model for analyzing process synchronization algorithms and primitives.
SIGCSE Bulletin 35(2): 107-110 (2003) |