我系博士生施遥（指导教师郑纬民、陈文光）与我系EMC讲席教授组成员、美国加州大学圣迭戈分校（UCSD）周源源教授合作的论文"Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency Sequential Bugs”被计算机程序语言与软件工程顶级国际会议ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2010)录用。这是自OOPSLA于1986年创办以来，我国科研人员第二次在该会议发表论文。该论文提出了一种利用定值-使用不变量检测程序故障的新方法。