TC:Small: Mining Operating System Semantics: Techniques and Applications

  • Yin, Heng (PI)

Project: Research project

Project Details

StatusFinished
Effective start/end date8/1/107/31/14

Funding

  • National Science Foundation
  • National Science Foundation