Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

ACM SIGPLAN via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a conference talk from PLDI 2023 that addresses a critical issue in garbage collection safety for region-based type-polymorphic programs. Delve into Martin Elsman's presentation on the challenges of combining region inference with reference-tracing garbage collection in higher-order polymorphic programs. Learn about the soundness problem identified in existing theoretical developments and its practical implications. Discover the proposed solution: a modified region type-system that captures garbage-collection effects, even for polymorphic higher-order code. Understand how this new approach simplifies function region type-schemes, enables the combination of region-based memory management with partly tag-free reference-tracing garbage collection, and rectifies previously derived work based on erroneous published results. Gain insights into the implications for region inference and region-representation analyses in light of this new type system.

Syllabus

[PLDI'23] Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

Taught by

ACM SIGPLAN

Reviews

Start your review of Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.