Actes, Civil Engineering

VenueUniversitat Politècnica de Catalunya

Room nameActes, Civil Engineering

Floor0

Capacity160

Additional informationThere is no additional information of this room available.

Program

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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
Times are displayed in 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 ChaudhuriRice University

	10:50 - 11:15 Talk		DemoMatch: API Discovery from Demonstrations PLDI Research Papers Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL Media Attached
	11:15 - 11:40 Talk		Similarity of Binaries through re-Optimization PLDI Research Papers Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
	11:40 - 12:05 Talk		Synthesizing Program Input Grammars PLDI Research Papers 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 PLDI Research Papers Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University Media Attached

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

	14:00 - 14:25 Talk		Bringing the Web up to Speed with WebAssembly PLDI Research Papers 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 PLDI Research Papers 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 PLDI Research Papers 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 PLDI Research Papers 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: Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering Chair(s): Michael PradelTU Darmstadt

	16:10 - 16:35 Talk		Achieving High Coverage for Floating-point Code via Unconstrained Programming PLDI Research Papers Zhoulai FuUniversity of California, Davis, Zhendong SuUniversity of California, Davis Media Attached
	16:35 - 17:00 Talk		Instruction Punning: Lightweight Instrumentation for x86-64 PLDI Research Papers 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 PLDI Research Papers Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Luján Media Attached
	17:25 - 17:50 Talk		Skeletal Program Enumeration for Rigorous Compiler Testing PLDI Research Papers Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis Media Attached

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:50 - 12:30: SynthesisPLDI Research Papers 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 PLDI Research Papers 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 PLDI Research Papers 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 PLDI Research Papers 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 PLDI Research Papers James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, USA Pre-print Media Attached

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

	14:00 - 14:25 Talk		Synthesis of Divide and Conquer Parallelism for Loops PLDI Research Papers 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 PLDI Research Papers 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 PLDI Research Papers 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 PLDI Research Papers 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: CorrectnessPLDI Research Papers at Actes, Civil Engineering Chair(s): Joseph DeviettiUniversity of Pennsylvania

	16:10 - 16:35 Talk		Repairing Sequential Consistency in C/C++11 PLDI Research Papers 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 PLDI Research Papers 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
Times are displayed in 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
Times are displayed in 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 Synthesis																																						PLDI Research Papers Parallelization and Concurrency																										PLDI Research Papers Correctness

Mon 19 Jun
Times are displayed in 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
Times are displayed in 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 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Room information: Actes, Civil Engineering

Program Display Configuration

Mon 19 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Tue 20 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Mon 19 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change