Verified Sequential Malloc/Free (ISMM 2020) - ISMM 2020

Write a Blog >>

Tue 16 Jun 2020

co-located with PLDI 2020

Who

Andrew W. Appel, David Naumann

Track

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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

When

Tue 16 Jun 2020 07:00 - 07:30 at ISMM live stream - Session 2A Chair(s): Stefano Markidis
Tue 16 Jun 2020 16:30 - 17:00 at ISMM live stream - Session 2B (Repeat of Session 2A) Chair(s): Po-An Tsai

Andrew W. Appel

Princeton

David Naumann

Stevens Institute of Technology

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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

Session Program

Tue 16 Jun
Displayed time zone: Pacific Time (US & Canada) change

	07:00 - 09:00	Session 2AISMM 2020 at ISMM live stream Chair(s): Stefano Markidis KTH Royal Institute of Technology

	07:00 30m Talk		Verified Sequential Malloc/Free ISMM 2020 Andrew W. Appel Princeton, David Naumann Stevens Institute of Technology
	07:30 30m Talk		Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages ISMM 2020 Ben Gamari Well-Typed LLP, Laura Dietz University of New Hampshire
	08:00 30m Talk		Understanding and Optimizing Persistent Memory Allocation ISMM 2020 Wentao Cai University of Rochester, Haosen Wen University of Rochester, H. Alan Beadle University of Rochester, Chris Kjellqvist University of Rochester, Mohammad Hedayati University of Rochester, Michael Scott University of Rochester
	08:30 30m Talk		Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories ISMM 2020 Shihao Song Drexel University, Anup Das Drexel University, Nagarajan Kandasamy Drexel University

	15:00 - 17:00	Session 2B (Repeat of Session 2A)ISMM 2020 at ISMM live stream Chair(s): Po-An Tsai NVIDIA

	15:00 30m Talk		Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories ISMM 2020 Shihao Song Drexel University, Anup Das Drexel University, Nagarajan Kandasamy Drexel University
	15:30 30m Talk		Understanding and Optimizing Persistent Memory Allocation ISMM 2020 Wentao Cai University of Rochester, Haosen Wen University of Rochester, H. Alan Beadle University of Rochester, Chris Kjellqvist University of Rochester, Mohammad Hedayati University of Rochester, Michael Scott University of Rochester
	16:00 30m Talk		Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages ISMM 2020 Ben Gamari Well-Typed LLP, Laura Dietz University of New Hampshire
	16:30 30m Talk		Verified Sequential Malloc/Free ISMM 2020 Andrew W. Appel Princeton, David Naumann Stevens Institute of Technology