Changes between Version 10 and Version 11 of HiPEAC13


Ignore:
Timestamp:
Jan 21, 2013, 11:22:05 AM (7 years ago)
Author:
campbell
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • HiPEAC13

    v10 v11  
    2626|| 15:15-16:00 || Dealing with loop optimizations and pipelines (Paolo Tranquilli) ||
    2727|| Break       || ||
    28 || 16:30-17:00 || Invited talk by Kevin Hammond ||
     28|| 16:30-17:00 || Invited talk by Kevin Hammond: Hume: a Functionally-based Domain Specific Language Targeting real-time Embedded Systems ||
    2929|| 17:00-17:30 || Certifying and reasoning on cost annotations of functional programs (Roberto Amadio) ||
    3030|| 17:30-18:00 || A certified proof based on structured traces (Brian Campbell) ||