SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

Fonseca, Pedro; Rodrigues, Rodrigo; Brandenburg, Björn

Local TagsRelease HistoryDetailsSummary

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

Fonseca, P., Rodrigues, R., & Brandenburg, B. (2014). SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation. Berkeley, CA: USENIX Association.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-A484-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-A486-2

Genre: Conference Paper

Latex : SKI: {E}xposing Kernel Concurrency Bugs through Systematic Schedule Exploration

Files

show Files

Locators

show

Creators

show

hide

Creators:
Fonseca, Pedro¹, Author
Rodrigues, Rodrigo², Author
Brandenburg, Björn¹, Author

Affiliations:
1Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105285
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s):

Dates: Published Online: 2014Date issued: 2014

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: FonsecaOSDI2014

Degree: -

Event

show

hide

Title: 11th USENIX Symposium on Operating Systems Design and Implementation

Place of Event: Broomfield, CO, USA

Start-/End Date: 2014-10-06 - 2014-10-08

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation

Abbreviation : OSDI 2014

Subtitle : (OSDI ’14) ; October 6–8, 2014, Broomfield, CO

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Berkeley, CA : USENIX Association

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: ISBN: 978-1-931971-16 - 4