ESWEEK'13 Best Paper Awards
CASES 2013 Best Paper Award
"ILPc: A Novel Approach for Scalable Timing Analysis of Synchronous Programs"
Jia Jie Wang, Partha Roop and Sidharta Andalam
CODES+ISSS 2013 Best Paper Award
"Improving Polyhedral Code Generation for High-Level Synthesis"
Wei Zuo, Peng Li, Deming Chen, Louis-Noel Pouchet, Shunan Zhong and Jason Cong
EMSOFT 2013 Best Paper Award
"Safety Verification for Linear Systems"
Sridhar Duggirala and Ashish Tiwari