Write a Blog >>
VORTEX 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with ECOOP 2017
VenueUniversitat Politècnica de Catalunya
Room nameActes, Civil Engineering
Floor0
Capacity160
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

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30
Learning and ProbabilisticPLDI 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 ImplementationPLDI 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 TestingPLDI 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
SynthesisPLDI 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 ConcurrencyPLDI 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
CorrectnessPLDI 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

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change