Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion (LCTES 2021 - Languages, Compilers, Tools and Theory of Embedded Systems) - PLDI 2021

Write a Blog >>

Sun 20 - Sat 26 June 2021 PLDI

Who

David Monniaux, Cyril Six

Track

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

When

Tue 22 Jun 2021 15:40 - 16:05 at LCTES - Section 2 Optimization I (Session Chair: Albert Cheng)+ Section 3 Analysis I

David Monniaux

CNRS/VERIMAG

France

Cyril Six

Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Session Program

Tue 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

	13:30 - 16:15	Section 2 Optimization I (Session Chair: Albert Cheng)+ Section 3 Analysis ILCTES at LCTES

	13:30 25m Full-paper		HyFM: Function Merging for Free LCTES Rodrigo C. O. Rocha University of Edinburgh, UK, Pavlos Petoumenos University of Manchester, UK, Zheng Wang University of Leeds, UK, Murray Cole University of Edinburgh, UK, Hugh Leather Facebook, Kim Hazelwood Facebook AI Research
	13:55 25m Full-paper		Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors LCTES Xuyi Cai ICT CAS, Ying Wang ICT CAS, Lei Zhang ICT CAS
	14:20 25m Full-paper		Robust I/O-compute Concurrency for Machine Learning Pipelines in Constrained Cyber-physical Devices LCTES Jayaraj Poroor JIFFY.ai, Akash Lal Microsoft Research, Sandesh Ghanta Amrita Vishwa Vidyapeetham
	14:45 30m Break		Break LCTES
	15:15 25m Full-paper		Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions LCTES Simon Schuster Friedrich-Alexander University Erlangen-Nürnberg (FAU), Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU), Peter Ulbrich Technische Universität Dortmund, Wolfgang Schröder-Preikschat Friedrich-Alexander University Erlangen-Nürnberg (FAU)
	15:40 25m Full-paper		Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion LCTES David Monniaux CNRS/VERIMAG, Cyril Six Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
	16:05 10m Short-paper		WIP:Selective Path-sensitive Interval Analysis LCTES Bharti Chimdyalwar Tata Consultancy Services, Shrawan Kumar Tata Cosultancy Services