VenueWestin Philadelphia
Room nameSRC
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 16 Jan

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

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

Click here for the video posters.

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
Danielle 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

Sun 16 Jan

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

Tue 18 Jan

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