1 | \begin{table}[!h] |
---|

2 | \centering |
---|

3 | \begin{tabular}{|c|l|l|} |
---|

4 | \hline |
---|

5 | Time & Speaker & Title \\ |
---|

6 | \hline |
---|

7 | 09:00-09:30 & Claudio Sacerdoti Coen |
---|

8 | & Certified Complexity (CerCo) \\ |
---|

9 | |
---|

10 | 09:30-10:30 & Alessandra di Pierro |
---|

11 | & Probabilistic static analysis and security trade-offs \\ |
---|

12 | & (Joint talk with QAPL) & \\ |
---|

13 | |
---|

14 | 10:30-11:00 & Yann Régis-Gianas |
---|

15 | & Certifying and reasoning on cost annotations \\ |
---|

16 | & & \phantom{ }of imperative programs \\ |
---|

17 | |
---|

18 | \hline |
---|

19 | 11:00-11:30 & & break \\ |
---|

20 | \hline |
---|

21 | |
---|

22 | 11:30-12:00 & Paolo Tranquilli |
---|

23 | & Cost prediction for loop optimizations \\ |
---|

24 | & (Joint talk with QAPL) & \\ |
---|

25 | |
---|

26 | 12:00-12:30 & Björn Lisper |
---|

27 | & Parametric WCET Analysis \\ |
---|

28 | & (Invited talk) & \\ |
---|

29 | |
---|

30 | \hline |
---|

31 | 12:30-14:00 & & lunch \\ |
---|

32 | \hline |
---|

33 | |
---|

34 | 14:00-14:30 & François Bobot |
---|

35 | & Frama-C: an Extensible Software Analysis Framework \\ |
---|

36 | & & \phantom{ }Example of an Automatic Cost Annotation Plugin \\ |
---|

37 | |
---|

38 | 14:30-14:45 & Björn Lisper |
---|

39 | & The COST Action TACLe (Timing Analysis on Code-Level) \\ |
---|

40 | |
---|

41 | 14:45-15:30 & Tullio Vardanega |
---|

42 | & Probabilistic Time Analysis (PROARTIS) \\ |
---|

43 | |
---|

44 | \hline |
---|

45 | 15:30-16:00 & & break \\ |
---|

46 | \hline |
---|

47 | |
---|

48 | 16:00-16:15 & Gabriele Pulcini |
---|

49 | & Is source level cost prediction for \\ |
---|

50 | & & \phantom{ }pipelines and caches possible? \\ |
---|

51 | |
---|

52 | 16:15-17:00 & Round table |
---|

53 | & Should certified complexity meet \\ |
---|

54 | & & \phantom{ }probabilistic time analysis? \\ |
---|

55 | |
---|

56 | 17:00-17:30 & Claudio Sacerdoti Coen |
---|

57 | & Innovative techniques in timing analysis: \\ |
---|

58 | & Tullio Vardanega & \phantom{ }cost prediction on high level languages \\ |
---|

59 | & (Joint talk with QAPL) & \phantom{ }and probabilistic time analysis \\ |
---|

60 | |
---|

61 | 17:30-18:00 & Brian Campbell |
---|

62 | & A certified proof based on structured traces \\ |
---|

63 | & Paolo Tranquilli & \\ |
---|

64 | \hline |
---|

65 | \end{tabular} |
---|

66 | \caption{ETAPS Technical Day on Timing Analysis: programme 2013-03-23} |
---|

67 | \label{etaps:timetable} |
---|

68 | \end{table} |
---|

69 | |
---|