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