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", }