Friday, November 1, 2019 — 10:30 AM EDT

Amira Ghenai, PhD candidate
David R. Cheriton School of Computer Science

Monday, November 11, 2019 — 1:30 PM EST

Marianna Rapoport, PhD candidate
David R. Cheriton School of Computer Science

The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's 

Friday, December 6, 2019 — 2:00 PM EST

Priyank Jaini, PhD candidate
David R. Cheriton School of Computer Science

S M T W T F S
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
2
  1. 2019 (212)
    1. December (1)
    2. November (4)
    3. October (14)
    4. September (20)
    5. August (18)
    6. July (12)
    7. June (23)
    8. May (23)
    9. April (32)
    10. March (25)
    11. February (16)
    12. January (24)
  2. 2018 (220)
    1. December (16)
    2. November (19)
    3. October (26)
    4. September (22)
    5. August (17)
    6. July (20)
    7. June (13)
    8. May (25)
    9. April (34)
    10. March (24)
    11. February (3)
    12. January (1)
  3. 2017 (36)
  4. 2016 (21)
  5. 2015 (36)
  6. 2014 (33)
  7. 2013 (23)
  8. 2012 (4)
  9. 2011 (1)
  10. 2010 (1)
  11. 2009 (1)
  12. 2008 (1)