Write a Blog >>
ISMM 2020
Tue 16 Jun 2020
co-located with PLDI 2020

Welcome to the 2020 ACM SIGPLAN International Symposium on Memory Management (ISMM). ISMM is a premier forum for research in memory management and solicits papers from areas including but not limited to:

  • Memory system design and analysis
  • Hardware support for memory management
  • Memory management for large-scale data-intensive systems
  • Novel memory architectures
  • Memory management at datacenter and cloud scales
  • Garbage Collection algorithms and implementations
  • Formal analysis and verification of memory management algorithms
  • Compiler analyses to aid memory management
  • Tools to analyze memory usage of programs
  • Memory allocation and de-allocation
  • Empirical analysis of memory intensive programs
  • Formal analysis and verification of memory intensive programs
  • Memory management for machine learning systems

See the Call for Papers for more details.

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

Tue 16 Jun

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

03:00 - 05:00
Hallway TrackISMM 2020 at ISMM live stream
04:30
30m
Day opening
Welcome from the Chairs & Conference Report
ISMM 2020
Martin Maas Google Research, Chen Ding University of Rochester
05:00 - 07:00
Session 1AISMM 2020 at ISMM live stream
Chair(s): Erez Petrank Technion, Israel
05:00
30m
Talk
Garbage Collection Using a Finite Liveness Domain
ISMM 2020
Aman Bansal IIT Bombay, India, Saksham Goel Indian Institute of Technology, Bombay, Preey Shah IIT Bombay, India, Amitabha Sanyal IIT Bombay, Prasanna Kumar IIT Bombay
05:30
30m
Talk
Prefetching in Functional Languages
ISMM 2020
Sam Ainsworth University of Edinburgh, Timothy M. Jones University of Cambridge, UK
Link to publication DOI Media Attached
06:00
30m
Talk
Improving Phase Change Memory Performance with Data Content Aware Access
ISMM 2020
Shihao Song Drexel University, Anup Das Drexel University, Onur Mutlu ETH Zurich, Nagarajan Kandasamy Drexel University
06:30
30m
Talk
ThinGC: Complete Isolation With Marginal Overhead
ISMM 2020
Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Jesper Wilhelmsson Oracle, Hanna Nyblom KTH, Tobias Wrigstad Uppsala University, Sweden
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
09:00 - 11:00
Session 1B (Repeat of Session 1A)ISMM 2020 at ISMM live stream
Chair(s): Ian Rogers Google, USA
09:00
30m
Talk
Prefetching in Functional Languages
ISMM 2020
Sam Ainsworth University of Edinburgh, Timothy M. Jones University of Cambridge, UK
Link to publication DOI Media Attached
09:30
30m
Talk
Garbage Collection Using a Finite Liveness Domain
ISMM 2020
Aman Bansal IIT Bombay, India, Saksham Goel Indian Institute of Technology, Bombay, Preey Shah IIT Bombay, India, Amitabha Sanyal IIT Bombay, Prasanna Kumar IIT Bombay
10:00
30m
Talk
ThinGC: Complete Isolation With Marginal Overhead
ISMM 2020
Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Jesper Wilhelmsson Oracle, Hanna Nyblom KTH, Tobias Wrigstad Uppsala University, Sweden
10:30
30m
Talk
Improving Phase Change Memory Performance with Data Content Aware Access
ISMM 2020
Shihao Song Drexel University, Anup Das Drexel University, Onur Mutlu ETH Zurich, Nagarajan Kandasamy Drexel University
11:00 - 13:00
Keynote & Social HourISMM 2020 at ISMM live stream
Chair(s): Chen Ding University of Rochester, Martin Maas Google Research
11:00
60m
Talk
Keynote: Richard Jones
ISMM 2020
Richard Jones University of Kent
12:00
60m
Social Event
Social Hour
ISMM 2020

13:00 - 15:00
Hallway TrackISMM 2020 at ISMM live stream
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
17:00 - 19:00
Hallway TrackISMM 2020 at ISMM live stream
17:00
10m
Day closing
Closing Remarks
ISMM 2020
Chen Ding University of Rochester, Martin Maas Google Research

Call for Papers

The ACM SIGPLAN International Symposium on Memory Management (ISMM 2020) is soliciting full-length submissions covering new work on all memory management related topics, as well as papers presenting confirmations or refutations of important prior results. Surveys and comparative analyses that shed new light on previously published techniques are also welcome.

Areas of interest include but are not limited to:

  • Memory system design and analysis
  • Hardware support for memory management
  • Memory management for large-scale data-intensive systems
  • Novel memory architectures
  • Memory management at datacenter and cloud scales
  • Garbage Collection algorithms and implementations
  • Formal analysis and verification of memory management algorithms
  • Compiler analyses to aid memory management
  • Tools to analyze memory usage of programs
  • Memory allocation and de-allocation
  • Empirical analysis of memory intensive programs
  • Formal analysis and verification of memory intensive programs
  • Memory management for machine learning systems
  • Programming and management of emerging or persistent memories

All papers must be submitted on-line in Portable Document Format (PDF).

The submission site is at http://ismm2020.hotcrp.com.

Organizers:

  • General Chair: Chen Ding (University of Rochester, United States)
  • Program Chair: Martin Maas (Google Research, United States)

Program Committee:

  • Sara Baghsorkhi (Intel Labs, United States)
  • Steve Blackburn (Australian National University, Australia)
  • Brian Demsky (University of California at Irvine, United States)
  • Tim Harris (Amazon, United Kingdom)
  • Wessam Hassanein (Google, United States)
  • Richard Jones (University of Kent, United Kingdom)
  • Christos Kotselidis (KTM Innovation / The University of Manchester, United Kingdom)
  • Stefano Markidis (KTH Royal Institute of Technology, Sweden)
  • Erez Petrank (Technion, Israel)
  • Maoni Stephens (Microsoft, United States)
  • Po-An Tsai (NVIDIA, United States)
  • Xi Yang (University of Sydney, Australia)

External Review Committee:

  • Ting Cao (Microsoft Research, China)
  • Xiaochen Guo (Lehigh University, United States)
  • Matthew Hertz (University at Buffalo, United States)
  • Sang-Hoon Kim (Ajou University, South Korea)
  • Philip Reames (Azul Systems, United States)
  • Ian Rogers (Google, United States)

Evaluation Criteria and Process

The Program Committee (PC) and External Review Committee (ERC) will read submissions and judge them on scientific merit, innovation, readability, and relevance. Papers previously published or already being reviewed by another conference are not eligible. If a closely related paper has been submitted elsewhere, the authors must notify the Program Chair as per the SIGPLAN republication policy. Papers should be self-contained.

Formatting Instructions

The formatting instructions will follow the PLDI 2020 guidelines. Information about the required SIGPLAN template can be found here. Submissions must use a 10pt font and be at most 12 pages in length, excluding bibliography. Papers that exceed the length requirement or deviate from the expected format will be rejected.

Double-Blind Reviewing

ISMM uses double-blind reviewing. This means that author names and affiliations must be omitted from the submission. Additionally, if the submission refers to prior work done by the authors, that reference should be made in third person. These are firm submission requirements. Any supplementary material must also be anonymized.

PLDI’s FAQ on Double-Blind Reviewing clarifies the policy for the most common scenarios. But there are many gray areas and trade-offs. If you have any doubts about how to interpret the double blind rules, please contact the Program Chair. Overestimate the need to contact the Program Chair for complex cases that are not fully covered by the FAQ.

Declaring Conflicts

When submitting the paper, you will need to declare potential conflicts. Conflicts should be declared between an adviser and an advisee (e.g., Ph.D., post-doc). Other conflicts include institutional conflicts, financial conflicts of interest, friends or relatives, or any recent co-authors on papers and proposals (last 2 years).

Please do not declare spurious conflicts: such incorrect conflicts are especially harmful if the aim is to exclude potential reviewers, so spurious conflicts can be grounds for rejection. If you are unsure about a conflict, please consult the Program Chair.

External Review Committee

ISMM 2020 follows the practice introduced at earlier instances of ISMM of using a separate External Review Committee as part of the reviewing process. The ERC complements the Program Committee by providing a broader and deeper pool from which to draw expert reviews. The same reviewing standards apply to the ERC as for the PC. However, ERC members review fewer papers and do not participate in the PC meeting. ERC members review and decide acceptance for submissions by PC members. This approach should be more practical with double-blind reviewing than ad hoc expert review assignments as used by a number of conferences. The formal selection process, transparency of its constituency, and the fact that each reviewer will review multiple papers should increase the quality and accountability of reviews as compared to traditional ad hoc expert review assignments.

Rebuttal

The rebuttal process will occur in early April 2020 (see Important Dates), and will give the authors an opportunity to respond to factual errors in reviews before the Program Committee meets to make its decisions. The committee may, but need not, respond to rebuttals or revise reviews at or after the committee meeting.

Acknowledgements

This call-for-papers is an adaptation and evolution of content from previous instances of ISMM and PLDI. We are grateful to prior organizers for their work, which is reused here.