Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/issta/BradburySFJK12,
  author       = {Jeremy S. Bradbury and
                  Itai Segall and
                  Eitan Farchi and
                  Kevin Jalbert and
                  David Kelk},
  editor       = {Jeremy S. Bradbury and
                  Simone do R{\'{o}}cio Senger de Souza},
  title        = {Using combinatorial benchmark construction to improve the assessment
                  of concurrency bug detection tools},
  booktitle    = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
                  USA, July 16, 2012},
  pages        = {25--35},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2338967.2336812},
  doi          = {10.1145/2338967.2336812},
  timestamp    = {Tue, 16 Jan 2024 15:26:47 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/BradburySFJK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/FarchiSLS12,
  author       = {Eitan Farchi and
                  Itai Segall and
                  Jo{\~{a}}o Louren{\c{c}}o and
                  Diogo Sousa},
  editor       = {Jeremy S. Bradbury and
                  Simone do R{\'{o}}cio Senger de Souza},
  title        = {Using program closures to make an application programming interface
                  {(API)} implementation thread safe},
  booktitle    = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
                  USA, July 16, 2012},
  pages        = {18--24},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2338967.2336810},
  doi          = {10.1145/2338967.2336810},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/FarchiSLS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/FiedorV12,
  author       = {Jan Fiedor and
                  Tom{\'{a}}s Vojnar},
  editor       = {Jeremy S. Bradbury and
                  Simone do R{\'{o}}cio Senger de Souza},
  title        = {Noise-based testing and analysis of multi-threaded {C/C++} programs
                  on the binary level},
  booktitle    = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
                  USA, July 16, 2012},
  pages        = {36--46},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2338967.2336813},
  doi          = {10.1145/2338967.2336813},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/FiedorV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HaKTJ12,
  author       = {Ok{-}Kyoon Ha and
                  In{-}Bon Kuh and
                  Guy Martin Tchamgoue and
                  Yong{-}Kee Jun},
  editor       = {Jeremy S. Bradbury and
                  Simone do R{\'{o}}cio Senger de Souza},
  title        = {On-the-fly detection of data races in OpenMP programs},
  booktitle    = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
                  USA, July 16, 2012},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2338967.2336808},
  doi          = {10.1145/2338967.2336808},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/HaKTJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/NegishiMCWC12,
  author       = {Yasushi Negishi and
                  Hiroki Murata and
                  Guojing Cong and
                  Hui{-}Fang Wen and
                  I{-}Hsin Chung},
  editor       = {Jeremy S. Bradbury and
                  Simone do R{\'{o}}cio Senger de Souza},
  title        = {A static analysis tool using a three-step approach for data races
                  in {HPC} programs},
  booktitle    = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
                  USA, July 16, 2012},
  pages        = {11--17},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2338967.2336809},
  doi          = {10.1145/2338967.2336809},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/NegishiMCWC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issta/2012p,
  editor       = {Jeremy S. Bradbury and
                  Simone do R{\'{o}}cio Senger de Souza},
  title        = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
                  USA, July 16, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2338967},
  isbn         = {978-1-4503-1456-5},
  timestamp    = {Tue, 16 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/2012p.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}