Wednesday, February 7, 2024

Wednesday, February 7, 2024 — 9:00 AM to 10:00 AM EST

Please note: This PhD seminar will take place online.

Ruixue Zhang, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Ming Li

Wednesday, February 7, 2024 — 10:30 AM to 11:30 AM EST

Please note: This seminar will take place in DC 1304.

Dinghuai Zhang, PhD candidate
Mila

Advancements in scientific discovery have always been at the forefront of human endeavor, particularly in complex domains such as molecule synthesis. The intrinsic challenges in these fields stem from two main factors: the vast and combinatorially complex high-dimensional search spaces, and the costly evaluation of scientific hypotheses. Therefore, leveraging machine learning offers a promising avenue to expedite the scientific discovery process.

Wednesday, February 7, 2024 — 12:30 PM to 1:30 PM EST

Please note: This PhD seminar will take place online.

Nandan Thakur, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Jimmy Lin

Wednesday, February 7, 2024 — 2:00 PM to 3:00 PM EST

Please note: This PhD seminar will take place in DC 3317.

Edward Lee, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Ondřej Lhoták

Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable tracking such information in types, but at the cost of complicating signatures of common functions. Capabilities coupled with escape analysis offer safety and natural signatures, but are often overly coarse grained and restrictive.

S M T W T F S
31
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
1
2
3
4
  1. 2024 (143)
    1. June (4)
    2. May (21)
    3. April (41)
    4. March (27)
    5. February (25)
    6. January (25)
  2. 2023 (296)
    1. December (20)
    2. November (28)
    3. October (15)
    4. September (25)
    5. August (30)
    6. July (30)
    7. June (22)
    8. May (23)
    9. April (32)
    10. March (31)
    11. February (18)
    12. January (22)
  3. 2022 (245)
  4. 2021 (210)
  5. 2020 (217)
  6. 2019 (255)
  7. 2018 (217)
  8. 2017 (36)
  9. 2016 (21)
  10. 2015 (36)
  11. 2014 (33)
  12. 2013 (23)
  13. 2012 (4)
  14. 2011 (1)
  15. 2010 (1)
  16. 2009 (1)
  17. 2008 (1)