PLDI 2018 Workshops
39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018)
Powered by
Conference Publishing Consulting

2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL 2018), June 18, 2018, Philadelphia, PA, USA

MAPL 2018 – Proceedings

Contents - Abstracts - Authors

2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL 2018)

Frontmatter

Title Page
Message from the Chairs

Program Analysis

Ariadne: Analysis for Machine Learning Programs
Julian DolbyORCID logo, Avraham Shinnar ORCID logo, Allison Allain, and Jenna Reinen
(IBM Research, USA)
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)
Publisher's Version

Code Search

Obfuscation Resilient Search through Executable Classification
Fang-Hsiang Su, Jonathan Bell, Gail Kaiser ORCID logo, and Baishakhi Ray
(Columbia University, USA; George Mason University, USA)
Publisher's Version Info
Retrieval on Source Code: A Neural Code Search
Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen ORCID logo, and Satish Chandra
(University of Waterloo, Canada; Facebook, USA; University of California at Berkeley, USA)
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 ORCID logo
(NVIDIA, USA)
Publisher's Version
A Design Proposal for Gen: Probabilistic Programming with Fast Custom Inference via Code Generation
Marco Cusumano-Towner and Vikash K. MansinghkaORCID logo
(Massachusetts Institute of Technology, USA)
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 ORCID logo
(University of Washington, USA)
Publisher's Version

Programming Methodology

The Three Pillars of Machine Programming
Justin Gottschlich ORCID logo, Armando Solar-Lezama ORCID logo, Nesime Tatbul, Michael CarbinORCID logo, Martin Rinard, Regina Barzilay, Saman AmarasingheORCID logo, Joshua B. Tenenbaum ORCID logo, and Tim Mattson
(Intel Labs, USA; Massachusetts Institute of Technology, USA)
Publisher's Version

proc time: 2.25