Workshop MAPL 2020 – Author Index

A C G H K L M N P S T X Z

	Alhessi, Yousef	MAPL '20: "Generating Correctness Proofs ..." Generating Correctness Proofs with Neural Networks Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{MAPL20p1, author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner}, title = {Generating Correctness Proofs with Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3394450.3397466}, year = {2020}, } Publisher's Version
	Alizadeh, Mohammad	MAPL '20: "Learned Garbage Collection ..." Learned Garbage Collection Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska (Massachusetts Institute of Technology, USA; Intel Labs, USA) @InProceedings{MAPL20p45, author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska}, title = {Learned Garbage Collection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3394450.3397469}, year = {2020}, } Publisher's Version
	Cen, Lujing	MAPL '20: "Learned Garbage Collection ..." Learned Garbage Collection Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska (Massachusetts Institute of Technology, USA; Intel Labs, USA) @InProceedings{MAPL20p45, author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska}, title = {Learned Garbage Collection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3394450.3397469}, year = {2020}, } Publisher's Version
	Gottschlich, Justin	MAPL '20: "Learned Garbage Collection ..." Learned Garbage Collection Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska (Massachusetts Institute of Technology, USA; Intel Labs, USA) @InProceedings{MAPL20p45, author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska}, title = {Learned Garbage Collection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3394450.3397469}, year = {2020}, } Publisher's Version
	Hamaji, Shinichiro	MAPL '20: "Semi-static Type, Shape, and ..." Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu (University of Tokyo, Japan; Preferred Networks, Japan) @InProceedings{MAPL20p12, author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu}, title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3394450.3397465}, year = {2020}, } Publisher's Version
	Hattori, Momoko	MAPL '20: "Semi-static Type, Shape, and ..." Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu (University of Tokyo, Japan; Preferred Networks, Japan) @InProceedings{MAPL20p12, author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu}, title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3394450.3397465}, year = {2020}, } Publisher's Version
	Houshmand, Farzin	MAPL '20: "Learning Quantitative Representation ..." Learning Quantitative Representation Synthesis Mayur Patil, Farzin Houshmand, and Mohsen Lesani (University of California at Riverside, USA) @InProceedings{MAPL20p34, author = {Mayur Patil and Farzin Houshmand and Mohsen Lesani}, title = {Learning Quantitative Representation Synthesis}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3394450.3397467}, year = {2020}, } Publisher's Version
	Kraska, Tim	MAPL '20: "Learned Garbage Collection ..." Learned Garbage Collection Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska (Massachusetts Institute of Technology, USA; Intel Labs, USA) @InProceedings{MAPL20p45, author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska}, title = {Learned Garbage Collection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3394450.3397469}, year = {2020}, } Publisher's Version
	Lerner, Sorin	MAPL '20: "Generating Correctness Proofs ..." Generating Correctness Proofs with Neural Networks Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{MAPL20p1, author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner}, title = {Generating Correctness Proofs with Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3394450.3397466}, year = {2020}, } Publisher's Version
	Lesani, Mohsen	MAPL '20: "Learning Quantitative Representation ..." Learning Quantitative Representation Synthesis Mayur Patil, Farzin Houshmand, and Mohsen Lesani (University of California at Riverside, USA) @InProceedings{MAPL20p34, author = {Mayur Patil and Farzin Houshmand and Mohsen Lesani}, title = {Learning Quantitative Representation Synthesis}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3394450.3397467}, year = {2020}, } Publisher's Version
	Luk, Wayne	MAPL '20: "On the Challenges in Programming ..." On the Challenges in Programming Mixed-Precision Deep Neural Networks Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi (Imperial College London, UK; Corerain Technologies, China) @InProceedings{MAPL20p23, author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi}, title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3394450.3397468}, year = {2020}, } Publisher's Version
	Mao, Hongzi	MAPL '20: "Learned Garbage Collection ..." Learned Garbage Collection Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska (Massachusetts Institute of Technology, USA; Intel Labs, USA) @InProceedings{MAPL20p45, author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska}, title = {Learned Garbage Collection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3394450.3397469}, year = {2020}, } Publisher's Version
	Marcus, Ryan	MAPL '20: "Learned Garbage Collection ..." Learned Garbage Collection Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska (Massachusetts Institute of Technology, USA; Intel Labs, USA) @InProceedings{MAPL20p45, author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska}, title = {Learned Garbage Collection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3394450.3397469}, year = {2020}, } Publisher's Version
	Niu, Xinyu	MAPL '20: "On the Challenges in Programming ..." On the Challenges in Programming Mixed-Precision Deep Neural Networks Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi (Imperial College London, UK; Corerain Technologies, China) @InProceedings{MAPL20p23, author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi}, title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3394450.3397468}, year = {2020}, } Publisher's Version
	Patil, Mayur	MAPL '20: "Learning Quantitative Representation ..." Learning Quantitative Representation Synthesis Mayur Patil, Farzin Houshmand, and Mohsen Lesani (University of California at Riverside, USA) @InProceedings{MAPL20p34, author = {Mayur Patil and Farzin Houshmand and Mohsen Lesani}, title = {Learning Quantitative Representation Synthesis}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3394450.3397467}, year = {2020}, } Publisher's Version
	Sakai, Masahiro	MAPL '20: "Semi-static Type, Shape, and ..." Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu (University of Tokyo, Japan; Preferred Networks, Japan) @InProceedings{MAPL20p12, author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu}, title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3394450.3397465}, year = {2020}, } Publisher's Version
	Sanchez-Stern, Alex	MAPL '20: "Generating Correctness Proofs ..." Generating Correctness Proofs with Neural Networks Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{MAPL20p1, author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner}, title = {Generating Correctness Proofs with Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3394450.3397466}, year = {2020}, } Publisher's Version
	Saul, Lawrence	MAPL '20: "Generating Correctness Proofs ..." Generating Correctness Proofs with Neural Networks Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{MAPL20p1, author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner}, title = {Generating Correctness Proofs with Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3394450.3397466}, year = {2020}, } Publisher's Version
	Sawada, Shimpei	MAPL '20: "Semi-static Type, Shape, and ..." Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu (University of Tokyo, Japan; Preferred Networks, Japan) @InProceedings{MAPL20p12, author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu}, title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3394450.3397465}, year = {2020}, } Publisher's Version
	Shimizu, Shunsuke	MAPL '20: "Semi-static Type, Shape, and ..." Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu (University of Tokyo, Japan; Preferred Networks, Japan) @InProceedings{MAPL20p12, author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu}, title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3394450.3397465}, year = {2020}, } Publisher's Version
	Tsoi, Kuen Hung	MAPL '20: "On the Challenges in Programming ..." On the Challenges in Programming Mixed-Precision Deep Neural Networks Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi (Imperial College London, UK; Corerain Technologies, China) @InProceedings{MAPL20p23, author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi}, title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3394450.3397468}, year = {2020}, } Publisher's Version
	Xiong, Chao	MAPL '20: "On the Challenges in Programming ..." On the Challenges in Programming Mixed-Precision Deep Neural Networks Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi (Imperial College London, UK; Corerain Technologies, China) @InProceedings{MAPL20p23, author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi}, title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3394450.3397468}, year = {2020}, } Publisher's Version
	Zhao, Ruizhe	MAPL '20: "On the Challenges in Programming ..." On the Challenges in Programming Mixed-Precision Deep Neural Networks Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi (Imperial College London, UK; Corerain Technologies, China) @InProceedings{MAPL20p23, author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi}, title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3394450.3397468}, year = {2020}, } Publisher's Version

23 authors

proc time: 0.02