Skip to main content
USENIX
  • Conferences
  • Students
Sign in

connect with us


  •  Twitter
  •  Facebook
  •  LinkedIn
  •  Google+
  •  YouTube

twitter

Tweets by @usenix

usenix conference policies

  • Event Code of Conduct
  • Conference Network Policy
  • Statement on Environmental Responsibility Policy

You are here

Home » Finding Concurrency Errors in Sequential Code—OS-level, In-vivo Model Checking of Process Races
Tweet

connect with us

Finding Concurrency Errors in Sequential Code—OS-level, In-vivo Model Checking of Process Races

Abstract: 

Oren Laadan, Columbia University

Chia-Che Tsai, Columbia University

Nicolas Viennot, Columbia University

Chris Blinn, Columbia University

Peter Senyao Du, Columbia University

Jason Nieh, Columbia University

BibTeX
@inproceedings {266892,
author = {Oren Laadan and Chia-che Tsai and Nicolas Viennot and Chris Blinn and Peter Senyao Du and Jason Nieh},
title = {Finding Concurrency Errors in Sequential {Code{\textemdash}OS-level}, In-vivo Model Checking of Process Races},
booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)},
year = {2011},
address = {Napa, CA},
url = {https://www.usenix.org/conference/hotosxiii/finding-concurrency-errors-sequential-code{\textemdash}os-level-vivo-model-checking-process},
publisher = {USENIX Association},
month = may,
}
Download

Links

Paper: 
http://www.usenix.org/events/hotos11/tech/final_files/Laadan.pdf
Paper (HTML): 
http://www.usenix.org/events/hotos11/tech/techAbstracts.html#Laadan
Slides: 
http://www.usenix.org/events/hotos11/tech/slides/laadan.pdf

© USENIX

  • Privacy Policy
  • Contact Us