Tue 18 Jan 2022 15:20 - 15:35 at SRC - SRC Presentations
Tue 18 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 18 Jan
Displayed time zone: Eastern Time (US & Canada) change
15:05 - 16:35 | |||
15:05 15mTalk | Towards a Syntactic Model of Sized Dependent Types Student Research Competition Jonathan Chan University of British Columbia (UBC) Media Attached | ||
15:20 15mTalk | Dependent-Type-Preserving Memory Allocation Student Research Competition Paulette Koronkevich University of British Columbia | ||
15:35 15mTalk | Linearity, Uniqueness, Ownership: An Entente Cordiale Student Research Competition Danielle Marshall University of Kent, UK Media Attached | ||
15:50 15mTalk | CapableWasm: Bringing Better Interop Down to WebAssembly Student Research Competition | ||
16:05 15mTalk | Filling a Niche: Using Spare Bits to Optimize Data Representations Student Research Competition | ||
16:20 15mTalk | 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
