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 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 AB
Venue
Hilton Philadelphia at Penn's Landing
Room name
Grand Ballroom AB
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
Wed 20 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:15
Web Pages
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Tobias Wrigstad
Uppsala University
11:00
25m
Talk
Verifying That Web Pages Have Accessible Layout
PLDI Research Papers
Pavel Panchekha
University of Washington
,
Adam T. Geller
University of Washington, USA
,
Michael D. Ernst
University of Washington, USA
,
Zachary Tatlock
University of Washington, Seattle
,
Shoaib Kamil
Adobe
Media Attached
11:25
25m
Talk
BLeak: Automatically Debugging Memory Leaks in Web Applications
PLDI Research Papers
John Vilk
University of Massachusetts, Amherst
,
Emery D. Berger
University of Massachusetts, Amherst
Media Attached
11:50
25m
Talk
Putting in All the Stops: Execution Control for JavaScript
PLDI Research Papers
Samuel Baxter
University of Massachusetts at Amherst, USA
,
Rachit Nigam
,
Joe Gibbs Politz
University of California, San Diego
,
Shriram Krishnamurthi
Brown University, USA
,
Arjun Guha
University of Massachusetts, Amherst
Media Attached
14:00 - 15:40
Concurrency and Termination
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Iulian Neamtiu
New Jersey Institute of Technology
14:00
25m
Talk
Static Serializability Analysis for Causal Consistency
PLDI Research Papers
Lucas Brutschy
ETH Zurich
,
Dimitar Dimitrov
ETH Zurich, Switzerland
,
Peter Müller
ETH Zurich
,
Martin Vechev
ETH Zürich
14:25
25m
Talk
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
PLDI Research Papers
Peizun Liu
Northeastern University, USA
,
Thomas Wahl
Northeastern University
Media Attached
14:50
25m
Talk
Symbolic Reasoning for Automatic Signal Placement
PLDI Research Papers
Kostas Ferles
UT Austin
,
Jacob Van Geffen
UT Austin
,
Işıl Dillig
UT Austin
,
Yannis Smaragdakis
University of Athens
Media Attached
15:15
25m
Talk
Advanced Automata-Based Algorithms for Program Termination Checking
PLDI Research Papers
Yu-Fang Chen
,
Matthias Heizmann
University of Freiburg, Germany
,
Ondřej Lengál
Brno University of Technology
,
Yong Li
Institute of Software, Chinese Academy of Sciences
,
Ming-Hsien Tsai
Academia Sinica, Taiwan
,
Andrea Turrini
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
,
Lijun Zhang
Institute of Software, Chinese Academy of Sciences
Media Attached
16:10 - 17:25
Transactions and Races
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Tatiana Shpeisman
Google Brain
16:10
25m
Talk
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
PLDI Research Papers
Nathan Chong
ARM Ltd.
,
Tyler Sorensen
Imperial College London
,
John Wickerson
Imperial College London
Media Attached
16:35
25m
Talk
MixT: A Language for Mixing Consistency in Geodistributed Transactions
PLDI Research Papers
Mae Milano
Cornell University
,
Andrew Myers
Cornell University
Media Attached
17:00
25m
Talk
Bounding Data Races in Space and Time
PLDI Research Papers
Stephen Dolan
University of Cambridge
,
KC Sivaramakrishnan
University of Cambridge
,
Anil Madhavapeddy
OCaml Labs
Media Attached
17:30 - 18:30
Program Chair's Report and SIGPLAN Town Hall Meeting
PLDI Invited Speakers
at
Grand Ballroom AB
Chair(s):
Dan Grossman
University of Washington
,
Michael Hicks
University of Maryland, College Park
17:30
30m
Talk
PLDI Program Chair's Report
PLDI Invited Speakers
Dan Grossman
University of Washington
Media Attached
18:00
30m
Talk
SIGPLAN Town Hall Meeting
PLDI Invited Speakers
Michael Hicks
University of Maryland, College Park
,
Benjamin C. Pierce
University of Pennsylvania
,
Steve Blackburn
Australian National University
Media Attached
Thu 21 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:15
Multicore and More
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Yannis Smaragdakis
University of Athens
11:00
25m
Talk
Spatial: A Language and Compiler for Application Accelerators
PLDI Research Papers
David Koeplinger
Stanford University, USA
,
Matthew Feldman
Stanford University, USA
,
Raghu Prabhakar
Stanford University, USA
,
Yaqi Zhang
Stanford University, USA
,
Stefan Hadjis
Stanford University, USA
,
Ruben Fiszel
EPFL, Switzerland
,
Tian Zhao
Stanford University
,
Luigi Nardi
Stanford University
,
Ardavan Pedram
Stanford University, USA
,
Christos Kozyrakis
Stanford University, USA
,
Kunle Olukotun
Stanford University
Media Attached
11:25
25m
Talk
Enhancing Computation-to-Core Assignment with Physical Location Information
PLDI Research Papers
Orhan Kislal
Pennsylvania State University, USA
,
Jagadish Kotra
Pennsylvania State University, USA
,
Xulong Tang
Penn State
,
Mahmut Taylan Kandemir
University of Pennsylvania
,
Myoungsoo Jung
Yonsei University, South Korea
Media Attached
11:50
25m
Talk
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
PLDI Research Papers
Kim-Anh Tran
Uppsala University, Sweden
,
Alexandra Jimborean
Uppsala University
,
Trevor E. Carlson
National University of Singapore
,
Konstantinos Koukos
Uppsala University, Sweden
,
Magnus Själander
Norwegian University of Science and Technology (NTNU)
,
Stefanos Kaxiras
Uppsala University, Sweden
Media Attached
14:00 - 15:40
Concurrency Debugging
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Tony Hosking
Australian National University / Data61
14:00
25m
Talk
iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
PLDI Research Papers
Hongyu Liu
University of Texas at San Antonio, USA
,
Sam Silvestro
University of Texas at San Antonio, USA
,
Wei Wang
University of Texas at San Antonio, USA
,
Chen Tian
Huawei Lab, USA
,
Tongping Liu
Media Attached
14:25
25m
Talk
D4: Fast Concurrency Debugging with Parallel Differential Analysis
PLDI Research Papers
Bozhen Liu
Texas A&M University, USA
,
Jeff Huang
Texas A&M University
Media Attached
14:50
25m
Talk
High-Coverage, Unbounded Sound Predictive Race Detection
PLDI Research Papers
Jake Roemer
Ohio State University
,
Kaan Genç
Ohio State University, USA
,
Michael D. Bond
Ohio State University
Media Attached
15:15
25m
Talk
CURD: A Dynamic CUDA Race Detector
PLDI Research Papers
Yuanfeng Peng
University of Pennsylvania
,
Vinod Grover
,
Joseph Devietti
University of Pennsylvania
Media Attached
16:10 - 17:00
Programming-Student Feedback
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Dan Grossman
University of Washington
16:10
25m
Talk
Automated Clustering and Program Repair for Introductory Programming Assignments
PLDI Research Papers
Sumit Gulwani
Microsoft Research
,
Ivan Radiček
Vienna University of Technology, Austria
,
Florian Zuleger
TU Vienna
Media Attached
16:35
25m
Talk
Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises
PLDI Research Papers
Ke Wang
University of California at Davis, USA
,
Rishabh Singh
Google Brain
,
Zhendong Su
University of California, Davis
Media Attached
Fri 22 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:15
Optimization and Locality
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Milind Kulkarni
Purdue University
11:00
25m
Talk
Polyhedral Auto-transformation with No Integer Linear Programming
PLDI Research Papers
Aravind Acharya
Indian Institute of Science, Bangalore
,
Uday Bondhugula
Indian Institute of Science
,
Albert Cohen
Inria, France / ENS, France
Media Attached
11:25
25m
Talk
Partial Control-Flow Linearization
PLDI Research Papers
Simon Moll
Saarland University, Germany
,
Sebastian Hack
Saarland University, Germany
Media Attached
11:50
25m
Talk
Locality Analysis through Static Parallel Sampling
PLDI Research Papers
Dong Chen
University of Rochester
,
Fangzhou Liu
University of Rochester
,
Chen Ding
University of Rochester
,
Sreepathi Pai
University of Rochester
Media Attached
14:00 - 15:40
Verification
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Adam Chlipala
Massachusetts Institute of Technology, USA
14:00
25m
Talk
VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
PLDI Research Papers
Brandon Bohrer
,
Yong Kiam Tan
Carnegie Mellon University, USA
,
Stefan Mitsch
Carnegie Mellon University, USA
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
,
André Platzer
Carnegie Mellon University
Media Attached
14:25
25m
Talk
Crellvm: Verified Credible Compilation for LLVM
PLDI Research Papers
Jeehoon Kang
Seoul National University
,
Yoonseung Kim
Seoul National University (South Korea)
,
Youngju Song
Seoul National University
,
Juneyoung Lee
Seoul National University
,
Sanghoon Park
Seoul National University, South Korea
,
Mark Dongyeon Shin
Seoul National University, South Korea
,
Yonghyun Kim
Seoul National University, South Korea
,
Sungkeun Cho
Seoul National University, South Korea
,
Joonwon Choi
Massachusetts Institute of Technology, USA
,
Chung-Kil Hur
Seoul National University
,
Kwangkeun Yi
Seoul National University
Media Attached
14:50
25m
Talk
Certified Concurrent Abstraction Layers
PLDI Research Papers
Ronghui Gu
Columbia University
,
Zhong Shao
Yale University
,
Jieung Kim
Yale University, USA
,
Xiongnan (Newman) Wu
Yale University
,
Jérémie Koenig
,
Vilhelm Sjöberg
Yale University
,
Hao Chen
Yale University
,
David Costanzo
Yale University
,
Tahina Ramananandro
Microsoft Research, n.n.
Media Attached
15:15
25m
Talk
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
PLDI Research Papers
Marcelo Taube
Tel Aviv University, Israel
,
Giuliano Losa
University of California at Los Angeles, USA
,
Kenneth L. McMillan
Microsoft Research
,
Oded Padon
Tel Aviv University
,
Mooly Sagiv
Tel Aviv University
,
Sharon Shoham
Tel Aviv university
,
James R. Wilcox
University of Washington
,
Doug Woos
University of Washington
Media Attached
16:10 - 17:25
Parallelism
PLDI Research Papers
at
Grand Ballroom AB
Chair(s):
Julian Dolby
IBM Thomas J. Watson Research Center
16:10
25m
Talk
GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
PLDI Research Papers
Changwan Hong
,
Aravind Sukumaran-Rajam
Ohio State University, USA
,
Jinsung Kim
Ohio State University, USA
,
Prashant Singh Rawat
,
Sriram Krishnamoorthy
Pacific Northwest National Laboratories
,
Louis-Noël Pouchet
Colorado State University
,
Fabrice Rastello
INRIA
,
P. Sadayappan
Ohio State University
Media Attached
16:35
25m
Talk
Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
PLDI Research Papers
Roshan Dathathri
University of Texas at Austin, USA
,
Gurbinder Gill
University of Texas at Austin, USA
,
Loc Hoang
University of Texas at Austin, USA
,
Hoang-Vu Dang
University of Illinois at Urbana-Champaign, USA
,
Alex Brooks
University of Illinois at Urbana-Champaign, USA
,
Nikoli Dryden
University of Illinois at Urbana-Champaign, USA
,
Marc Snir
UIUC
,
Keshav Pingali
University of Texas at Austin, USA
Media Attached
17:00
25m
Talk
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
PLDI Research Papers
Umut A. Acar
Carnegie Mellon University
,
Arthur Charguéraud
Inria
,
Adrien Guatto
,
Mike Rainey
,
Filip Sieczkowski
University of Wrocław
Media Attached
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
18:00
30
Grand Ballroom AB
PLDI Research Papers
Web Pages
PLDI Research Papers
Concurrency and Termination
PLDI Research Papers
Transactions and Races
PLDI Invited Speakers
Program Chair's Report and SIGPLAN Town Hall Meeting
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 AB
PLDI Research Papers
Multicore and More
PLDI Research Papers
Concurrency Debugging
PLDI Research Papers
Programming-Student Feedback
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 AB
PLDI Research Papers
Optimization and Locality
PLDI Research Papers
Verification
PLDI Research Papers
Parallelism
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
18:00
15
30
45
Grand Ballroom AB
PLDI Research Papers
Verifying That Web Pages Have Accessible Layout
11:00 - 11:25
PLDI Research Papers
BLeak: Automatically Debugging Memory Leaks in Web Applications
11:25 - 11:50
PLDI Research Papers
Putting in All the Stops: Execution Control for JavaScript
11:50 - 12:15
PLDI Research Papers
Static Serializability Analysis for Causal Consistency
14:00 - 14:25
PLDI Research Papers
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
14:25 - 14:50
PLDI Research Papers
Symbolic Reasoning for Automatic Signal Placement
14:50 - 15:15
PLDI Research Papers
Advanced Automata-Based Algorithms for Program Termination Checking
15:15 - 15:40
PLDI Research Papers
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
16:10 - 16:35
PLDI Research Papers
MixT: A Language for Mixing Consistency in Geodistributed Transactions
16:35 - 17:00
PLDI Research Papers
Bounding Data Races in Space and Time
17:00 - 17:25
PLDI Invited Speakers
PLDI Program Chair's Report
17:30 - 18:00
PLDI Invited Speakers
SIGPLAN Town Hall Meeting
18:00 - 18:30
Thu 21 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
Grand Ballroom AB
PLDI Research Papers
Spatial: A Language and Compiler for Application Accelerators
11:00 - 11:25
PLDI Research Papers
Enhancing Computation-to-Core Assignment with Physical Location Information
11:25 - 11:50
PLDI Research Papers
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, ...
11:50 - 12:15
PLDI Research Papers
iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Ap ...
14:00 - 14:25
PLDI Research Papers
D4: Fast Concurrency Debugging with Parallel Differential Analysis
14:25 - 14:50
PLDI Research Papers
High-Coverage, Unbounded Sound Predictive Race Detection
14:50 - 15:15
PLDI Research Papers
CURD: A Dynamic CUDA Race Detector
15:15 - 15:40
PLDI Research Papers
Automated Clustering and Program Repair for Introductory Programming As ...
16:10 - 16:35
PLDI Research Papers
Search, Align, and Repair: Data-Driven Feedback Generation for Introduc ...
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 AB
PLDI Research Papers
Polyhedral Auto-transformation with No Integer Linear Programming
11:00 - 11:25
PLDI Research Papers
Partial Control-Flow Linearization
11:25 - 11:50
PLDI Research Papers
Locality Analysis through Static Parallel Sampling
11:50 - 12:15
PLDI Research Papers
VeriPhy: Verified Controller Executables from Verified Cyber-Physical S ...
14:00 - 14:25
PLDI Research Papers
Crellvm: Verified Credible Compilation for LLVM
14:25 - 14:50
PLDI Research Papers
Certified Concurrent Abstraction Layers
14:50 - 15:15
PLDI Research Papers
Modularity for Decidability of Deductive Verification with Applications ...
15:15 - 15:40
PLDI Research Papers
GPU Code Optimization using Abstract Kernel Emulation and Sensitivity A ...
16:10 - 16:35
PLDI Research Papers
Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneo ...
16:35 - 17:00
PLDI Research Papers
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
17:00 - 17:25
x
Sat 23 Nov 08:54