2007 Best Student Paper of the Year
The department has announced that the 2007 Best Student Paper of the Year was Interval-Based Timing Constraints: Their Satisfactions and Applications, by Yue Yu, Prof. Shangping Ren, and Prof. Ophir Frieder. The paper addresses an important problem in development of provably correct time-critical systems, explicating a number of key properties of the recent interval-based timing constraint model. The article is scheduled for publication in IEEE Transactions on Computers, a well-known and prestigious journal, indicating the high quality of the work.posted: