Saurabh Joshi
Selected 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