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: Grand Ballroom CD
Venue
Hilton Philadelphia at Penn's Landing
Room name
Grand Ballroom CD
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
Tue 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
12:15 - 14:00
Lunch
PLDI Catering
at
Grand Ballroom CD
12:15
1h45m
Lunch
Lunch
PLDI Catering
Wed 20 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:15
Emerging Hardware
PLDI Research Papers
at
Grand Ballroom CD
Chair(s):
Ryan R. Newton
Indiana University
11:00
25m
Talk
Persistency for Synchronization-Free Regions
PLDI Research Papers
Vaibhav Gogte
University of Michigan, USA
,
Stephan Diestelhorst
ARM Research, UK
,
William Wang
Arm Research, UK
,
Satish Narayanasamy
University of Michigan
,
Peter M. Chen
University of Michigan, USA
,
Thomas F. Wenisch
University of Michigan, USA
Media Attached
11:25
25m
Talk
Write-Rationing Garbage Collection for Hybrid Memories
PLDI Research Papers
Shoaib Akram
Ghent University
,
Jennifer B. Sartor
Vrije Universiteit Brussel
,
Kathryn S McKinley
Google
,
Lieven Eeckhout
Ghent University, Belgium
Media Attached
11:50
25m
Talk
Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
PLDI Research Papers
Chit-Kwan Lin
Intel Labs, n.n.
,
Andreas Wild
Intel Labs, n.n.
,
Tsung-Han Lin
Intel Labs, n.n.
,
Gautham N. Chinya
Intel Labs, n.n.
,
Mike Davies
Intel Labs, n.n.
,
Hong Wang
Intel Labs, n.n.
Media Attached
14:00 - 15:40
Dynamic Techniques
PLDI Research Papers
at
Grand Ballroom CD
Chair(s):
Sorin Lerner
University of California, San Diego
14:00
25m
Talk
HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack
PLDI Research Papers
Guilherme Ottoni
Facebook
Media Attached
14:25
25m
Talk
On-Stack Replacement, Distilled
PLDI Research Papers
Daniele Cono D'Elia
Sapienza University of Rome, Italy
,
Camil Demetrescu
Sapienza University Rome
Media Attached
14:50
25m
Talk
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
PLDI Research Papers
Gregory J. Duck
National University of Singapore, Singapore
,
Roland H. C. Yap
National University of Singapore, Singapore
Media Attached
15:15
25m
Talk
Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
PLDI Research Papers
Cheng Cai
University of California, Irvine
,
Qirun Zhang
University of California, Davis
,
Zhiqiang Zuo
Nanjing University, China
,
Khanh Nguyen
University of California, Irvine
,
Harry Xu
University of California, Los Angeles (UCLA)
,
Zhendong Su
University of California, Davis
Media Attached
16:10 - 17:25
Floats and Maps
PLDI Research Papers
at
Grand Ballroom CD
Chair(s):
Hans-J. Boehm
Google
16:10
25m
Talk
Finding Root Causes of Floating Point Error
PLDI Research Papers
Alex Sanchez-Stern
University of California, San Diego
,
Pavel Panchekha
University of Washington
,
Sorin Lerner
University of California, San Diego
,
Zachary Tatlock
University of Washington, Seattle
Media Attached
16:35
25m
Talk
Ryū: Fast Float-to-String Conversion
PLDI Research Papers
Ulf Adams
Google, Germany
Media Attached
17:00
25m
Talk
To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries
PLDI Research Papers
Michael J. Steindorfer
Delft University of Technology
,
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
Media Attached
Thu 21 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:30
SRC presentations
PLDI Student Research Competition (SRC)
at
Grand Ballroom CD
14:00 - 15:40
Synthesis and Learning
PLDI Research Papers
at
Grand Ballroom CD
Chair(s):
Xin Zhang
Massachusetts Institute of Technology, USA
14:00
25m
Talk
A General Path-Based Representation for Predicting Program Properties
PLDI Research Papers
Uri Alon
Technion
,
Meital Zilberstein
Technion
,
Omer Levy
University of Washington, USA
,
Eran Yahav
Technion
Media Attached
14:25
25m
Talk
Program Synthesis using Conflict-Driven Learning
PLDI Research Papers
Yu Feng
University of Texas at Austin, USA
,
Ruben Martins
Carnegie Mellon University
,
Osbert Bastani
Stanford University
,
Işıl Dillig
UT Austin
Media Attached
14:50
25m
Talk
Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
PLDI Research Papers
Woosuk Lee
University of Pennsylvania, USA
,
Kihong Heo
University of Pennsylvania, USA
,
Rajeev Alur
University of Pennsylvania
,
Mayur Naik
University of Pennsylvania
Media Attached
15:15
25m
Talk
Inferring Crypto API Rules from Code Changes
PLDI Research Papers
Rumen Atanasov Paletov
,
Petar Tsankov
ETH Zurich
,
Veselin Raychev
ETH Zurich
,
Martin Vechev
ETH Zürich
Media Attached
16:10 - 17:00
Analyzing Probabilistic Programs
PLDI Research Papers
at
Grand Ballroom CD
Chair(s):
Eva Darulova
MPI-SWS
16:10
25m
Talk
Bounded Expectations: Resource Analysis for Probabilistic Programs
PLDI Research Papers
Van Chan Ngo
Carnegie Mellon University
,
Quentin Carbonneaux
Yale University
,
Jan Hoffmann
Carnegie Mellon University
Media Attached
16:35
25m
Talk
PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs
PLDI Research Papers
Di Wang
Carnegie Mellon University
,
Jan Hoffmann
Carnegie Mellon University
,
Thomas Reps
University of Wisconsin - Madison and GrammaTech, Inc.
Media Attached
Fri 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:15
Inference for Probabilistic Programs
PLDI Research Papers
at
Grand Ballroom CD
Chair(s):
Arjun Guha
University of Massachusetts, Amherst
11:00
25m
Talk
Incremental Inference for Probabilistic Programs
PLDI Research Papers
Marco Cusumano-Towner
MIT-CSAIL
,
Benjamin Bichsel
ETH Zurich, Switzerland
,
Timon Gehr
,
Martin Vechev
ETH Zürich
,
Vikash K. Mansinghka
MIT
Media Attached
11:25
25m
Talk
Bayonet: Probabilistic Inference for Networks
PLDI Research Papers
Timon Gehr
,
Sasa Misailovic
University of Illinois at Urbana-Champaign, USA
,
Petar Tsankov
ETH Zurich
,
Laurent Vanbever
ETH Zürich
,
Pascal Wiesmann
ETH Zurich, Switzerland
,
Martin Vechev
ETH Zürich
Media Attached
11:50
25m
Talk
Probabilistic Programming with Programmable Inference
PLDI Research Papers
Vikash K. Mansinghka
MIT
,
Ulrich Schaechtle
Massachusetts Institute of Technology, USA
,
Shivam Handa
,
Alexey Radul
,
Yutian Chen
Google Deepmind, n.n.
,
Martin C. Rinard
Massachusetts Institute of Technology
Media Attached
14:00 - 15:40
Program Analysis
PLDI Research Papers
at
Grand Ballroom CD
Chair(s):
Işıl Dillig
UT Austin
14:00
25m
Talk
Active Learning of Points-To Specifications
PLDI Research Papers
Osbert Bastani
Stanford University
,
Rahul Sharma
Microsoft Research
,
Alex Aiken
Stanford University
,
Percy Liang
Stanford University
Media Attached
14:25
25m
Talk
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
PLDI Research Papers
Qingkai Shi
Hong Kong University of Science and Technology, China
,
Xiao Xiao
SourceBrella Inc.
,
Rongxin Wu
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
,
Jinguo Zhou
Sourcebrella Inc.
,
Gang Fan
,
Charles Zhang
Media Attached
14:50
25m
Talk
A Data-Driven CHC Solver
PLDI Research Papers
He Zhu
Rutgers University, USA
,
Stephen Magill
,
Suresh Jagannathan
Purdue University
Media Attached
15:15
25m
Talk
User-Guided Program Reasoning using Bayesian Inference
PLDI Research Papers
Mukund Raghothaman
University of Pennsylvania
,
Sulekha Kulkarni
Georgia Tech
,
Kihong Heo
University of Pennsylvania, USA
,
Mayur Naik
University of Pennsylvania
Media Attached
16:10 - 17:25
Types
PLDI Research Papers
at
Grand Ballroom CD
Chair(s):
Kathleen Fisher
Tufts University
16:10
25m
Talk
Guarded Impredicative Polymorphism
PLDI Research Papers
Alejandro Serrano
Utrecht University
,
Jurriaan Hage
Utrecht University
,
Dimitrios Vytiniotis
Microsoft Research, Cambridge
,
Simon Peyton Jones
Microsoft Research
Media Attached
16:35
25m
Talk
Typed Closure Conversion for the Calculus of Constructions
PLDI Research Papers
William J. Bowman
Northeastern University, USA
,
Amal Ahmed
Northeastern University, USA
Media Attached
17:00
25m
Talk
Inferring Type Rules for Syntactic Sugar
PLDI Research Papers
Justin Pombrio
Brown University, USA
,
Shriram Krishnamurthi
Brown University, USA
Media Attached
Tue 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
30
13:00
30
Grand Ballroom CD
PLDI Catering
Lunch
Wed 20 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Grand Ballroom CD
PLDI Research Papers
Emerging Hardware
PLDI Research Papers
Dynamic Techniques
PLDI Research Papers
Floats and Maps
Thu 21 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Ballroom CD
PLDI Student Research Competition (SRC)
SRC presentations
PLDI Research Papers
Synthesis and Learning
PLDI Research Papers
Analyzing Probabilistic Programs
Fri 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Grand Ballroom CD
PLDI Research Papers
Inference for Probabilistic Programs
PLDI Research Papers
Program Analysis
PLDI Research Papers
Types
Tue 19 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Grand Ballroom CD
PLDI Catering
Lunch
12:15 - 14:00
Wed 20 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
Grand Ballroom CD
PLDI Research Papers
Persistency for Synchronization-Free Regions
11:00 - 11:25
PLDI Research Papers
Write-Rationing Garbage Collection for Hybrid Memories
11:25 - 11:50
PLDI Research Papers
Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
11:50 - 12:15
PLDI Research Papers
HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack
14:00 - 14:25
PLDI Research Papers
On-Stack Replacement, Distilled
14:25 - 14:50
PLDI Research Papers
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
14:50 - 15:15
PLDI Research Papers
Calling-to-Reference Context Translation via Constraint-Guided CFL-Reac ...
15:15 - 15:40
PLDI Research Papers
Finding Root Causes of Floating Point Error
16:10 - 16:35
PLDI Research Papers
Ryū: Fast Float-to-String Conversion
16:35 - 17:00
PLDI Research Papers
To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps w ...
17:00 - 17:25
Thu 21 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Grand Ballroom CD
PLDI Research Papers
A General Path-Based Representation for Predicting Program Properties
14:00 - 14:25
PLDI Research Papers
Program Synthesis using Conflict-Driven Learning
14:25 - 14:50
PLDI Research Papers
Accelerating Search-Based Program Synthesis using Learned Probabilistic ...
14:50 - 15:15
PLDI Research Papers
Inferring Crypto API Rules from Code Changes
15:15 - 15:40
PLDI Research Papers
Bounded Expectations: Resource Analysis for Probabilistic Programs
16:10 - 16:35
PLDI Research Papers
PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs
16:35 - 17:00
Fri 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
Grand Ballroom CD
PLDI Research Papers
Incremental Inference for Probabilistic Programs
11:00 - 11:25
PLDI Research Papers
Bayonet: Probabilistic Inference for Networks
11:25 - 11:50
PLDI Research Papers
Probabilistic Programming with Programmable Inference
11:50 - 12:15
PLDI Research Papers
Active Learning of Points-To Specifications
14:00 - 14:25
PLDI Research Papers
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines ...
14:25 - 14:50
PLDI Research Papers
A Data-Driven CHC Solver
14:50 - 15:15
PLDI Research Papers
User-Guided Program Reasoning using Bayesian Inference
15:15 - 15:40
PLDI Research Papers
Guarded Impredicative Polymorphism
16:10 - 16:35
PLDI Research Papers
Typed Closure Conversion for the Calculus of Constructions
16:35 - 17:00
PLDI Research Papers
Inferring Type Rules for Syntactic Sugar
17:00 - 17:25
x
Sun 22 Dec 02:19