王俊 （NTFS文件快速搜索工具的设计与实现）	王利爽 （无锁散列表LFHash的正确性证明）	李超 (基于Web的股票技术分析系统的设计与实现)
魏学凌 (一种数组程序设计语言的设计与实现)	孙静 (并发链表的性能比较)	姚仁贵 (JSON数据转换工具的设计与实现)
郝鸣飞 (金融时间序列数据存储管理系统的设计与实现)

序号	题目	难度	计划接收人数	题目描述
1	并发链表的性能比较	A	1	Practical Non-blocking Unordered Lists
2	股票技术分析系统的设计与实现	C	1	Technical analysis software
3	文件快速搜索工具的设计与实现	D	1	Everything Search Engine
4	数组程序设计语言的设计与实现	B	1	Array programming languages
5	JSON数据转换工具的设计与实现	D	1	JSON

难度	含义
A	前沿研究课题，问题能够解决，需要一定的创新能力
B	较难的问题，问题已经有人解决，需要付出很大的努力
C	中等难度的问题，需要付出努力
D	一般性的问题，认真地去做就能完成
E	这个难度的题目很容易完成，你要做的就是抵制抄袭的冲动

        在2013年度，我一共指导了5名同学的毕业设计，他们是 艾力夏提·阿力木、李鹏飞、苏浩、张春松、朱海龙。最后4人毕业设计成绩为良，1人毕业设计成绩为中。（更多的信息）

序号	题目	难度	计划接收人数	实际接收人数	结果
1	并发链表的正确性证明	A	1	2	题目变为两个：无锁链表LFList的正确性证明；并发链表Lazylist的正确性证明。