Actes, Civil Engineering -

VenueUniversitat Politècnica de Catalunya

Room nameActes, Civil Engineering

Floor0

Capacity160

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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 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


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

Room information: Actes, Civil Engineering

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

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

Tracks

Room information: Actes, Civil Engineering

Program Display Configuration

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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