Saurabh Joshi : Publications

Property−Driven Fence Insertion using Reorder Bounded Model Checking

Saurabh Joshi and Daniel Kroening

In CoRR. Vol. abs/1407.7443. 2014.

Details about Property−Driven Fence Insertion using Reorder Bounded Model Checking | BibTeX data for Property−Driven Fence Insertion using Reorder Bounded Model Checking | Link to Property−Driven Fence Insertion using Reorder Bounded Model Checking

Automatically finding atomic regions for fixing bugs in Concurrent programs

Saurabh Joshi and Akash Lal

In CoRR. Vol. abs/1403.1749. 2014.

Details about Automatically finding atomic regions for fixing bugs in Concurrent programs | BibTeX data for Automatically finding atomic regions for fixing bugs in Concurrent programs | Link to Automatically finding atomic regions for fixing bugs in Concurrent programs

Incremental Cardinality Constraints for MaxSAT

Ruben Martins‚ Saurabh Joshi‚ Vasco M. Manquinho and Inês Lynce

In Barry O'Sullivan, editor, Principles and Practice of Constraint Programming − 20th International Conference‚ CP 2014‚ Lyon‚ France‚ September 8−12‚ 2014. Proceedings. Vol. 8656 of Lecture Notes in Computer Science. Pages 531–548. Springer. 2014.

Details about Incremental Cardinality Constraints for MaxSAT | BibTeX data for Incremental Cardinality Constraints for MaxSAT | DOI (10.1007/978-3-319-10428-7) | Link to Incremental Cardinality Constraints for MaxSAT

Underspecified harnesses and interleaved bugs

Saurabh Joshi‚ Shuvendu K. Lahiri and Akash Lal

In John Field and Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL 2012‚ Philadelphia‚ Pennsylvania‚ USA‚ January 22−28‚ 2012. Pages 19–30. ACM. 2012.

Details about Underspecified harnesses and interleaved bugs | BibTeX data for Underspecified harnesses and interleaved bugs | DOI (10.1145/2103656.2103662) | Link to Underspecified harnesses and interleaved bugs

A New Method of MHP Analysis for Languages with Dynamic Barriers

Saurabh Joshi‚ R. K. Shyamasundar and Sanjeev K. Aggarwal

In 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum‚ IPDPS 2012‚ Shanghai‚ China‚ May 21−25‚ 2012. Pages 519–528. IEEE Computer Society. 2012.

Details about A New Method of MHP Analysis for Languages with Dynamic Barriers | BibTeX data for A New Method of MHP Analysis for Languages with Dynamic Barriers | DOI (10.1109/IPDPSW.2012.70) | Link to A New Method of MHP Analysis for Languages with Dynamic Barriers

Distributed Generalized Dynamic Barrier Synchronization

Shivali Agarwal‚ Saurabh Joshi and Rudrapatna K. Shyamasundar

In Marcos Kawazoe Aguilera‚ Haifeng Yu‚ Nitin H. Vaidya‚ Vikram Srinivasan and Romit Roy Choudhury, editors, Distributed Computing and Networking − 12th International Conference‚ ICDCN 2011‚ Bangalore‚ India‚ January 2−5‚ 2011. Proceedings. Vol. 6522 of Lecture Notes in Computer Science. Pages 143–154. Springer. 2011.

Details about Distributed Generalized Dynamic Barrier Synchronization | BibTeX data for Distributed Generalized Dynamic Barrier Synchronization | DOI (10.1007/978-3-642-17679-1) | Link to Distributed Generalized Dynamic Barrier Synchronization

Reactivity in SystemC Transaction−Level Models

Frederic Doucet‚ R. K. Shyamasundar‚ Ingolf H. Krüger‚ Saurabh Joshi and Rajesh K. Gupta

In Karen Yorav, editor, Hardware and Software: Verification and Testing‚ Third International Haifa Verification Conference‚ HVC 2007‚ Haifa‚ Israel‚ October 23−25‚ 2007‚ Proceedings. Vol. 4899 of Lecture Notes in Computer Science. Pages 34–50. Springer. 2008.

Details about Reactivity in SystemC Transaction−Level Models | BibTeX data for Reactivity in SystemC Transaction−Level Models | DOI (10.1007/978-3-540-77966-7_7) | Link to Reactivity in SystemC Transaction−Level Models