A trace simplification technique for effective debugging of concurrent programs

Nicholas Jalbert, Koushik Sen. A trace simplification technique for effective debugging of concurrent programs. In Gruia-Catalin Roman, Kevin J. Sullivan, editors, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. pages 57-66, ACM, 2010. [doi]

@inproceedings{JalbertS10,
  title = {A trace simplification technique for effective debugging of concurrent programs},
  author = {Nicholas Jalbert and Koushik Sen},
  year = {2010},
  doi = {10.1145/1882291.1882302},
  url = {http://doi.acm.org/10.1145/1882291.1882302},
  tags = {debugging},
  researchr = {https://researchr.org/publication/JalbertS10},
  cites = {0},
  citedby = {0},
  pages = {57-66},
  booktitle = {Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010},
  editor = {Gruia-Catalin Roman and Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-60558-791-2},
}