Actes, Civil Engineering - ECOOP 2017

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

VenueUniversitat Politècnica de Catalunya

Room nameActes, Civil Engineering

Floor0

Room number

Capacity160

Additional informationThere is no additional information of this room available.

Program

Mon 19 Jun

10:50 - 12:30: - Learning and Probabilistic at Actes, Civil Engineering
Chair(s): Swarat Chaudhuri

10:50 - 11:15
Talk

DemoMatch: API Discovery from Demonstrations

Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama

11:15 - 11:40
Talk

Similarity of Binaries through re-Optimization

Yaniv David, Nimrod Partush, Eran Yahav

11:40 - 12:05
Talk

Synthesizing Program Input Grammars

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

12:05 - 12:30
Talk

Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling

Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett

14:00 - 15:40: - Language Implementation at Actes, Civil Engineering
Chair(s): David F. Bacon

14:00 - 14:25
Talk

Bringing the Web up to Speed with WebAssembly

Andreas Haas, Andreas Rossberg, Derek Schuff, Ben L. Titzer, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman

14:25 - 14:50
Talk

Miniphases: Compilation using Modular and Efficient Tree Transformations

Dmytro Petrashko, Ondřej Lhoták, Martin Odersky

14:50 - 15:15
Talk

Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking

Anthony Canino, Yu David Liu

15:15 - 15:40
Talk

Simple, fast and safe manual memory management

Piyus Kedia, Manuel Costa, Matthew Parkinson, Kapil Vaswani, Dimitrios Vytiniotis

16:10 - 17:50: - Dynamic Analysis and Testing at Actes, Civil Engineering
Chair(s): Michael Pradel

16:10 - 16:35
Talk

Achieving High Coverage for Floating-point Code via Unconstrained Programming

Zhoulai Fu, Zhendong Su

16:35 - 17:00
Talk

Instruction Punning: Lightweight Instrumentation for x86-64

Buddhika Chamith, Luke Dalessandro, Bo Joel Svensson, Ryan R. Newton

17:00 - 17:25
Talk

Low Overhead Dynamic Binary Translation on ARM

Amanieu d'Antras, Cosmin Gorgovan, Jim Garside, Mikel Lujan

17:25 - 17:50
Talk

Skeletal Program Enumeration for Rigorous Compiler Testing

Qirun Zhang, Chengnian Sun, Zhendong Su

Tue 20 Jun

10:50 - 12:30: - Synthesis at Actes, Civil Engineering
Chair(s): Sasa Misailovic

10:50 - 11:15
Talk

Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri

11:15 - 11:40
Talk

Network Configuration Synthesis with Abstract Topologies

Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, David Walker

11:40 - 12:05
Talk

Synthesizing Highly Expressive SQL Queries from Input-Output Examples

Chenglong Wang, Alvin Cheung, Rastislav Bodik

12:05 - 12:30
Talk

Synthesizing Memory Models from Framework Sketches and Litmus Tests

James Bornholt, Emina Torlak

14:00 - 15:40: - Parallelization and Concurrency at Actes, Civil Engineering
Chair(s): Milind Kulkarni

14:00 - 14:25
Talk

Synthesis of Divide and Conquer Parallelism for Loops

Azadeh Farzan, Victor Nicolet

14:25 - 14:50
Talk

Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates

Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin Oancea

14:50 - 15:15
Talk

Gradual Synthesis for Static Parallelization

Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodik

15:15 - 15:40
Talk

Verifying invariants of lock-free data structures with rely-guarantee and refinement type

Colin Gordon, Michael D. Ernst, Dan Grossman, Matthew Parkinson

16:10 - 17:00: - Correctness at Actes, Civil Engineering
Chair(s): Joseph Devietti

16:10 - 16:35
Talk

Repairing Sequential Consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer

16:35 - 17:00
Talk

Taming Undefined Behavior in LLVM

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes

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											10:50 - 12:30																																						14:00 - 15:40																										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											10:50 - 12:30																																						14:00 - 15:40																										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 2017 PLDI Research Papers DemoMatch: API Discovery from Demonstrations 10:50 - 11:15					PLDI 2017 PLDI Research Papers Similarity of Binaries through re-Optimization 11:15 - 11:40					PLDI 2017 PLDI Research Papers Synthesizing Program Input Grammars 11:40 - 12:05					PLDI 2017 PLDI Research Papers Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling 12:05 - 12:30																							PLDI 2017 PLDI Research Papers Bringing the Web up to Speed with WebAssembly 14:00 - 14:25					PLDI 2017 PLDI Research Papers Miniphases: Compilation using Modular and Efficient Tree Transformations 14:25 - 14:50					PLDI 2017 PLDI Research Papers Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking 14:50 - 15:15					PLDI 2017 PLDI Research Papers Simple, fast and safe manual memory management 15:15 - 15:40											PLDI 2017 PLDI Research Papers Achieving High Coverage for Floating-point Code via Unconstrained Progr ... 16:10 - 16:35					PLDI 2017 PLDI Research Papers Instruction Punning: Lightweight Instrumentation for x86-64 16:35 - 17:00					PLDI 2017 PLDI Research Papers Low Overhead Dynamic Binary Translation on ARM 17:00 - 17:25					PLDI 2017 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 2017 PLDI Research Papers Component-based Synthesis of Table Consolidation and Transformation Tas ... 10:50 - 11:15					PLDI 2017 PLDI Research Papers Network Configuration Synthesis with Abstract Topologies 11:15 - 11:40					PLDI 2017 PLDI Research Papers Synthesizing Highly Expressive SQL Queries from Input-Output Examples 11:40 - 12:05					PLDI 2017 PLDI Research Papers Synthesizing Memory Models from Framework Sketches and Litmus Tests 12:05 - 12:30																							PLDI 2017 PLDI Research Papers Synthesis of Divide and Conquer Parallelism for Loops 14:00 - 14:25					PLDI 2017 PLDI Research Papers Futhark: Purely Functional GPU-programming with Nested Parallelism and ... 14:25 - 14:50					PLDI 2017 PLDI Research Papers Gradual Synthesis for Static Parallelization 14:50 - 15:15					PLDI 2017 PLDI Research Papers Verifying invariants of lock-free data structures with rely-guarantee a ... 15:15 - 15:40											PLDI 2017 PLDI Research Papers Repairing Sequential Consistency in C/C++11 16:10 - 16:35					PLDI 2017 PLDI Research Papers Taming Undefined Behavior in LLVM 16:35 - 17:00