PLDI 2018 (series) / MAPL 2018 (series) /
MAPL 2018 Program
This is the MAPL 2018 program - see the full program for PLDI 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 18 JunDisplayed time zone: Eastern Time (US & Canada) change
Mon 18 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:15 - 09:30 | IntroductionMAPL at Columbus Ballroom A Chair(s): Alvin Cheung University of Washington, Justin Gottschlich Intel Labs | ||
09:30 - 10:30 | |||
09:30 30mTalk | Ariadne: Analysis for Machine Learning Programs MAPL Julian Dolby IBM Thomas J. Watson Research Center, Avraham Shinnar IBM Research, Allison Allain IBM Research, Jenna Reinen IBM Research | ||
10:00 30mTalk | Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection MAPL Hongfa Xue George Washington University, Guru Venkataramani George Washington University, Tian Lan George Washington University |
11:00 - 12:00 | |||
11:00 30mTalk | Obfuscation Resilient Search through Executable Classification MAPL Fang-Hsiang Su Columbia University, New York, Jonathan Bell George Mason University, Gail Kaiser Columbia University, New York, Baishakhi Ray Columbia University, New York | ||
11:30 30mTalk | Retrieval on source code: a neural code search MAPL Saksham Sachdev Facebook, Hongyu Li Rice University, Sifei Luan Facebook, Seohyun Kim Facebook, Koushik Sen University of California, Berkeley, Satish Chandra Facebook |
14:00 - 15:30 | |||
14:00 30mTalk | Relay: A New IR for Machine Learning Frameworks MAPL Jared Roesch University of Washington, USA, Steven Lyubomirsky University of Washington, USA, Logan Weber University of Washington, Josh Pollock University of Washington, Marisa Kirisame , Tianqi Chen , Zachary Tatlock University of Washington, Seattle | ||
14:30 30mTalk | Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs MAPL Venmugil Elango NVIDIA, Norm Rubin NVIDIA, Mahesh Ravishankar , Hari Sandanagobalane NVIDIA, Vinod Grover | ||
15:00 30mTalk | Gen: probabilistic programming with fast custom inference via code generation MAPL File Attached |
16:10 - 16:40 | |||
16:10 30mTalk | The Three Pillars of Machine Programming MAPL Justin Gottschlich Intel Labs, Armando Solar-Lezama MIT CSAIL, Nesime Tatbul Intel Labs and MIT, Michael Carbin MIT, Martin C. Rinard Massachusetts Institute of Technology, Regina Barzilay MIT, Saman Amarasinghe MIT, Joshua B. Tenenbaum MIT, Tim Mattson Intel, USA |
16:40 - 17:00 | Closing RemarksMAPL at Columbus Ballroom A Chair(s): Alvin Cheung University of Washington, Justin Gottschlich Intel Labs | ||
17:00 - 18:00 | |||