Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017
Barcelona, Spain
co-located with
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Sponsoring
Registration
Visas
Hotels
Student Travel Support
Internet on site
Social Event
Program
Complete Program
Your Program
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Tracks
PLDI 2017
PLDI Invited Speakers
PLDI Research Papers
PLDI Research Artifacts
PLDI Student Research Competition
Student Volunteers
PLDI Workshops
PLDI Tutorials
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
Workshops
ARRAY
DSW
IC
MAPL
PLMW
SOAP
WCIRE
Organization
PLDI 2017 Committees
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Steering Committee
Artifact Evaluation Committee
SRC Panel
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Steering Committee
Program Committee
External Review Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
DSW
Organizing Committee
IC
Keynote speaker
Organizing Committee
Program Committee
MAPL
Organizing Committee
Program Committee
PLMW
Mentors
SOAP
Organizing Committee
Program Committee
WCIRE
Organizing Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Actes, Civil Engineering
Venue
Universitat Politècnica de Catalunya
Room name
Actes, Civil Engineering
Floor
0
Capacity
160
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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+01: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 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:50 - 12:30
Learning and Probabilistic
PLDI Research Papers
at
Actes, Civil Engineering
Chair(s):
Swarat Chaudhuri
Rice University
10:50
25m
Talk
DemoMatch: API Discovery from Demonstrations
PLDI Research Papers
Kuat Yessenov
MIT
,
Ivan Kuraj
MIT CSAIL, USA
,
Armando Solar-Lezama
MIT CSAIL
Media Attached
11:15
25m
Talk
Similarity of Binaries through re-Optimization
PLDI Research Papers
Yaniv David
Technion
,
Nimrod Partush
Technion
,
Eran Yahav
Technion
11:40
25m
Talk
Synthesizing Program Input Grammars
PLDI Research Papers
Osbert Bastani
Stanford University
,
Rahul Sharma
Microsoft Research
,
Alex Aiken
Stanford University
,
Percy Liang
Stanford University
Media Attached
12:05
25m
Talk
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
PLDI Research Papers
Daniel Huang
Harvard University
,
Jean-Baptiste Tristan
Oracle Labs
,
Greg Morrisett
Cornell University
Media Attached
14:00 - 15:40
Language Implementation
PLDI Research Papers
at
Actes, Civil Engineering
Chair(s):
David F. Bacon
Google
14:00
25m
Talk
Bringing the Web up to Speed with WebAssembly
PLDI Research Papers
Andreas Haas
Google
,
Andreas Rossberg
Google
,
Derek Schuff
Google
,
Ben L. Titzer
Google
,
Dan Gohman
Mozilla
,
Luke Wagner
Mozilla
,
Alon Zakai
Mozilla
,
JF Bastien
Apple
,
Michael Holman
Microsoft
Media Attached
14:25
25m
Talk
Miniphases: Compilation using Modular and Efficient Tree Transformations
PLDI Research Papers
Dmytro Petrashko
EPFL
,
Ondřej Lhoták
University of Waterloo, Canada
,
Martin Odersky
EPFL, Switzerland
Media Attached
14:50
25m
Talk
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
PLDI Research Papers
Anthony Canino
SUNY Binghamton
,
Yu David Liu
State University of New York (SUNY) Binghamton
Media Attached
15:15
25m
Talk
Simple, fast and safe manual memory management
PLDI Research Papers
Piyus Kedia
Indian Institute of Technology Delhi
,
Manuel Costa
Microsoft Research
,
Matthew J. Parkinson
Microsoft Research, UK
,
Kapil Vaswani
Microsoft Research
,
Dimitrios Vytiniotis
Microsoft Research, Cambridge
Media Attached
16:10 - 17:50
Dynamic Analysis and Testing
PLDI Research Papers
at
Actes, Civil Engineering
Chair(s):
Michael Pradel
TU Darmstadt
16:10
25m
Talk
Achieving High Coverage for Floating-point Code via Unconstrained Programming
PLDI Research Papers
Zhoulai Fu
University of California, Davis
,
Zhendong Su
University of California, Davis
Media Attached
16:35
25m
Talk
Instruction Punning: Lightweight Instrumentation for x86-64
PLDI Research Papers
Buddhika Chamith
Indiana University
,
Luke Dalessandro
Indiana University
,
Bo Joel Svensson
Chalmers University of Technology, Sweden
,
Ryan R. Newton
Indiana University
Media Attached
17:00
25m
Talk
Low Overhead Dynamic Binary Translation on ARM
PLDI Research Papers
Amanieu d'Antras
University of Manchester
,
Cosmin Gorgovan
University of Manchester
,
Jim Garside
University of Manchester
,
Mikel Luján
Media Attached
17:25
25m
Talk
Skeletal Program Enumeration for Rigorous Compiler Testing
PLDI Research Papers
Qirun Zhang
University of California, Davis
,
Chengnian Sun
University of California, Davis
,
Zhendong Su
University of California, Davis
Media Attached
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:50 - 12:30
Synthesis
PLDI Research Papers
at
Actes, Civil Engineering
Chair(s):
Sasa Misailovic
University of Illinois at Urbana-Champaign
10:50
25m
Talk
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
PLDI Research Papers
Yu Feng
University of Texas at Austin, USA
,
Ruben Martins
,
Jacob Van Geffen
UT Austin
,
Işıl Dillig
UT Austin
,
Swarat Chaudhuri
Rice University
Media Attached
11:15
25m
Talk
Network Configuration Synthesis with Abstract Topologies
PLDI Research Papers
Ryan Beckett
Princeton University
,
Ratul Mahajan
Microsoft
,
Todd Millstein
University of California, Los Angeles
,
Jitendra Padhye
Microsoft
,
David Walker
Princeton University
Media Attached
11:40
25m
Talk
Synthesizing Highly Expressive SQL Queries from Input-Output Examples
PLDI Research Papers
Chenglong Wang
University of Washington, USA
,
Alvin Cheung
University of Washington
,
Rastislav Bodík
University of Washington
Media Attached
12:05
25m
Talk
Synthesizing Memory Models from Framework Sketches and Litmus Tests
PLDI Research Papers
James Bornholt
University of Washington
,
Emina Torlak
University of Washington, USA
Pre-print
Media Attached
14:00 - 15:40
Parallelization and Concurrency
PLDI Research Papers
at
Actes, Civil Engineering
Chair(s):
Milind Kulkarni
Purdue University
14:00
25m
Talk
Synthesis of Divide and Conquer Parallelism for Loops
PLDI Research Papers
Azadeh Farzan
University of Toronto
,
Victor Nicolet
University of Toronto
Media Attached
14:25
25m
Talk
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
PLDI Research Papers
Troels Henriksen
DIKU, University of Copenhagen
,
Niels G. W. Serup
DIKU, University of Copenhagen
,
Martin Elsman
Department of Computer Science, University of Copenhagen
,
Fritz Henglein
DIKU, Denmark
,
Cosmin Oancea
DIKU, University of Copenhagen
Media Attached
14:50
25m
Talk
Gradual Synthesis for Static Parallelization
PLDI Research Papers
Grigory Fedyukovich
UW CSE
,
Maaz Bin Safeer Ahmad
UW / CSE
,
Rastislav Bodík
University of Washington
Pre-print
Media Attached
15:15
25m
Talk
Verifying invariants of lock-free data structures with rely-guarantee and refinement type
PLDI Research Papers
Colin Gordon
Drexel University
,
Michael D. Ernst
University of Washington, USA
,
Dan Grossman
University of Washington
,
Matthew J. Parkinson
Microsoft Research, UK
Pre-print
Media Attached
16:10 - 17:00
Correctness
PLDI Research Papers
at
Actes, Civil Engineering
Chair(s):
Joseph Devietti
University of Pennsylvania
16:10
25m
Talk
Repairing Sequential Consistency in C/C++11
PLDI Research Papers
Ori Lahav
MPI-SWS
,
Viktor Vafeiadis
MPI-SWS, Germany
,
Jeehoon Kang
Seoul National University
,
Chung-Kil Hur
Seoul National University
,
Derek Dreyer
MPI-SWS
Media Attached
16:35
25m
Talk
Taming Undefined Behavior in LLVM
PLDI Research Papers
Juneyoung Lee
Seoul National University
,
Yoonseung Kim
Seoul National University (South Korea)
,
Youngju Song
Seoul National University
,
Chung-Kil Hur
Seoul National University
,
Sanjoy Das
Azul Systems
,
David Majnemer
Google
,
John Regehr
University of Utah
,
Nuno P. Lopes
Microsoft Research
Pre-print
Media Attached
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Actes, Civil Engineering
PLDI Research Papers
Learning and Probabilistic
PLDI Research Papers
Language Implementation
PLDI Research Papers
Dynamic Analysis and Testing
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Actes, Civil Engineering
PLDI Research Papers
Synthesis
PLDI Research Papers
Parallelization and Concurrency
PLDI Research Papers
Correctness
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Actes, Civil Engineering
PLDI Research Papers
DemoMatch: API Discovery from Demonstrations
10:50 - 11:15
PLDI Research Papers
Similarity of Binaries through re-Optimization
11:15 - 11:40
PLDI Research Papers
Synthesizing Program Input Grammars
11:40 - 12:05
PLDI Research Papers
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
12:05 - 12:30
PLDI Research Papers
Bringing the Web up to Speed with WebAssembly
14:00 - 14:25
PLDI Research Papers
Miniphases: Compilation using Modular and Efficient Tree Transformations
14:25 - 14:50
PLDI Research Papers
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
14:50 - 15:15
PLDI Research Papers
Simple, fast and safe manual memory management
15:15 - 15:40
PLDI Research Papers
Achieving High Coverage for Floating-point Code via Unconstrained Progr ...
16:10 - 16:35
PLDI Research Papers
Instruction Punning: Lightweight Instrumentation for x86-64
16:35 - 17:00
PLDI Research Papers
Low Overhead Dynamic Binary Translation on ARM
17:00 - 17:25
PLDI Research Papers
Skeletal Program Enumeration for Rigorous Compiler Testing
17:25 - 17:50
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Actes, Civil Engineering
PLDI Research Papers
Component-based Synthesis of Table Consolidation and Transformation Tas ...
10:50 - 11:15
PLDI Research Papers
Network Configuration Synthesis with Abstract Topologies
11:15 - 11:40
PLDI Research Papers
Synthesizing Highly Expressive SQL Queries from Input-Output Examples
11:40 - 12:05
PLDI Research Papers
Synthesizing Memory Models from Framework Sketches and Litmus Tests
12:05 - 12:30
PLDI Research Papers
Synthesis of Divide and Conquer Parallelism for Loops
14:00 - 14:25
PLDI Research Papers
Futhark: Purely Functional GPU-programming with Nested Parallelism and ...
14:25 - 14:50
PLDI Research Papers
Gradual Synthesis for Static Parallelization
14:50 - 15:15
PLDI Research Papers
Verifying invariants of lock-free data structures with rely-guarantee a ...
15:15 - 15:40
PLDI Research Papers
Repairing Sequential Consistency in C/C++11
16:10 - 16:35
PLDI Research Papers
Taming Undefined Behavior in LLVM
16:35 - 17:00
x
Tue 5 Nov 13:24