Publications
Journal Papers
Connectivity preserving voxel transformation, Anvesh Komuravelli, Arnab Sinha, Arijit Bishnu, Discrete Applied Mathematics, Volume 157, Issue 16, August 2009.
Design Intent Coverage Revisited, Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti, ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol 14, Issue 1 (January 2009) (pdf).
Integrated Verification Approach during ADL-driven Processor Design, Anupam Chattopadhyay, Arnab Sinha, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Heinreich Meyr, Microelectronics Journal, Volume 40, Issue 7, July 2009.
Accelerating Assertion Coverage with Adaptive Test-benches, Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol 27, Issue 5, May 2008 (pdf).
Hardware Accelerated Constrained Random Test Generation, Bhaskar Pal, Arnab Sinha, Pallab Dasgupta, P.P.Chakrabarti, Kaushik De, IET Computers and Digital Techniques, pp-423-433, Vol 1, Issue 4, July 2007 (pdf).
Conference Papers
Efficient Predictive Analysis for Detecting Nondeterminism in Multi-Threaded Programs., Arnab Sinha, Sharad Malik, Aarti Gupta, accepted in Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK, October 22 - 25, 2012.(pdf)
Predicting Serializability Violations: SMT-based Search vs. DPOR-based Search, Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta, Haifa Verification Conference (HVC), Haifa, Israel, Dec 6-8, 2011.(pdf)
Predictive Analysis for Detecting Serializability Violations Through Trace Segmentation, Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta, Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, UK, July 11-13, 2011. (pdf, traces)
Runtime Checking of Serializability in Software Transactional Memory, Arnab Sinha, Sharad Malik, 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Atlanta, April 19-23, 2010. (pdf)
Connectivity preserving voxel transformation, Anvesh Komuravelli, Arnab Sinha, Arijit Bishnu, International Workshop on Combinatorial Image Analysis, Buffalo, April 7-9, 2008. (pdf)
Integrated verification Approach during ADL-driven Processor Design, Anupam Chattopadhyay, Arnab Sinha, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Heinreich Meyr, 17th IEEE International Workshop on Rapid System Prototyping (RSP'06), Chania, Greece, 2006 (pdf).
Stensor: A Novel Stochastic Algorithm for Placement of Sensors in a Rectangular Grid, Arnab Sinha, Bhaskar Pal. Presented in paper-presentation competition "Eureka" in Kshitij, IIT Kharagpur, 2007 (Awarded 1st position) (pdf).
Posters
Predicting Serializability Violations: SMT-based Search vs. DPOR-based Search, Arnab Sinha, Sharad Malik, GSRC/MuSyC 1st Annual Joint Review, 28, 16 November, 2011, Berkeley, CA (pdf).
Predictive Analysis for Detecting Serializability Errors Through Trace Segmentation, Arnab Sinha, Sharad Malik, GSRC/MuSyC 1st Annual Joint Review, 28 September, 2010, San Jose, CA (pdf).
Using Concurrency to Check Concurrency: Checking Serializability in Software Transactional Memory, Arnab Sinha, Sharad Malik, GSRC Annual Symposium 2009, 3 September, 2009, San Jose, CA (pdf).
ADL-driven Automatic Test pattern Generation for Functional Verification of Embedded Processors, Anupam Chattopadhyay, Arnab Sinha, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Heinreich Meyr, 12th IEEE European Test Symposium, Frieburg, 2007 (pdf).
Talks
Trace Based Predictive Analysis of Concurrent Software, ACM Unit Seminar, Indian Statistical Institute (ISI), Kolkata, December 22, 2010.
Trace Based Predictive Analysis of Concurrent Software, invited talk at IIT Kharagpur, December 15, 2010.
Runtime Checking of Serializability in Software Transactional Memory, e-seminar at Gigascale Research Center (GSRC), March 30, 2010.
Using Concurrency to Check Concurrency: Checking Serializability in Software Transactional Memory, Fifth Northeastern Verification Meeting (NEVER), NEC Laboratories, Princeton,USA, October 30, 2009.