FMS 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
Program
FMS Program
Your Program
Mon 18 Jun
Tue 19 Jun
Wed 20 Jun
Thu 21 Jun
Fri 22 Jun
Track/Call
Organization
FMS 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
FMS 2018
FMS
Sign in
Sign up
PLDI 2018
(
series
) /
FMS 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
Thu 21 Nov 17:18