| |
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
Article: pldiws18maplmain-p10-p doi:10.1145/3211346.3211349
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p15-p doi:10.1145/3211346.3211352
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p16-p doi:10.1145/3211346.3211353
|
| |
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
Article: pldiws18maplmain-p8-p doi:10.1145/3211346.3211348
|
| |
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
Article: pldiws18maplmain-p11-p doi:10.1145/3211346.3211350
|
| |
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
Article: pldiws18maplmain-p10-p doi:10.1145/3211346.3211349
|
| |
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
Article: pldiws18maplmain-p17-p doi:10.1145/3211346.3211354
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p17-p doi:10.1145/3211346.3211354
|
| |
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
Article: pldiws18maplmain-p15-p doi:10.1145/3211346.3211352
|
| |
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
Article: pldiws18maplmain-p16-p doi:10.1145/3211346.3211353
|
| |
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
Article: pldiws18maplmain-p8-p doi:10.1145/3211346.3211348
|
| |
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
Article: pldiws18maplmain-p4-p doi:10.1145/3211346.3211347
|
| |
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
Article: pldiws18maplmain-p16-p doi:10.1145/3211346.3211353
|
| |
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
Article: pldiws18maplmain-p16-p doi:10.1145/3211346.3211353
|
| |
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
Article: pldiws18maplmain-p8-p doi:10.1145/3211346.3211348
|
| |
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
Article: pldiws18maplmain-p11-p doi:10.1145/3211346.3211350
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p8-p doi:10.1145/3211346.3211348
|
| |
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
Article: pldiws18maplmain-p17-p doi:10.1145/3211346.3211354
|
| |
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
Article: pldiws18maplmain-p15-p doi:10.1145/3211346.3211352
|
| |
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
Article: pldiws18maplmain-p10-p doi:10.1145/3211346.3211349
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p8-p doi:10.1145/3211346.3211348
|
| |
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
Article: pldiws18maplmain-p17-p doi:10.1145/3211346.3211354
|
| |
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
Article: pldiws18maplmain-p16-p doi:10.1145/3211346.3211353
|
| |
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
Article: pldiws18maplmain-p17-p doi:10.1145/3211346.3211354
|
| |
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
Article: pldiws18maplmain-p16-p doi:10.1145/3211346.3211353
|
| |
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
Article: pldiws18maplmain-p10-p doi:10.1145/3211346.3211349
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p15-p doi:10.1145/3211346.3211352
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p8-p doi:10.1145/3211346.3211348
|
| |
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
Article: pldiws18maplmain-p18-p doi:10.1145/3211346.3211355
|
| |
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
Article: pldiws18maplmain-p4-p doi:10.1145/3211346.3211347
|
| |
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
Article: pldiws18maplmain-p8-p doi:10.1145/3211346.3211348
|
| |
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
Article: pldiws18maplmain-p4-p doi:10.1145/3211346.3211347
|