We stand with Ukraine  

Arnab Sinha

Affiliations:
  • Princeton University, Department of Electrical Engineering, USA (PhD 2012)


According to our database1, Arnab Sinha authored at least 5 papers between 2010 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Trace Based Analyses of Parallel Software
[BibTeX]
[DOI]
Arnab Sinha
PhD thesis, 2012

Efficient predictive analysis for detecting nondeterminism in multi-threaded programs.
[BibTeX]
[DOI]
Arnab Sinha
,
Sharad Malik
,
Aarti Gupta
Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011
Predictive analysis for detecting serializability violations through Trace Segmentation.
[BibTeX]
[DOI]
Arnab Sinha
,
Sharad Malik
,
Chao Wang
,
Aarti Gupta
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search.
[BibTeX]
[DOI]
Arnab Sinha
,
Sharad Malik
,
Chao Wang
,
Aarti Gupta
Proceedings of the Hardware and Software: Verification and Testing, 2011

2010
Runtime checking of serializability in software transactional memory.
[BibTeX]
[DOI]
Arnab Sinha
,
Sharad Malik
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010


  Loading...