default search action
BibTeX record conf/sosp/LuPHMJLPZ07
@inproceedings{DBLP:conf/sosp/LuPHMJLPZ07, author = {Shan Lu and Soyeon Park and Chongfeng Hu and Xiao Ma and Weihang Jiang and Zhenmin Li and Raluca A. Popa and Yuanyuan Zhou}, editor = {Thomas C. Bressoud and M. Frans Kaashoek}, title = {{MUVI:} automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs}, booktitle = {Proceedings of the 21st {ACM} Symposium on Operating Systems Principles 2007, {SOSP} 2007, Stevenson, Washington, USA, October 14-17, 2007}, pages = {103--116}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1294261.1294272}, doi = {10.1145/1294261.1294272}, timestamp = {Wed, 08 Nov 2023 16:36:05 +0100}, biburl = {https://dblp.org/rec/conf/sosp/LuPHMJLPZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.