Workshop MAPL 2018 – Author Index

A B C D E G K L M P R S T V W X

	Allain, Allison	MAPL '18: "Ariadne: Analysis for Machine ..." Ariadne: Analysis for Machine Learning Programs Julian Dolby, Avraham Shinnar, Allison Allain, and Jenna Reinen (IBM Research, USA) @InProceedings{MAPL18p1, author = {Julian Dolby and Avraham Shinnar and Allison Allain and Jenna Reinen}, title = {Ariadne: Analysis for Machine Learning Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3211346.3211349}, year = {2018}, } Publisher's Version
	Amarasinghe, Saman	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Barzilay, Regina	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Bell, Jonathan	MAPL '18: "Obfuscation Resilient Search ..." Obfuscation Resilient Search through Executable Classification Fang-Hsiang Su, Jonathan Bell, Gail Kaiser, and Baishakhi Ray (Columbia University, USA; George Mason University, USA) @InProceedings{MAPL18p25, author = {Fang-Hsiang Su and Jonathan Bell and Gail Kaiser and Baishakhi Ray}, title = {Obfuscation Resilient Search through Executable Classification}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3211346.3211352}, year = {2018}, } Publisher's Version
	Carbin, Michael	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Chandra, Satish	MAPL '18: "Retrieval on Source Code: ..." Retrieval on Source Code: A Neural Code Search Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, and Satish Chandra (University of Waterloo, Canada; Facebook, USA; University of California at Berkeley, USA) @InProceedings{MAPL18p37, author = {Saksham Sachdev and Hongyu Li and Sifei Luan and Seohyun Kim and Koushik Sen and Satish Chandra}, title = {Retrieval on Source Code: A Neural Code Search}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3211346.3211353}, year = {2018}, } Publisher's Version
	Chen, Tianqi	MAPL '18: "Relay: A New IR for Machine ..." Relay: A New IR for Machine Learning Frameworks Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock (University of Washington, USA) @InProceedings{MAPL18p73, author = {Jared Roesch and Steven Lyubomirsky and Logan Weber and Josh Pollock and Marisa Kirisame and Tianqi Chen and Zachary Tatlock}, title = {Relay: A New IR for Machine Learning Frameworks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3211346.3211348}, year = {2018}, } Publisher's Version
	Cusumano-Towner, Marco	MAPL '18: "A Design Proposal for Gen: ..." A Design Proposal for Gen: Probabilistic Programming with Fast Custom Inference via Code Generation Marco Cusumano-Towner and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p61, author = {Marco Cusumano-Towner and Vikash K. Mansinghka}, title = {A Design Proposal for Gen: Probabilistic Programming with Fast Custom Inference via Code Generation}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3211346.3211350}, year = {2018}, } Publisher's Version
	Dolby, Julian	MAPL '18: "Ariadne: Analysis for Machine ..." Ariadne: Analysis for Machine Learning Programs Julian Dolby, Avraham Shinnar, Allison Allain, and Jenna Reinen (IBM Research, USA) @InProceedings{MAPL18p1, author = {Julian Dolby and Avraham Shinnar and Allison Allain and Jenna Reinen}, title = {Ariadne: Analysis for Machine Learning Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3211346.3211349}, year = {2018}, } Publisher's Version
	Elango, Venmugil	MAPL '18: "Diesel: DSL for Linear Algebra ..." Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, and Vinod Grover (NVIDIA, USA) @InProceedings{MAPL18p49, author = {Venmugil Elango and Norm Rubin and Mahesh Ravishankar and Hariharan Sandanagobalane and Vinod Grover}, title = {Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3211346.3211354}, year = {2018}, } Publisher's Version
	Gottschlich, Justin	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Grover, Vinod	MAPL '18: "Diesel: DSL for Linear Algebra ..." Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, and Vinod Grover (NVIDIA, USA) @InProceedings{MAPL18p49, author = {Venmugil Elango and Norm Rubin and Mahesh Ravishankar and Hariharan Sandanagobalane and Vinod Grover}, title = {Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3211346.3211354}, year = {2018}, } Publisher's Version
	Kaiser, Gail	MAPL '18: "Obfuscation Resilient Search ..." Obfuscation Resilient Search through Executable Classification Fang-Hsiang Su, Jonathan Bell, Gail Kaiser, and Baishakhi Ray (Columbia University, USA; George Mason University, USA) @InProceedings{MAPL18p25, author = {Fang-Hsiang Su and Jonathan Bell and Gail Kaiser and Baishakhi Ray}, title = {Obfuscation Resilient Search through Executable Classification}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3211346.3211352}, year = {2018}, } Publisher's Version
	Kim, Seohyun	MAPL '18: "Retrieval on Source Code: ..." Retrieval on Source Code: A Neural Code Search Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, and Satish Chandra (University of Waterloo, Canada; Facebook, USA; University of California at Berkeley, USA) @InProceedings{MAPL18p37, author = {Saksham Sachdev and Hongyu Li and Sifei Luan and Seohyun Kim and Koushik Sen and Satish Chandra}, title = {Retrieval on Source Code: A Neural Code Search}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3211346.3211353}, year = {2018}, } Publisher's Version
	Kirisame, Marisa	MAPL '18: "Relay: A New IR for Machine ..." Relay: A New IR for Machine Learning Frameworks Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock (University of Washington, USA) @InProceedings{MAPL18p73, author = {Jared Roesch and Steven Lyubomirsky and Logan Weber and Josh Pollock and Marisa Kirisame and Tianqi Chen and Zachary Tatlock}, title = {Relay: A New IR for Machine Learning Frameworks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3211346.3211348}, year = {2018}, } Publisher's Version
	Lan, Tian	MAPL '18: "Clone-Hunter: Accelerated ..." Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection Hongfa Xue, Guru Venkataramani, and Tian Lan (George Washington University, USA) @InProceedings{MAPL18p13, author = {Hongfa Xue and Guru Venkataramani and Tian Lan}, title = {Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3211346.3211347}, year = {2018}, } Publisher's Version
	Li, Hongyu	MAPL '18: "Retrieval on Source Code: ..." Retrieval on Source Code: A Neural Code Search Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, and Satish Chandra (University of Waterloo, Canada; Facebook, USA; University of California at Berkeley, USA) @InProceedings{MAPL18p37, author = {Saksham Sachdev and Hongyu Li and Sifei Luan and Seohyun Kim and Koushik Sen and Satish Chandra}, title = {Retrieval on Source Code: A Neural Code Search}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3211346.3211353}, year = {2018}, } Publisher's Version
	Luan, Sifei	MAPL '18: "Retrieval on Source Code: ..." Retrieval on Source Code: A Neural Code Search Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, and Satish Chandra (University of Waterloo, Canada; Facebook, USA; University of California at Berkeley, USA) @InProceedings{MAPL18p37, author = {Saksham Sachdev and Hongyu Li and Sifei Luan and Seohyun Kim and Koushik Sen and Satish Chandra}, title = {Retrieval on Source Code: A Neural Code Search}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3211346.3211353}, year = {2018}, } Publisher's Version
	Lyubomirsky, Steven	MAPL '18: "Relay: A New IR for Machine ..." Relay: A New IR for Machine Learning Frameworks Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock (University of Washington, USA) @InProceedings{MAPL18p73, author = {Jared Roesch and Steven Lyubomirsky and Logan Weber and Josh Pollock and Marisa Kirisame and Tianqi Chen and Zachary Tatlock}, title = {Relay: A New IR for Machine Learning Frameworks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3211346.3211348}, year = {2018}, } Publisher's Version
	Mansinghka, Vikash K.	MAPL '18: "A Design Proposal for Gen: ..." A Design Proposal for Gen: Probabilistic Programming with Fast Custom Inference via Code Generation Marco Cusumano-Towner and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p61, author = {Marco Cusumano-Towner and Vikash K. Mansinghka}, title = {A Design Proposal for Gen: Probabilistic Programming with Fast Custom Inference via Code Generation}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3211346.3211350}, year = {2018}, } Publisher's Version
	Mattson, Tim	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Pollock, Josh	MAPL '18: "Relay: A New IR for Machine ..." Relay: A New IR for Machine Learning Frameworks Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock (University of Washington, USA) @InProceedings{MAPL18p73, author = {Jared Roesch and Steven Lyubomirsky and Logan Weber and Josh Pollock and Marisa Kirisame and Tianqi Chen and Zachary Tatlock}, title = {Relay: A New IR for Machine Learning Frameworks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3211346.3211348}, year = {2018}, } Publisher's Version
	Ravishankar, Mahesh	MAPL '18: "Diesel: DSL for Linear Algebra ..." Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, and Vinod Grover (NVIDIA, USA) @InProceedings{MAPL18p49, author = {Venmugil Elango and Norm Rubin and Mahesh Ravishankar and Hariharan Sandanagobalane and Vinod Grover}, title = {Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3211346.3211354}, year = {2018}, } Publisher's Version
	Ray, Baishakhi	MAPL '18: "Obfuscation Resilient Search ..." Obfuscation Resilient Search through Executable Classification Fang-Hsiang Su, Jonathan Bell, Gail Kaiser, and Baishakhi Ray (Columbia University, USA; George Mason University, USA) @InProceedings{MAPL18p25, author = {Fang-Hsiang Su and Jonathan Bell and Gail Kaiser and Baishakhi Ray}, title = {Obfuscation Resilient Search through Executable Classification}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3211346.3211352}, year = {2018}, } Publisher's Version
	Reinen, Jenna	MAPL '18: "Ariadne: Analysis for Machine ..." Ariadne: Analysis for Machine Learning Programs Julian Dolby, Avraham Shinnar, Allison Allain, and Jenna Reinen (IBM Research, USA) @InProceedings{MAPL18p1, author = {Julian Dolby and Avraham Shinnar and Allison Allain and Jenna Reinen}, title = {Ariadne: Analysis for Machine Learning Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3211346.3211349}, year = {2018}, } Publisher's Version
	Rinard, Martin	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Roesch, Jared	MAPL '18: "Relay: A New IR for Machine ..." Relay: A New IR for Machine Learning Frameworks Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock (University of Washington, USA) @InProceedings{MAPL18p73, author = {Jared Roesch and Steven Lyubomirsky and Logan Weber and Josh Pollock and Marisa Kirisame and Tianqi Chen and Zachary Tatlock}, title = {Relay: A New IR for Machine Learning Frameworks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3211346.3211348}, year = {2018}, } Publisher's Version
	Rubin, Norm	MAPL '18: "Diesel: DSL for Linear Algebra ..." Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, and Vinod Grover (NVIDIA, USA) @InProceedings{MAPL18p49, author = {Venmugil Elango and Norm Rubin and Mahesh Ravishankar and Hariharan Sandanagobalane and Vinod Grover}, title = {Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3211346.3211354}, year = {2018}, } Publisher's Version
	Sachdev, Saksham	MAPL '18: "Retrieval on Source Code: ..." Retrieval on Source Code: A Neural Code Search Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, and Satish Chandra (University of Waterloo, Canada; Facebook, USA; University of California at Berkeley, USA) @InProceedings{MAPL18p37, author = {Saksham Sachdev and Hongyu Li and Sifei Luan and Seohyun Kim and Koushik Sen and Satish Chandra}, title = {Retrieval on Source Code: A Neural Code Search}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3211346.3211353}, year = {2018}, } Publisher's Version
	Sandanagobalane, Hariharan	MAPL '18: "Diesel: DSL for Linear Algebra ..." Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, and Vinod Grover (NVIDIA, USA) @InProceedings{MAPL18p49, author = {Venmugil Elango and Norm Rubin and Mahesh Ravishankar and Hariharan Sandanagobalane and Vinod Grover}, title = {Diesel: DSL for Linear Algebra and Neural Net Computations on GPUs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3211346.3211354}, year = {2018}, } Publisher's Version
	Sen, Koushik	MAPL '18: "Retrieval on Source Code: ..." Retrieval on Source Code: A Neural Code Search Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, and Satish Chandra (University of Waterloo, Canada; Facebook, USA; University of California at Berkeley, USA) @InProceedings{MAPL18p37, author = {Saksham Sachdev and Hongyu Li and Sifei Luan and Seohyun Kim and Koushik Sen and Satish Chandra}, title = {Retrieval on Source Code: A Neural Code Search}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3211346.3211353}, year = {2018}, } Publisher's Version
	Shinnar, Avraham	MAPL '18: "Ariadne: Analysis for Machine ..." Ariadne: Analysis for Machine Learning Programs Julian Dolby, Avraham Shinnar, Allison Allain, and Jenna Reinen (IBM Research, USA) @InProceedings{MAPL18p1, author = {Julian Dolby and Avraham Shinnar and Allison Allain and Jenna Reinen}, title = {Ariadne: Analysis for Machine Learning Programs}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3211346.3211349}, year = {2018}, } Publisher's Version
	Solar-Lezama, Armando	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Su, Fang-Hsiang	MAPL '18: "Obfuscation Resilient Search ..." Obfuscation Resilient Search through Executable Classification Fang-Hsiang Su, Jonathan Bell, Gail Kaiser, and Baishakhi Ray (Columbia University, USA; George Mason University, USA) @InProceedings{MAPL18p25, author = {Fang-Hsiang Su and Jonathan Bell and Gail Kaiser and Baishakhi Ray}, title = {Obfuscation Resilient Search through Executable Classification}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3211346.3211352}, year = {2018}, } Publisher's Version
	Tatbul, Nesime	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Tatlock, Zachary	MAPL '18: "Relay: A New IR for Machine ..." Relay: A New IR for Machine Learning Frameworks Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock (University of Washington, USA) @InProceedings{MAPL18p73, author = {Jared Roesch and Steven Lyubomirsky and Logan Weber and Josh Pollock and Marisa Kirisame and Tianqi Chen and Zachary Tatlock}, title = {Relay: A New IR for Machine Learning Frameworks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3211346.3211348}, year = {2018}, } Publisher's Version
	Tenenbaum, Joshua B.	MAPL '18: "The Three Pillars of Machine ..." The Three Pillars of Machine Programming Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B. Tenenbaum, and Tim Mattson (Intel Labs, USA; Massachusetts Institute of Technology, USA) @InProceedings{MAPL18p85, author = {Justin Gottschlich and Armando Solar-Lezama and Nesime Tatbul and Michael Carbin and Martin Rinard and Regina Barzilay and Saman Amarasinghe and Joshua B. Tenenbaum and Tim Mattson}, title = {The Three Pillars of Machine Programming}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3211346.3211355}, year = {2018}, } Publisher's Version
	Venkataramani, Guru	MAPL '18: "Clone-Hunter: Accelerated ..." Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection Hongfa Xue, Guru Venkataramani, and Tian Lan (George Washington University, USA) @InProceedings{MAPL18p13, author = {Hongfa Xue and Guru Venkataramani and Tian Lan}, title = {Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3211346.3211347}, year = {2018}, } Publisher's Version
	Weber, Logan	MAPL '18: "Relay: A New IR for Machine ..." Relay: A New IR for Machine Learning Frameworks Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock (University of Washington, USA) @InProceedings{MAPL18p73, author = {Jared Roesch and Steven Lyubomirsky and Logan Weber and Josh Pollock and Marisa Kirisame and Tianqi Chen and Zachary Tatlock}, title = {Relay: A New IR for Machine Learning Frameworks}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3211346.3211348}, year = {2018}, } Publisher's Version
	Xue, Hongfa	MAPL '18: "Clone-Hunter: Accelerated ..." Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection Hongfa Xue, Guru Venkataramani, and Tian Lan (George Washington University, USA) @InProceedings{MAPL18p13, author = {Hongfa Xue and Guru Venkataramani and Tian Lan}, title = {Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection}, booktitle = {Proc.\ MAPL}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3211346.3211347}, year = {2018}, } Publisher's Version

40 authors

proc time: 0.03