Project

General

Profile

Skype Meeting 06092016 » History » Version 9

Sepideh Asadi, 06/09/2016 21:52

1 2 Sepideh Asadi
h1. Skype Meeting 06092016
2 3 Sepideh Asadi
3 4 Sepideh Asadi
*Updates of current tasks:*
4 3 Sepideh Asadi
5 6 Sepideh Asadi
Antti: 
6 3 Sepideh Asadi
7 9 Sepideh Asadi
Karine: is working on new version of CBMC- and refinement.
8 3 Sepideh Asadi
9 7 Sepideh Asadi
Sepideh: 
10 1 Sepideh Asadi
11 7 Sepideh Asadi
12 7 Sepideh Asadi
13 8 Sepideh Asadi
=========================================
14 8 Sepideh Asadi
15 3 Sepideh Asadi
*Things we agreed to do this week:*
16 1 Sepideh Asadi
17 9 Sepideh Asadi
18 6 Sepideh Asadi
Antti: Uploaded the benchmark of Milano guys, FABRIZIO PASTORE,(also will upload more)
19 3 Sepideh Asadi
20 3 Sepideh Asadi
21 3 Sepideh Asadi
Karine:
22 1 Sepideh Asadi
23 9 Sepideh Asadi
24 6 Sepideh Asadi
Sepideh:
25 1 Sepideh Asadi
1) We need to know how consistent the results of experiment are, so Sepideh will prepare Scatter plot, and compare the results.
26 6 Sepideh Asadi
2) she will do experiment on Milano guys' benchmark.
27 9 Sepideh Asadi
3) benchmarking the OpenSMT2 incrementality implementation 
28 7 Sepideh Asadi
29 7 Sepideh Asadi
--------------
30 7 Sepideh Asadi
We need to have proper benchmark for interpolation.