도구 개발
- 파일 시스템 확장성 분석 벤치마크 개발 (FxMark)
- 멀티큐 기반 고속 저장장치 에뮬레이터(Ramdisk_MQ)
- 블록 계층 분석기(blk_mq_analyzer)
- 영구메모리 응용의 쓰기 증폭 측정 도구(pmperf)
- CPU idle 상태 추적 도구(Dark insight)
- 파일 시스템 정확성 교차 검증 도구 개발(Juxta)
- 리눅스 파일 시스템의 시맨틱 버그 탐지 도구(HYDRA)
- 데이터 레이스 탐지 도구(Krace)
- 더블페치 버그 탐지 도구 개발(Deadline)
- 프로그램 인터페이스 오류 탐지 도구(APISan)
- 초기화되지 않은 변수로 인한 버그 탐지 도구(UniSan)
- 인텔 메모리 보호키 지원 라이브러리 개발 (libmpk)