Semantic Reduction of Thread Interleavings in Concurrent Programs. Kahlon, V., Sankaranarayanan, S., & Gupta, A. In Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS), pages 124-138, 2009.
Paper bibtex @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)}
}
Downloads: 0
{"_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"]}