FMS 2018
Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States
co-located with PLDI 2018
PLDI 2018 (series) / FMS 2018 (series) / Hilton Philadelphia at Penn's Landing /

Room information: Grand Ballroom AB

VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom AB
Floor0
Room InformationNo extra information available
Program

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 PagesPLDI 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 TerminationPLDI 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 RacesPLDI 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 MeetingPLDI 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 MorePLDI 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 DebuggingPLDI 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 FeedbackPLDI 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 LocalityPLDI 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
VerificationPLDI 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
ParallelismPLDI 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

Room11:003012:003013:003014:003015:003016:003017:003018:0030
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

Room11:003012:003013:003014:003015:003016:0030
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

Room11:003012:003013:003014:003015:003016:003017:0030
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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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