Skip to main content

Saurabh Joshi : Publications

Click here to download all publications in a single bibtex file

@article{DBLP:journals/corr/JoshiK14a,
  title = "Property-Driven Fence Insertion using Reorder Bounded Model Checking",
  author = "Saurabh Joshi and Daniel Kroening",
  year = "2014",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1407.7443",
  volume = "abs/1407.7443",
}
@article{DBLP:journals/corr/0001L14,
  title = "Automatically finding atomic regions for fixing bugs in Concurrent programs",
  author = "Saurabh Joshi and Akash Lal",
  year = "2014",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1403.1749",
  volume = "abs/1403.1749",
}
@inproceedings{DBLP:conf/cp/MartinsJML14,
  title = "Incremental Cardinality Constraints for MaxSAT",
  author = "Ruben Martins and Saurabh Joshi and Vasco M. Manquinho and In{\^{e}}s Lynce",
  year = "2014",
  booktitle = "Principles and Practice of Constraint Programming - 20th International Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings",
  editor = "Barry O'Sullivan",
  isbn = "978-3-319-10427-0",
  pages = "531--548",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-319-10428-7",
  volume = "8656",
  doi = "10.1007/978-3-319-10428-7",
}
@inproceedings{DBLP:conf/popl/JoshiLL12,
  title = "Underspecified harnesses and interleaved bugs",
  author = "Saurabh Joshi and Shuvendu K. Lahiri and Akash Lal",
  year = "2012",
  booktitle = "Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012",
  editor = "John Field and Michael Hicks",
  isbn = "978-1-4503-1083-3",
  pages = "19--30",
  publisher = "{ACM}",
  url = "http://dl.acm.org/citation.cfm?id=2103656",
  doi = "10.1145/2103656.2103662",
}
@inproceedings{DBLP:conf/ipps/JoshiSA12,
  title = "A New Method of {MHP} Analysis for Languages with Dynamic Barriers",
  author = "Saurabh Joshi and R. K. Shyamasundar and Sanjeev K. Aggarwal",
  year = "2012",
  booktitle = "26th {IEEE} International Parallel and Distributed Processing Symposium Workshops {\&} PhD Forum, {IPDPS} 2012, Shanghai, China, May 21-25, 2012",
  isbn = "978-1-4673-0974-5",
  pages = "519--528",
  publisher = "{IEEE} Computer Society",
  url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6269389",
  doi = "10.1109/IPDPSW.2012.70",
}
@inproceedings{DBLP:conf/icdcn/AgarwalJS11,
  title = "Distributed Generalized Dynamic Barrier Synchronization",
  author = "Shivali Agarwal and Saurabh Joshi and Rudrapatna K. Shyamasundar",
  year = "2011",
  booktitle = "Distributed Computing and Networking - 12th International Conference, {ICDCN} 2011, Bangalore, India, January 2-5, 2011. Proceedings",
  editor = "Marcos Kawazoe Aguilera and Haifeng Yu and Nitin H. Vaidya and Vikram Srinivasan and Romit Roy Choudhury",
  isbn = "978-3-642-17678-4",
  pages = "143--154",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-17679-1",
  volume = "6522",
  doi = "10.1007/978-3-642-17679-1",
}
@inproceedings{DBLP:conf/hvc/DoucetSKJG07,
  title = "Reactivity in SystemC Transaction-Level Models",
  author = "Frederic Doucet and R. K. Shyamasundar and Ingolf H. Kr{\"{u}}ger and Saurabh Joshi and Rajesh K. Gupta",
  year = "2008",
  booktitle = "Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October 23-25, 2007, Proceedings",
  editor = "Karen Yorav",
  isbn = "978-3-540-77964-3",
  pages = "34--50",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-540-77966-7_7",
  volume = "4899",
  doi = "10.1007/978-3-540-77966-7_7",
}