|
7
|
8
|
9
4:15 p.m. - 5:45 p.m.
CS 201 | Verifying Array Programs Sans Loop Invariants, SUPRATIK CHAKRABORTY, Indian Institute of Technology | Mumbai
|
10
|
11
4:15 p.m. - 5:45 p.m.
CS 201 | Breaking Language Barriers with Massive Multilingual Machine Translation, LEI LI, UC Santa Barbara
|
12
|
13
|
