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
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

ismm-2020
03:00 - 05:00: ISMM 2020 - Hallway Track at ISMM live stream
ismm-202004:30 - 05:00
Day opening
Martin MaasGoogle Research, Chen DingUniversity of Rochester
ismm-2020
05:00 - 07:00: ISMM 2020 - Session 1A at ISMM live stream
Chair(s): Erez PetrankTechnion, Israel
ismm-202005:00 - 05:30
Talk
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
ismm-202005:30 - 06:00
Talk
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
ismm-202006:00 - 06:30
Talk
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
ismm-202006:30 - 07:00
Talk
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
ismm-2020
07:00 - 09:00: ISMM 2020 - Session 2A at ISMM live stream
Chair(s): Stefano MarkidisKTH Royal Institute of Technology
ismm-202007:00 - 07:30
Talk
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
ismm-202007:30 - 08:00
Talk
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
ismm-202008:00 - 08:30
Talk
Wentao CaiUniversity of Rochester, Haosen WenUniversity of Rochester, H. Alan BeadleUniversity of Rochester, Chris KjellqvistUniversity of Rochester, Mohammad HedayatiUniversity of Rochester, Michael ScottUniversity of Rochester
ismm-202008:30 - 09:00
Talk
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
ismm-2020
09:00 - 11:00: ISMM 2020 - Session 1B (Repeat of Session 1A) at ISMM live stream
Chair(s): Ian RogersGoogle, USA
ismm-202009:00 - 09:30
Talk
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
ismm-202009:30 - 10:00
Talk
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
ismm-202010:00 - 10:30
Talk
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
ismm-202010:30 - 11:00
Talk
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
ismm-2020
11:00 - 13:00: ISMM 2020 - Keynote & Social Hour at ISMM live stream
Chair(s): Chen DingUniversity of Rochester, Martin MaasGoogle Research
ismm-202011:00 - 12:00
Talk
Richard JonesUniversity of Kent
ismm-202012:00 - 13:00
Social Event
ismm-2020
13:00 - 15:00: ISMM 2020 - Hallway Track at ISMM live stream
ismm-2020
15:00 - 17:00: ISMM 2020 - Session 2B (Repeat of Session 2A) at ISMM live stream
Chair(s): Po-An TsaiNVIDIA
ismm-202015:00 - 15:30
Talk
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
ismm-202015:30 - 16:00
Talk
Wentao CaiUniversity of Rochester, Haosen WenUniversity of Rochester, H. Alan BeadleUniversity of Rochester, Chris KjellqvistUniversity of Rochester, Mohammad HedayatiUniversity of Rochester, Michael ScottUniversity of Rochester
ismm-202016:00 - 16:30
Talk
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
ismm-202016:30 - 17:00
Talk
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
ismm-2020
17:00 - 19:00: ISMM 2020 - Hallway Track at ISMM live stream
ismm-202017:00 - 17:10
Day closing
Chen DingUniversity of Rochester, Martin MaasGoogle 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.