Actes, Civil Engineering

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: PLDI Research Papers - Learning and Probabilistic at Actes, Civil Engineering
Chair(s): Swarat ChaudhuriRice University

10:50 - 11:15
Talk

DemoMatch: API Discovery from Demonstrations

Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL

Media Attached

11:15 - 11:40
Talk

Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion

11:40 - 12:05
Talk

Synthesizing Program Input Grammars

Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University

Media Attached

12:05 - 12:30
Talk

Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling

Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University

Media Attached

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

14:00 - 14:25
Talk

Bringing the Web up to Speed with WebAssembly

Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft

Media Attached

14:25 - 14:50
Talk

Miniphases: Compilation using Modular and Efficient Tree Transformations

Dmytro PetrashkoEPFL, Ondřej LhotákUniversity of Waterloo, Canada, Martin OderskyEPFL, Switzerland

Media Attached

14:50 - 15:15
Talk

Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking

Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton

Media Attached

15:15 - 15:40
Talk

Simple, fast and safe manual memory management

Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge

Media Attached

16:10 - 17:50: PLDI Research Papers - Dynamic Analysis and Testing at Actes, Civil Engineering
Chair(s): Michael PradelTU Darmstadt

16:10 - 16:35
Talk

Achieving High Coverage for Floating-point Code via Unconstrained Programming

Zhoulai FuUniversity of California, Davis, Zhendong SuUniversity of California, Davis

Media Attached

16:35 - 17:00
Talk

Instruction Punning: Lightweight Instrumentation for x86-64

Buddhika ChamithIndiana University, Luke DalessandroIndiana University, Bo Joel SvenssonChalmers University of Technology, Sweden, Ryan R. NewtonIndiana University

Media Attached

17:00 - 17:25
Talk

Low Overhead Dynamic Binary Translation on ARM

Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Lujan

Media Attached

17:25 - 17:50
Talk

Skeletal Program Enumeration for Rigorous Compiler Testing

Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis

Media Attached

Tue 20 Jun

10:50 - 12:30: PLDI Research Papers - Synthesis at Actes, Civil Engineering
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign

10:50 - 11:15
Talk

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

Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Swarat ChaudhuriRice University

Media Attached

11:15 - 11:40
Talk

Network Configuration Synthesis with Abstract Topologies

Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University

Media Attached

11:40 - 12:05
Talk

Synthesizing Highly Expressive SQL Queries from Input-Output Examples

Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington

Media Attached

12:05 - 12:30
Talk

Synthesizing Memory Models from Framework Sketches and Litmus Tests

James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, USA

Pre-print Media Attached

14:00 - 15:40: PLDI Research Papers - Parallelization and Concurrency at Actes, Civil Engineering
Chair(s): Milind KulkarniPurdue University

14:00 - 14:25
Talk

Synthesis of Divide and Conquer Parallelism for Loops

Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto

Media Attached

14:25 - 14:50
Talk

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

Troels HenriksenDIKU, University of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Fritz HengleinDIKU, Denmark, Cosmin OanceaDIKU, University of Copenhagen

Media Attached

14:50 - 15:15
Talk

Gradual Synthesis for Static Parallelization

Grigory FedyukovichUW CSE, Maaz Bin Safeer AhmadUW / CSE, Rastislav BodikUniversity of Washington

Pre-print Media Attached

15:15 - 15:40
Talk

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

Colin GordonDrexel University, Michael D. ErnstUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Matthew ParkinsonMicrosoft Research, UK

Pre-print Media Attached

16:10 - 17:00: PLDI Research Papers - Correctness at Actes, Civil Engineering
Chair(s): Joseph DeviettiUniversity of Pennsylvania

16:10 - 16:35
Talk

Repairing Sequential Consistency in C/C++11

Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS

Media Attached

16:35 - 17:00
Talk

Taming Undefined Behavior in LLVM

Juneyoung LeeSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Chung-Kil HurSeoul National University, Sanjoy DasAzul Systems, David MajnemerGoogle, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft 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

Room information: Actes, Civil Engineering

Mon 19 Jun

Tue 20 Jun

Mon 19 Jun 2017

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Tue 20 Jun 2017

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Mon 19 Jun 2017

Tue 20 Jun 2017

Tracks

Co-hosted Workshops