CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

@ Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2014


Publisher: Usenix Association ( United States )


Date: 2014


Authors:

    Pedro Fonseca (Max Planck Institute for Software Systems), Rodrigo Rodrigues, Bjoern Brandenburg (Max Planck Institute for Software Systems)
File Bottom