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.
Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change
03:00 - 05:00 | |||
04:30 30mDay opening | Welcome from the Chairs & Conference Report ISMM 2020 |
05:00 - 07:00 | |||
05:00 30mTalk | 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 30mTalk | Prefetching in Functional Languages ISMM 2020 Link to publication DOI Media Attached | ||
06:00 30mTalk | 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 30mTalk | 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 30mTalk | Verified Sequential Malloc/Free ISMM 2020 | ||
07:30 30mTalk | Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages ISMM 2020 | ||
08:00 30mTalk | 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 30mTalk | Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories ISMM 2020 |
09:00 - 11:00 | |||
09:00 30mTalk | Prefetching in Functional Languages ISMM 2020 Link to publication DOI Media Attached | ||
09:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 60mTalk | Keynote: Richard Jones ISMM 2020 Richard Jones University of Kent | ||
12:00 60mSocial Event | Social Hour ISMM 2020 |
13:00 - 15:00 | |||
15:00 - 17:00 | |||
15:00 30mTalk | Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories ISMM 2020 | ||
15:30 30mTalk | 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 30mTalk | Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages ISMM 2020 | ||
16:30 30mTalk | Verified Sequential Malloc/Free ISMM 2020 |
17:00 - 19:00 | |||
17:00 10mDay closing | Closing Remarks ISMM 2020 |
Accepted Papers
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.