PhD Seminar • Programming Languages — Persistent Union-Find for Efficient Type EnvironmentsExport this event to calendar

Monday, October 29, 2018 1:30 PM EDT

Aaron Moss, PhD candidate
David R. Cheriton School of Computer Science

The type environment is a core data structure for a programming language compiler, required to support a variety of queries and updates efficiently in the context of a backtracking search. This seminar discusses the requirements for the type environment data structure in the compiler for the Cforall programming language currently under development and Waterloo, and how those requirements were met efficiently by using some novel variations on the classic union-find data structure.

Location 
DC - William G. Davis Computer Research Centre
2310
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
25
26
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
2
3
4
5
  1. 2024 (98)
    1. April (21)
    2. March (27)
    3. February (25)
    4. 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)