Conference paperModeling and simulating flash based solid-state disks for operating systemsKaoutar El Maghraoui, Gokul Kandiraju, et al.WOSP/SIPEW 2010
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperMeasurement, modeling, and analysis of internet video sharing site workload: A case studyXiaozhu Kang, Hui Zhang, et al.ICWS 2008