Click here for the video posters.
Graduate Student Participants Jonathan Chan (University of British Columbia) Tianyu Chen (Indiana University) Parisa Fathololumi (Stevens Institute of Technology) Eleftherios Ioannidis (University of Pennsylvania) Paulette Koronkevich (University of British Columbia) Daniel Marshall (University of Kent) Noam Zilberstein (Cornell University) Undergraduate Student Participants Michael Fitzgibbons (Northeastern University) Noah Lev Bartell-Mangel (College of Marin) Noble Mushtak (Northeastern University) Kris Satya (Georgia Institute of Technology)
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