Tue 18 Jan 2022 15:20 - 15:35 at SRC - SRC Presentations

Tue 18 Jan

Displayed time zone: Eastern Time (US & Canada) change

15:05 - 16:35
SRC PresentationsStudent Research Competition at SRC

Click here for the video posters.

15:05
15m
Talk
Towards a Syntactic Model of Sized Dependent Types
Student Research Competition
Jonathan Chan University of British Columbia (UBC)
Media Attached
15:20
15m
Talk
Dependent-Type-Preserving Memory Allocation
Student Research Competition
Paulette Koronkevich University of British Columbia
15:35
15m
Talk
Linearity, Uniqueness, Ownership: An Entente Cordiale
Student Research Competition
Daniel Marshall University of Kent, UK
Media Attached
15:50
15m
Talk
CapableWasm: Bringing Better Interop Down to WebAssembly
Student Research Competition
16:05
15m
Talk
Filling a Niche: Using Spare Bits to Optimize Data Representations
Student Research Competition
16:20
15m
Talk
A Realizability Model for Interoperability Between Languages with Garbage-Collected and Manually Managed Memory
Student Research Competition
Noble Mushtak Northeastern University

Information for Participants
Tue 18 Jan 2022 15:05 - 16:35 at SRC - SRC Presentations
Info for session

Graduate Students

  • Jonathan Chan (University of British Columbia): Towards a Syntactic Model of Sized Dependent Types
  • Paulette Koronkevich (University of British Columbia): Dependent-Type-Preserving Memory Allocation
  • Daniel Marshall (University of Kent): Linearity, Uniqueness, Ownership: An Entente Cordiale

Undergraduate Students

  • Michael Fitzgibbons (Northeastern University): CapableWasm: Bringing Better Interop Down to WebAssembly
  • Noah Lev Bartell-Mangel (College of Marin): Filling a Niche: Using Spare Bits to Optimize Data Representations
  • Noble Mushtak (Northeastern University): A Realizability Model for Interoperability Between Languages with Garbage-Collected and Manually Managed Memory