Linearity, Uniqueness, Ownership: An Entente Cordiale (POPL 2022 - Student Research Competition)

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Track

POPL 2022 Student Research Competition

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Linearity, Uniqueness, Ownership: An Entente Cordiale

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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 Michael Fitzgibbons
16:05 15m Talk		Filling a Niche: Using Spare Bits to Optimize Data Representations Student Research Competition Noah Lev Bartell-Mangel
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