Write a Blog >>
ISMM 2018
Mon 18 - Fri 22 June 2018
Philadelphia, Pennsylvania, United States
co-located with
PLDI 2018
Toggle navigation
Attending
Venue: Hilton Philadelphia at Penn's Landing
PLDI 2018
Registration
Sponsorship
Students
Accessibility FAQ
Visas
Code of Conduct
Childcare
Tourist Information
Remote Participation
Program
ISMM Program
Your Program
Mon 18 Jun
Tue 19 Jun
Wed 20 Jun
Thu 21 Jun
Fri 22 Jun
Track/Call
Organization
ISMM 2018 Committees
Organizing Committee
Program Committee
External Review Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2018
(
series
) /
ISMM 2018
(
series
) /
Hilton Philadelphia at Penn's Landing
/
Room information: Columbus Ballroom A
Venue
Hilton Philadelphia at Penn's Landing
Room name
Columbus Ballroom A
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:15 - 09:30
Introduction
MAPL
at
Columbus Ballroom A
Chair(s):
Alvin Cheung
University of Washington
,
Justin Gottschlich
Intel Labs
09:30 - 10:30
Program Analysis
MAPL
at
Columbus Ballroom A
09:30
30m
Talk
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
30m
Talk
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
Code Search
MAPL
at
Columbus Ballroom A
11:00
30m
Talk
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
30m
Talk
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
New Languages
MAPL
at
Columbus Ballroom A
14:00
30m
Talk
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
30m
Talk
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
30m
Talk
Gen: probabilistic programming with fast custom inference via code generation
MAPL
Marco Cusumano-Towner
MIT-CSAIL
,
Vikash K. Mansinghka
MIT
File Attached
16:10 - 16:40
Programming Methodology
MAPL
at
Columbus Ballroom A
16:10
30m
Talk
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 Remarks
MAPL
at
Columbus Ballroom A
Chair(s):
Alvin Cheung
University of Washington
,
Justin Gottschlich
Intel Labs
17:00 - 18:00
Poster Session
MAPL
at
Columbus Ballroom A
Tue 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
08:45 - 10:30
Session A
PLMW @ PLDI
at
Columbus Ballroom A
Chair(s):
Michael Carbin
MIT
08:45
10m
Day opening
Introduction and Welcome
PLMW @ PLDI
Michael Carbin
MIT
,
Milind Kulkarni
Purdue University
,
Michelle Strout
University of Arizona
08:55
20m
Social Event
Icebreaker
PLMW @ PLDI
Michelle Strout
University of Arizona
09:15
45m
Talk
What Programming Language Researchers Do and How to Become One
PLMW @ PLDI
Kathryn S McKinley
Google
10:00
30m
Talk
Intermittent Computing Systems
PLMW @ PLDI
Brandon Lucia
Carnegie Mellon University
11:00 - 12:15
Session B
PLMW @ PLDI
at
Columbus Ballroom A
Chair(s):
Milind Kulkarni
Purdue University
11:00
45m
Talk
Crossing the Divide: Becoming a (Programming Languages) Researcher
PLMW @ PLDI
Alex Aiken
Stanford University
11:45
30m
Talk
Program verification using abductive reasoning
PLMW @ PLDI
Işıl Dillig
UT Austin
13:15 - 15:30
Session C
PLMW @ PLDI
at
Columbus Ballroom A
Chair(s):
Michelle Strout
University of Arizona
13:15
75m
Other
Panel: "Charting your Path"
PLMW @ PLDI
Sara Achour
MIT
,
Shoaib Kamil
Adobe
,
Jennifer B. Sartor
Vrije Universiteit Brussel
,
Zachary Tatlock
University of Washington, Seattle
14:30
30m
Talk
Evaluating Evaluations
PLMW @ PLDI
Milind Kulkarni
Purdue University
15:00
30m
Talk
The Importance of Communication
PLMW @ PLDI
Michael Carbin
MIT
16:00 - 17:15
Session D
PLMW @ PLDI
at
Columbus Ballroom A
Chair(s):
Milind Kulkarni
Purdue University
16:00
60m
Poster
Poster Session
PLMW @ PLDI
Milind Kulkarni
Purdue University
,
James Larus
EPFL
,
Adrian Sampson
Cornell University
,
Santosh Nagarakatte
Rutgers University, USA
,
Eva Darulova
MPI-SWS
,
Osbert Bastani
Stanford University
,
Emery D. Berger
University of Massachusetts, Amherst
,
Mayur Naik
University of Pennsylvania
,
Joseph Devietti
University of Pennsylvania
,
Sasa Misailovic
University of Illinois at Urbana-Champaign, USA
,
John Wickerson
Imperial College London
,
Xin Zhang
Massachusetts Institute of Technology, USA
,
Sara Achour
MIT
,
Michael Carbin
MIT
,
Michelle Strout
University of Arizona
17:00
15m
Day closing
Wrap up
PLMW @ PLDI
Michelle Strout
University of Arizona
,
Michael Carbin
MIT
,
Milind Kulkarni
Purdue University
Mon 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Columbus Ballroom A
MAPL
Introduction
MAPL
Program Analysis
MAPL
Code Search
MAPL
New Languages
MAPL
Programming Methodology
MAPL
Closing Remarks
MAPL
Poster Session
Tue 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Columbus Ballroom A
PLMW @ PLDI
Session A
PLMW @ PLDI
Session B
PLMW @ PLDI
Session C
PLMW @ PLDI
Session D
Mon 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Columbus Ballroom A
MAPL
Ariadne: Analysis for Machine Learning Programs
09:30 - 10:00
MAPL
Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clon ...
10:00 - 10:30
MAPL
Obfuscation Resilient Search through Executable Classification
11:00 - 11:30
MAPL
Retrieval on source code: a neural code search
11:30 - 12:00
MAPL
Relay: A New IR for Machine Learning Frameworks
14:00 - 14:30
MAPL
Diesel - DSL for Linear Algebra and Neural Net Computations on GPUs
14:30 - 15:00
MAPL
Gen: probabilistic programming with fast custom inference via code gene ...
15:00 - 15:30
MAPL
The Three Pillars of Machine Programming
16:10 - 16:40
Tue 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Columbus Ballroom A
PLMW @ PLDI
Introduction and Welcome
08:45 - 08:55
PLMW @ PLDI
Icebreaker
08:55 - 09:15
PLMW @ PLDI
What Programming Language Researchers Do and How to Become One
09:15 - 10:00
PLMW @ PLDI
Intermittent Computing Systems
10:00 - 10:30
PLMW @ PLDI
Crossing the Divide: Becoming a (Programming Languages) Researcher
11:00 - 11:45
PLMW @ PLDI
Program verification using abductive reasoning
11:45 - 12:15
PLMW @ PLDI
Panel: "Charting your Path"
13:15 - 14:30
PLMW @ PLDI
Evaluating Evaluations
14:30 - 15:00
PLMW @ PLDI
The Importance of Communication
15:00 - 15:30
PLMW @ PLDI
Poster Session
16:00 - 17:00
PLMW @ PLDI
Wrap up
17:00 - 17:15
x
Sun 22 Dec 02:23