ISMM Research Papers
Welcome to the 2017 ACM SIGPLAN International Symposium on Memory Management (ISMM).
Accepted Papers
Call for Papers
The International Symposium on Memory Management (ISMM 2017) is soliciting full-length submissions covering new work on memory management 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 allocation and de-allocation
- 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
- Empirical analysis of memory intensive programs
- Formal analysis and verification of memory intensive programs
- Memory system design and analysis
- Hardware support for memory management
- Memory management for new or non-traditional systems
- Novel memory architectures
- Memory management at datacenter and cloud scales
All papers must be submitted on-line in Portable Document Format (PDF). The submission site is at http://ismm17.hotcrp.com
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. Reviewers are not required to read appendices, so a paper should be intelligible without them. Supplemental or auxiliary materials are not accepted.
Submissions must be in English, formatted to print on US Letter (8.5 x 11 inches) paper, and no more than 10 pages (not including bibliography, excluding well marked appendices) in standard ACM SIGPLAN conference format: two columns, nine-point font (or larger) on a ten-point baseline (or larger), with columns 20pc (3.33in) wide and 54pc (9in) tall, and a column gutter of 2pc (0.33in). Detailed formatting guidelines are available at http://www.sigplan.org/Resources/Author/
Papers that violate the above guidelines will be rejected by the Program Chair.
All accepted papers will appear in the published proceedings.
Double-Blind Reviewing
The ISMM paper reviewing process is double blind: authors are not known to the reviewers and reviewers are not known to authors. This is to authors’ benefit, since research indicates that author anonymity reduces bias in reviewing. Authors are required to make reasonable efforts not to disclose their identities to reviewers. For example, authors should not attach names nor mention institution, research group, project name, etc. Authors should refer to projects and prior work in the third person, e.g. “the XYZ project” or work by “Author et al.”, as with discussion of all related work. Where necessary for flow, authors may add a footnote that a name is withheld for review. Paper drafts should not be made public to reduce the possibility of inadvertently revealing author identity to reviewers. Reviewers are honor-bound not to try to discover authors’ identities, which will be known only by the Program chair until the appropriate point in the Program Committee’s deliberations. Authors are required to declare known conflicts with members of the PC and ERC at submission time, as defined by SIGPLAN guidelines: http://www.sigplan.org/Resources/Policies/Review/
External Review Committee
ISMM 2017 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 end of March 2017 (see Important Dates), and will give the authors 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.
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 08:45 | |||
08:30 15mDay opening | Opening ISMM 2017 |
08:45 - 09:30 | |||
08:45 45mTalk | Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations ISMM 2017 |
09:30 - 10:30 | |||
09:30 30mTalk | NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications ISMM 2017 Rodrigo Bruno INESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi Oliveira Feedzai, A: Paulo Ferreira INESC-ID / Instituto Superior Técnico, University of Lisbon | ||
10:00 30mTalk | Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures ISMM 2017 |
11:00 - 12:30 | Session 2: Clever Data TricksISMM 2017 at Aula Master Chair(s): Michael D. Bond Ohio State University | ||
11:00 30mTalk | A Marshalled Data Format for Pointers in Relocatable Data Blocks ISMM 2017 | ||
11:30 30mTalk | Flexible and Efficient Memory Object Metadata ISMM 2017 Zhengyang Liu Beijing University of Posts and Telecommunications, John Criswell University of Rochester | ||
12:00 30mTalk | Shadow State Encoding for Efficient Monitoring of Block-level Properties ISMM 2017 |
14:00 - 15:30 | |||
14:00 30mTalk | Analyzing Memory Management Methods on Integrated CPU-GPU Systems ISMM 2017 | ||
14:30 30mTalk | Continuous Checkpointing of HTM Transactions in NVM ISMM 2017 | ||
15:00 30mTalk | RTHMS: A Tool for Data Placement on Hybrid Memory System ISMM 2017 Ivy Bo Peng KTH Royal Institute of Technology, Roberto Gioiosa Pacific Northwest National Laboratory, Gokcen Kestor Pacific Northwest National Laboratory, Stefano Markidis KTH Royal Institute of Technology, Pietro Cicotti San Diego Supercomputer Center, Erwin Laure KTH Royal Institute of Technology |
16:00 - 17:30 | Session 4: A Deeper LookISMM 2017 at Aula Master Chair(s): Steve Blackburn Australian National University | ||
16:00 30mTalk | "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis ISMM 2017 | ||
16:30 30mTalk | A Refinement Hierarchy for Free List Memory Allocators ISMM 2017 Bin Fang East China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France | ||
17:00 30mTalk | Avoiding Consistency Exceptions Under Strong Memory Consistency Models ISMM 2017 Minjia Zhang Microsoft Research, Swarnendu Biswas University of Texas at Austin, Michael D. Bond Ohio State University |