BibTeX record conf/oopsla/HuangZ12

download as .bib file

@inproceedings{DBLP:conf/oopsla/HuangZ12,
  author       = {Jeff Huang and
                  Charles Zhang},
  editor       = {Gary T. Leavens and
                  Matthew B. Dwyer},
  title        = {{LEAN:} simplifying concurrency bug reproduction via replay-supported
                  execution reduction},
  booktitle    = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
                  part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages        = {451--466},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384616.2384649},
  doi          = {10.1145/2384616.2384649},
  timestamp    = {Wed, 10 Apr 2024 21:01:58 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/HuangZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics