Thursday, October 8, 2020

Thursday, October 8, 2020 — 2:00 PM EDT

Candidate: Jenny Xiang

Title: Type Checking and Whole-program Inference for Value and Interval Analysis

 

Date: October 8, 2020

Time: 2:00 PM

Place: Remote

Supervisor(s): Dietl, Werner

 

Abstract:

S M T W T F S
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  1. 2021 (1)
    1. January (1)
  2. 2020 (225)
    1. December (4)
    2. November (13)
    3. October (16)
    4. September (15)
    5. August (16)
    6. July (32)
    7. June (29)
    8. May (32)
    9. April (27)
    10. March (13)
    11. February (20)
    12. January (16)
  3. 2019 (282)
    1. December (16)
    2. November (32)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  4. 2018 (150)
  5. 2017 (212)
  6. 2016 (242)
  7. 2015 (242)
  8. 2014 (268)
  9. 2013 (192)
  10. 2012 (31)