Write a Blog >>
ECOOP 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
Social Events
Sponsoring
Awards
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Registration
Hotels
Anti-Harassment Policy
Program
Complete Program
Your Program
Accepted papers
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Tracks
ECOOP 2017
ECOOP Artifacts
ECOOP Invited Speakers
ECOOP Research Papers
ECOOP Workshops
ECOOP Doctoral Symposium
ECOOP Student Volunteers
ECOOP Summer School
Co-hosted Workshops
COP
-17
FTfJP
ICOOOLPS
IWACO
JSTools
PMLDC
VORTEX
17
Organization
ECOOP 2017
Organizing Committee
ECOOP Artifacts
Artifact Evaluation Committee
ECOOP Research Papers
Program Committee
ECOOP Workshops
Organizing Committee
ECOOP Doctoral Symposium
Academic Panel
Invited Speakers
Program Committee
ECOOP Summer School
Speakers
Mentors
Organizers
Contributors
People Index
Co-hosted Workshops
COP
COP-17
Organizing Committee
COP-17
Program Committee
FTfJP
FTfJP 2017
Program Committee
ICOOOLPS
ICOOOLPS 2017
Organizing Committee
ICOOOLPS 2017
Program Committee
IWACO
IWACO 2017
Organizing Committee
IWACO 2017
Program Committee
JSTools
JSTools 2017
Organizing Committee
JSTools 2017
Program Committee
PMLDC
PMLDC 2017
Organizing Committee
PMLDC 2017
Program Committee
VORTEX
VORTEX17
Organizing Committee
VORTEX17
Program Committee
Search
Series
Series
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
2014: Uppsala
ECOOP 2015
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
ECOOP 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
Room number
Capacity
160
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 19 Jun
pldi-2017-papers
10:50 - 12:30:
PLDI Research Papers
- Learning and Probabilistic at
Actes, Civil Engineering
Chair(s):
Swarat Chaudhuri
Rice University
pldi-2017-papers
10:50 - 11:15
Talk
DemoMatch: API Discovery from Demonstrations
Kuat Yessenov
MIT
,
Ivan Kuraj
MIT CSAIL, USA
,
Armando Solar-Lezama
MIT CSAIL
Media Attached
pldi-2017-papers
11:15 - 11:40
Talk
Similarity of Binaries through re-Optimization
Yaniv David
Technion
,
Nimrod Partush
Technion
,
Eran Yahav
Technion
pldi-2017-papers
11:40 - 12:05
Talk
Synthesizing Program Input Grammars
Osbert Bastani
Stanford University
,
Rahul Sharma
Microsoft Research
,
Alex Aiken
Stanford University
,
Percy Liang
Stanford University
Media Attached
pldi-2017-papers
12:05 - 12:30
Talk
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
Daniel Huang
Harvard University
,
Jean-Baptiste Tristan
Oracle Labs
,
Greg Morrisett
Cornell University
Media Attached
pldi-2017-papers
14:00 - 15:40:
PLDI Research Papers
- Language Implementation at
Actes, Civil Engineering
Chair(s):
David F. Bacon
Google
pldi-2017-papers
14:00 - 14:25
Talk
Bringing the Web up to Speed with WebAssembly
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
pldi-2017-papers
14:25 - 14:50
Talk
Miniphases: Compilation using Modular and Efficient Tree Transformations
Dmytro Petrashko
EPFL
,
Ondřej Lhoták
University of Waterloo, Canada
,
Martin Odersky
EPFL, Switzerland
Media Attached
pldi-2017-papers
14:50 - 15:15
Talk
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
Anthony Canino
SUNY Binghamton
,
Yu David Liu
State University of New York (SUNY) Binghamton
Media Attached
pldi-2017-papers
15:15 - 15:40
Talk
Simple, fast and safe manual memory management
Piyus Kedia
Indian Institute of Technology Delhi
,
Manuel Costa
Microsoft Research
,
Matthew Parkinson
Microsoft Research, UK
,
Kapil Vaswani
Microsoft Research
,
Dimitrios Vytiniotis
Microsoft Research, Cambridge
Media Attached
pldi-2017-papers
16:10 - 17:50:
PLDI Research Papers
- Dynamic Analysis and Testing at
Actes, Civil Engineering
Chair(s):
Michael Pradel
TU Darmstadt
pldi-2017-papers
16:10 - 16:35
Talk
Achieving High Coverage for Floating-point Code via Unconstrained Programming
Zhoulai Fu
University of California, Davis
,
Zhendong Su
University of California, Davis
Media Attached
pldi-2017-papers
16:35 - 17:00
Talk
Instruction Punning: Lightweight Instrumentation for x86-64
Buddhika Chamith
Indiana University
,
Luke Dalessandro
Indiana University
,
Bo Joel Svensson
Chalmers University of Technology, Sweden
,
Ryan R. Newton
Indiana University
Media Attached
pldi-2017-papers
17:00 - 17:25
Talk
Low Overhead Dynamic Binary Translation on ARM
Amanieu d'Antras
University of Manchester
,
Cosmin Gorgovan
University of Manchester
,
Jim Garside
University of Manchester
,
Mikel Lujan
Media Attached
pldi-2017-papers
17:25 - 17:50
Talk
Skeletal Program Enumeration for Rigorous Compiler Testing
Qirun Zhang
University of California, Davis
,
Chengnian Sun
University of California, Davis
,
Zhendong Su
University of California, Davis
Media Attached
Tue 20 Jun
pldi-2017-papers
10:50 - 12:30:
PLDI Research Papers
- Synthesis at
Actes, Civil Engineering
Chair(s):
Sasa Misailovic
University of Illinois at Urbana-Champaign
pldi-2017-papers
10:50 - 11:15
Talk
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Yu Feng
University of Texas at Austin, USA
,
Ruben Martins
,
Jacob Van Geffen
UT Austin
,
Isil Dillig
UT Austin
,
Swarat Chaudhuri
Rice University
Media Attached
pldi-2017-papers
11:15 - 11:40
Talk
Network Configuration Synthesis with Abstract Topologies
Ryan Beckett
Princeton University
,
Ratul Mahajan
Microsoft
,
Todd Millstein
University of California, Los Angeles
,
Jitendra Padhye
Microsoft
,
David Walker
Princeton University
Media Attached
pldi-2017-papers
11:40 - 12:05
Talk
Synthesizing Highly Expressive SQL Queries from Input-Output Examples
Chenglong Wang
University of Washington, USA
,
Alvin Cheung
University of Washington
,
Rastislav Bodik
University of Washington
Media Attached
pldi-2017-papers
12:05 - 12:30
Talk
Synthesizing Memory Models from Framework Sketches and Litmus Tests
James Bornholt
University of Washington
,
Emina Torlak
University of Washington, USA
Pre-print
Media Attached
pldi-2017-papers
14:00 - 15:40:
PLDI Research Papers
- Parallelization and Concurrency at
Actes, Civil Engineering
Chair(s):
Milind Kulkarni
Purdue University
pldi-2017-papers
14:00 - 14:25
Talk
Synthesis of Divide and Conquer Parallelism for Loops
Azadeh Farzan
University of Toronto
,
Victor Nicolet
University of Toronto
Media Attached
pldi-2017-papers
14:25 - 14:50
Talk
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
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
pldi-2017-papers
14:50 - 15:15
Talk
Gradual Synthesis for Static Parallelization
Grigory Fedyukovich
UW CSE
,
Maaz Bin Safeer Ahmad
UW / CSE
,
Rastislav Bodik
University of Washington
Pre-print
Media Attached
pldi-2017-papers
15:15 - 15:40
Talk
Verifying invariants of lock-free data structures with rely-guarantee and refinement type
Colin Gordon
Drexel University
,
Michael D. Ernst
University of Washington, USA
,
Dan Grossman
University of Washington
,
Matthew Parkinson
Microsoft Research, UK
Pre-print
Media Attached
pldi-2017-papers
16:10 - 17:00:
PLDI Research Papers
- Correctness at
Actes, Civil Engineering
Chair(s):
Joseph Devietti
University of Pennsylvania
pldi-2017-papers
16:10 - 16:35
Talk
Repairing Sequential Consistency in C/C++11
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
pldi-2017-papers
16:35 - 17:00
Talk
Taming Undefined Behavior in LLVM
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
Media Attached
Mon 19 Jun 2017
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
10:50 - 12:30
PLDI Research Papers
Language Implementation
14:00 - 15:40
PLDI Research Papers
Dynamic Analysis and Testing
16:10 - 17:50
Tue 20 Jun 2017
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
Synthesis
10:50 - 12:30
PLDI Research Papers
Parallelization and Concurrency
14:00 - 15:40
PLDI Research Papers
Correctness
16:10 - 17:00
Mon 19 Jun 2017
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 2017
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
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
Sat 16 Feb 06:37