Powered by
2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL 2018), June 18, 2018,
Philadelphia, PA, USA
2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL 2018)
Frontmatter
Program Analysis
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
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
Code 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
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
New Languages
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
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
Programming Methodology
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
proc time: 0.8