source: Deliverables/D6.4-6.5/etaps.ltx @ 3225

Last change on this file since 3225 was 3192, checked in by sacerdot, 7 years ago

...

File size: 1.8 KB
Line 
1\begin{table}[!h]
2  \centering
3  \begin{tabular}{|c|l|l|}
4    \hline
5    Time & Speaker & Title \\
6    \hline
709:00-09:30 &   Claudio Sacerdoti Coen
8& Certified Complexity (CerCo) \\
9
1009:30-10:30 &   Alessandra di Pierro
11& Probabilistic static analysis and security trade-offs \\
12&  (Joint talk with QAPL) & \\
13
1410:30-11:00 &   Yann Régis-Gianas
15& Certifying and reasoning on cost annotations \\ 
16& & \phantom{     }of imperative programs \\
17
18\hline
1911:00-11:30 &   & break \\
20\hline
21
2211:30-12:00 &   Paolo Tranquilli
23& Cost prediction for loop optimizations \\
24&  (Joint talk with QAPL) & \\
25
2612:00-12:30 &   Björn Lisper
27& Parametric WCET Analysis \\
28&  (Invited talk) & \\
29
30\hline
3112:30-14:00 &   & lunch \\
32\hline
33
3414:00-14:30 &   François Bobot
35& Frama-C: an Extensible Software Analysis Framework \\
36& & \phantom{     }Example of an Automatic Cost Annotation Plugin \\
37
3814:30-14:45 &   Björn Lisper
39& The COST Action TACLe (Timing Analysis on Code-Level) \\
40
4114:45-15:30 &   Tullio Vardanega
42& Probabilistic Time Analysis (PROARTIS) \\
43
44\hline
4515:30-16:00 &   & break \\
46\hline
47
4816:00-16:15 &   Gabriele Pulcini
49& Is source level cost prediction for \\
50& & \phantom{     }pipelines and caches possible? \\
51
5216:15-17:00 &   Round table
53& Should certified complexity meet \\
54& & \phantom{     }probabilistic time analysis? \\
55
5617: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
6117: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
Note: See TracBrowser for help on using the repository browser.