@inproceedings{ dblp3110449,
  title = {Semantic Reduction of Thread Interleavings in Concurrent Programs},
  author = {Vineet Kahlon and Sriram Sankaranarayanan and Aarti Gupta},
  author_short = {Kahlon, V. and Sankaranarayanan, S. and Gupta, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp3110449},
  id = {dblp3110449},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/KahlonSG09},
  url = {http://dx.doi.org/10.1007/978-3-642-00768-2_12},
  conference = {TACAS},
  pages = {124-138},
  text = {TACAS 2009:124-138},
  booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}
}

{"_id":"Pyj8B6no94YYdaiLS","bibbaseid":"kahlon-sankaranarayanan-gupta-semanticreductionofthreadinterleavingsinconcurrentprograms-2009","downloads":0,"creationDate":"2015-10-19T18:43:42.384Z","title":"Semantic Reduction of Thread Interleavings in Concurrent Programs","author_short":["Kahlon, V.","Sankaranarayanan, S.","Gupta, A."],"year":2009,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/KahlonSG09","bibdata":{"title":"Semantic Reduction of Thread Interleavings in Concurrent Programs","author":["Vineet Kahlon","Sriram Sankaranarayanan","Aarti Gupta"],"author_short":["Kahlon, V.","Sankaranarayanan, S.","Gupta, A."],"bibtype":"inproceedings","type":"inproceedings","year":"2009","key":"dblp3110449","id":"dblp3110449","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/KahlonSG09","url":"http://dx.doi.org/10.1007/978-3-642-00768-2_12","conference":"TACAS","pages":"124-138","text":"TACAS 2009:124-138","booktitle":"Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)","bibtex":"@inproceedings{ dblp3110449,\n title = {Semantic Reduction of Thread Interleavings in Concurrent Programs},\n author = {Vineet Kahlon and Sriram Sankaranarayanan and Aarti Gupta},\n author_short = {Kahlon, V. and Sankaranarayanan, S. and Gupta, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2009},\n key = {dblp3110449},\n id = {dblp3110449},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/KahlonSG09},\n url = {http://dx.doi.org/10.1007/978-3-642-00768-2_12},\n conference = {TACAS},\n pages = {124-138},\n text = {TACAS 2009:124-138},\n booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}\n}","bibbaseid":"kahlon-sankaranarayanan-gupta-semanticreductionofthreadinterleavingsinconcurrentprograms-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-00768-2_12"},"downloads":0},"search_terms":["semantic","reduction","thread","interleavings","concurrent","programs","kahlon","sankaranarayanan","gupta"],"keywords":[],"authorIDs":[],"dataSources":["K8FTMnCGu5cgJjxKc"]}