Saurabh Joshi : Publications

Journal papers

• [1]

  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

• [2]

  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

Conference papers

• [1]

  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

• [2]

  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

• [3]

  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

• [4]

  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

• [5]

  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