ISMM 2017 – Author Index

B C D F G K L M O P S V W Y Z

	Biswas, Swarnendu	ISMM '17: "Avoiding Consistency Exceptions ..." Avoiding Consistency Exceptions Under Strong Memory Models Minjia Zhang, Swarnendu Biswas, and Michael D. Bond (Microsoft Research, USA; University of Texas at Austin, USA; Ohio State University, USA) @InProceedings{ISMM17p143, author = {Minjia Zhang and Swarnendu Biswas and Michael D. Bond}, title = {Avoiding Consistency Exceptions Under Strong Memory Models}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2017}, } Article: ismm17main-main16-p (type: Full Paper) doi:
	Bond, Michael D.	ISMM '17: "Avoiding Consistency Exceptions ..." Avoiding Consistency Exceptions Under Strong Memory Models Minjia Zhang, Swarnendu Biswas, and Michael D. Bond (Microsoft Research, USA; University of Texas at Austin, USA; Ohio State University, USA) @InProceedings{ISMM17p143, author = {Minjia Zhang and Swarnendu Biswas and Michael D. Bond}, title = {Avoiding Consistency Exceptions Under Strong Memory Models}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2017}, } Article: ismm17main-main16-p (type: Full Paper) doi:
	Bruno, Rodrigo	ISMM '17: "NG2C: Pretenuring Garbage ..." NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications Rodrigo Bruno, Luís Picciochi Oliveira, and Paulo Ferreira (INESC-ID, Portugal; University of Lisbon, Portugal; Feedzai, Portugal) @InProceedings{ISMM17p13, author = {Rodrigo Bruno and Luís Picciochi Oliveira and Paulo Ferreira}, title = {NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: ismm17main-main18-p (type: Full Paper) doi:
	Cicotti, Pietro	ISMM '17: "RTHMS: A Tool for Data Placement ..." RTHMS: A Tool for Data Placement on Hybrid Memory System Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Pietro Cicotti, Erwin Laure, and Stefano Markidis (KTH, Sweden; Pacific Northwest National Laboratory, USA; University of California at San Diego, USA) @InProceedings{ISMM17p104, author = {Ivy Bo Peng and Roberto Gioiosa and Gokcen Kestor and Pietro Cicotti and Erwin Laure and Stefano Markidis}, title = {RTHMS: A Tool for Data Placement on Hybrid Memory System}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2017}, } Article: ismm17main-main26-p (type: Full Paper) doi:
	Criswell, John	ISMM '17: "Flexible and Efficient Memory ..." Flexible and Efficient Memory Object Metadata Zhengyang Liu and John Criswell (Beijing University of Posts and Telecommunications, China; University of Rochester, USA) @InProceedings{ISMM17p52, author = {Zhengyang Liu and John Criswell}, title = {Flexible and Efficient Memory Object Metadata}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2017}, } Article: ismm17main-main8-p (type: Full Paper) doi:
	Dashti, Mohammad	ISMM '17: "Analyzing Memory Management ..." Analyzing Memory Management Methods on Integrated CPU-GPU Systems Mohammad Dashti and Alexandra Fedorova (University of British Columbia, Canada) @InProceedings{ISMM17p78, author = {Mohammad Dashti and Alexandra Fedorova}, title = {Analyzing Memory Management Methods on Integrated CPU-GPU Systems}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2017}, } Article: ismm17main-main2-p (type: Full Paper) doi:
	Doshi, Kshitij	ISMM '17: "Continuous Checkpointing of ..." Continuous Checkpointing of HTM Transactions in NVM Ellis Giles, Kshitij Doshi, and Peter Varman (Rice University, USA; Intel, USA) @InProceedings{ISMM17p91, author = {Ellis Giles and Kshitij Doshi and Peter Varman}, title = {Continuous Checkpointing of HTM Transactions in NVM}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2017}, } Article: ismm17main-main11-p (type: Full Paper) doi:
	Fang, Bin	ISMM '17: "A Refinement Hierarchy for ..." A Refinement Hierarchy for Free List Memory Allocators Bin Fang and Mihaela Sighireanu (East China Normal University, China; University Paris Diderot, France; CNRS, France) @InProceedings{ISMM17p130, author = {Bin Fang and Mihaela Sighireanu}, title = {A Refinement Hierarchy for Free List Memory Allocators}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2017}, } Article: ismm17main-main29-p (type: Full Paper) doi:
	Fedorova, Alexandra	ISMM '17: "Analyzing Memory Management ..." Analyzing Memory Management Methods on Integrated CPU-GPU Systems Mohammad Dashti and Alexandra Fedorova (University of British Columbia, Canada) @InProceedings{ISMM17p78, author = {Mohammad Dashti and Alexandra Fedorova}, title = {Analyzing Memory Management Methods on Integrated CPU-GPU Systems}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {78-77}, doi = {}, year = {2017}, } Article: ismm17main-main2-p (type: Full Paper) doi:
	Ferreira, Paulo	ISMM '17: "NG2C: Pretenuring Garbage ..." NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications Rodrigo Bruno, Luís Picciochi Oliveira, and Paulo Ferreira (INESC-ID, Portugal; University of Lisbon, Portugal; Feedzai, Portugal) @InProceedings{ISMM17p13, author = {Rodrigo Bruno and Luís Picciochi Oliveira and Paulo Ferreira}, title = {NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: ismm17main-main18-p (type: Full Paper) doi:
	Giles, Ellis	ISMM '17: "Continuous Checkpointing of ..." Continuous Checkpointing of HTM Transactions in NVM Ellis Giles, Kshitij Doshi, and Peter Varman (Rice University, USA; Intel, USA) @InProceedings{ISMM17p91, author = {Ellis Giles and Kshitij Doshi and Peter Varman}, title = {Continuous Checkpointing of HTM Transactions in NVM}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2017}, } Article: ismm17main-main11-p (type: Full Paper) doi:
	Gioiosa, Roberto	ISMM '17: "RTHMS: A Tool for Data Placement ..." RTHMS: A Tool for Data Placement on Hybrid Memory System Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Pietro Cicotti, Erwin Laure, and Stefano Markidis (KTH, Sweden; Pacific Northwest National Laboratory, USA; University of California at San Diego, USA) @InProceedings{ISMM17p104, author = {Ivy Bo Peng and Roberto Gioiosa and Gokcen Kestor and Pietro Cicotti and Erwin Laure and Stefano Markidis}, title = {RTHMS: A Tool for Data Placement on Hybrid Memory System}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2017}, } Article: ismm17main-main26-p (type: Full Paper) doi:
	Kanvar, Vini	ISMM '17: ""What's in a Name?" ..." "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis Vini Kanvar and Uday P. Khedker (IIT Bombay, India) @InProceedings{ISMM17p117, author = {Vini Kanvar and Uday P. Khedker}, title = {"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {117-116}, doi = {}, year = {2017}, } Article: ismm17main-main4-p (type: Full Paper) doi:
	Kestor, Gokcen	ISMM '17: "RTHMS: A Tool for Data Placement ..." RTHMS: A Tool for Data Placement on Hybrid Memory System Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Pietro Cicotti, Erwin Laure, and Stefano Markidis (KTH, Sweden; Pacific Northwest National Laboratory, USA; University of California at San Diego, USA) @InProceedings{ISMM17p104, author = {Ivy Bo Peng and Roberto Gioiosa and Gokcen Kestor and Pietro Cicotti and Erwin Laure and Stefano Markidis}, title = {RTHMS: A Tool for Data Placement on Hybrid Memory System}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2017}, } Article: ismm17main-main26-p (type: Full Paper) doi:
	Khedker, Uday P.	ISMM '17: ""What's in a Name?" ..." "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis Vini Kanvar and Uday P. Khedker (IIT Bombay, India) @InProceedings{ISMM17p117, author = {Vini Kanvar and Uday P. Khedker}, title = {"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {117-116}, doi = {}, year = {2017}, } Article: ismm17main-main4-p (type: Full Paper) doi:
	Kosmatov, Nikolai	ISMM '17: "Shadow State Encoding for ..." Shadow State Encoding for Efficient Monitoring of Block-Level Properties Kostyantyn Vorobyov, Julien Signoles, and Nikolai Kosmatov (CEA LIST, France) @InProceedings{ISMM17p65, author = {Kostyantyn Vorobyov and Julien Signoles and Nikolai Kosmatov}, title = {Shadow State Encoding for Efficient Monitoring of Block-Level Properties}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2017}, } Article: ismm17main-main9-p (type: Full Paper) doi:
	Laure, Erwin	ISMM '17: "RTHMS: A Tool for Data Placement ..." RTHMS: A Tool for Data Placement on Hybrid Memory System Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Pietro Cicotti, Erwin Laure, and Stefano Markidis (KTH, Sweden; Pacific Northwest National Laboratory, USA; University of California at San Diego, USA) @InProceedings{ISMM17p104, author = {Ivy Bo Peng and Roberto Gioiosa and Gokcen Kestor and Pietro Cicotti and Erwin Laure and Stefano Markidis}, title = {RTHMS: A Tool for Data Placement on Hybrid Memory System}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2017}, } Article: ismm17main-main26-p (type: Full Paper) doi:
	Liu, Zhengyang	ISMM '17: "Flexible and Efficient Memory ..." Flexible and Efficient Memory Object Metadata Zhengyang Liu and John Criswell (Beijing University of Posts and Telecommunications, China; University of Rochester, USA) @InProceedings{ISMM17p52, author = {Zhengyang Liu and John Criswell}, title = {Flexible and Efficient Memory Object Metadata}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2017}, } Article: ismm17main-main8-p (type: Full Paper) doi:
	Markidis, Stefano	ISMM '17: "RTHMS: A Tool for Data Placement ..." RTHMS: A Tool for Data Placement on Hybrid Memory System Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Pietro Cicotti, Erwin Laure, and Stefano Markidis (KTH, Sweden; Pacific Northwest National Laboratory, USA; University of California at San Diego, USA) @InProceedings{ISMM17p104, author = {Ivy Bo Peng and Roberto Gioiosa and Gokcen Kestor and Pietro Cicotti and Erwin Laure and Stefano Markidis}, title = {RTHMS: A Tool for Data Placement on Hybrid Memory System}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2017}, } Article: ismm17main-main26-p (type: Full Paper) doi:
	Oliveira, Luís Picciochi	ISMM '17: "NG2C: Pretenuring Garbage ..." NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications Rodrigo Bruno, Luís Picciochi Oliveira, and Paulo Ferreira (INESC-ID, Portugal; University of Lisbon, Portugal; Feedzai, Portugal) @InProceedings{ISMM17p13, author = {Rodrigo Bruno and Luís Picciochi Oliveira and Paulo Ferreira}, title = {NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: ismm17main-main18-p (type: Full Paper) doi:
	Peng, Ivy Bo	ISMM '17: "RTHMS: A Tool for Data Placement ..." RTHMS: A Tool for Data Placement on Hybrid Memory System Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Pietro Cicotti, Erwin Laure, and Stefano Markidis (KTH, Sweden; Pacific Northwest National Laboratory, USA; University of California at San Diego, USA) @InProceedings{ISMM17p104, author = {Ivy Bo Peng and Roberto Gioiosa and Gokcen Kestor and Pietro Cicotti and Erwin Laure and Stefano Markidis}, title = {RTHMS: A Tool for Data Placement on Hybrid Memory System}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {104-103}, doi = {}, year = {2017}, } Article: ismm17main-main26-p (type: Full Paper) doi:
	Sarkar, Vivek	ISMM '17: "A Marshalled Data Format for ..." A Marshalled Data Format for Pointers in Relocatable Data Blocks Nick Vrvilo, Lechen Yu, and Vivek Sarkar (Rice University, USA) @InProceedings{ISMM17p39, author = {Nick Vrvilo and Lechen Yu and Vivek Sarkar}, title = {A Marshalled Data Format for Pointers in Relocatable Data Blocks}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2017}, } Article: ismm17main-main30-p (type: Full Paper) doi:
	Shen, Xipeng	ISMM '17: "Bridging the Gap between Memory ..." Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations (Keynote) Xipeng Shen (North Carolina State University, USA) @InProceedings{ISMM17p1, author = {Xipeng Shen}, title = {Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations (Keynote)}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: ismm17key-key1-p (type: Invited Talk Abstract) doi:
	Sighireanu, Mihaela	ISMM '17: "A Refinement Hierarchy for ..." A Refinement Hierarchy for Free List Memory Allocators Bin Fang and Mihaela Sighireanu (East China Normal University, China; University Paris Diderot, France; CNRS, France) @InProceedings{ISMM17p130, author = {Bin Fang and Mihaela Sighireanu}, title = {A Refinement Hierarchy for Free List Memory Allocators}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {130-129}, doi = {}, year = {2017}, } Article: ismm17main-main29-p (type: Full Paper) doi:
	Signoles, Julien	ISMM '17: "Shadow State Encoding for ..." Shadow State Encoding for Efficient Monitoring of Block-Level Properties Kostyantyn Vorobyov, Julien Signoles, and Nikolai Kosmatov (CEA LIST, France) @InProceedings{ISMM17p65, author = {Kostyantyn Vorobyov and Julien Signoles and Nikolai Kosmatov}, title = {Shadow State Encoding for Efficient Monitoring of Block-Level Properties}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2017}, } Article: ismm17main-main9-p (type: Full Paper) doi:
	Varman, Peter	ISMM '17: "Continuous Checkpointing of ..." Continuous Checkpointing of HTM Transactions in NVM Ellis Giles, Kshitij Doshi, and Peter Varman (Rice University, USA; Intel, USA) @InProceedings{ISMM17p91, author = {Ellis Giles and Kshitij Doshi and Peter Varman}, title = {Continuous Checkpointing of HTM Transactions in NVM}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2017}, } Article: ismm17main-main11-p (type: Full Paper) doi:
	Vorobyov, Kostyantyn	ISMM '17: "Shadow State Encoding for ..." Shadow State Encoding for Efficient Monitoring of Block-Level Properties Kostyantyn Vorobyov, Julien Signoles, and Nikolai Kosmatov (CEA LIST, France) @InProceedings{ISMM17p65, author = {Kostyantyn Vorobyov and Julien Signoles and Nikolai Kosmatov}, title = {Shadow State Encoding for Efficient Monitoring of Block-Level Properties}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2017}, } Article: ismm17main-main9-p (type: Full Paper) doi:
	Vrvilo, Nick	ISMM '17: "A Marshalled Data Format for ..." A Marshalled Data Format for Pointers in Relocatable Data Blocks Nick Vrvilo, Lechen Yu, and Vivek Sarkar (Rice University, USA) @InProceedings{ISMM17p39, author = {Nick Vrvilo and Lechen Yu and Vivek Sarkar}, title = {A Marshalled Data Format for Pointers in Relocatable Data Blocks}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2017}, } Article: ismm17main-main30-p (type: Full Paper) doi:
	Wrigstad, Tobias	ISMM '17: "Type-Assisted Automatic Garbage ..." Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures Albert Mingkun Yang and Tobias Wrigstad (Uppsala University, Sweden) @InProceedings{ISMM17p26, author = {Albert Mingkun Yang and Tobias Wrigstad}, title = {Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {26-25}, doi = {}, year = {2017}, } Article: ismm17main-main28-p (type: Full Paper) doi:
	Yang, Albert Mingkun	ISMM '17: "Type-Assisted Automatic Garbage ..." Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures Albert Mingkun Yang and Tobias Wrigstad (Uppsala University, Sweden) @InProceedings{ISMM17p26, author = {Albert Mingkun Yang and Tobias Wrigstad}, title = {Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {26-25}, doi = {}, year = {2017}, } Article: ismm17main-main28-p (type: Full Paper) doi:
	Yu, Lechen	ISMM '17: "A Marshalled Data Format for ..." A Marshalled Data Format for Pointers in Relocatable Data Blocks Nick Vrvilo, Lechen Yu, and Vivek Sarkar (Rice University, USA) @InProceedings{ISMM17p39, author = {Nick Vrvilo and Lechen Yu and Vivek Sarkar}, title = {A Marshalled Data Format for Pointers in Relocatable Data Blocks}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2017}, } Article: ismm17main-main30-p (type: Full Paper) doi:
	Zhang, Minjia	ISMM '17: "Avoiding Consistency Exceptions ..." Avoiding Consistency Exceptions Under Strong Memory Models Minjia Zhang, Swarnendu Biswas, and Michael D. Bond (Microsoft Research, USA; University of Texas at Austin, USA; Ohio State University, USA) @InProceedings{ISMM17p143, author = {Minjia Zhang and Swarnendu Biswas and Michael D. Bond}, title = {Avoiding Consistency Exceptions Under Strong Memory Models}, booktitle = {Proc.\ ISMM}, publisher = {ACM}, pages = {143-142}, doi = {}, year = {2017}, } Article: ismm17main-main16-p (type: Full Paper) doi:

32 authors

proc time: 0.03