WARio: Efficient Code Generation for Intermittent Computing (PLDI 2022 - PLDI Research Papers) - PLDI 2022

Mon 13 - Fri 17 June 2022 San Diego, California, United States

Who

Vito Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, Przemysław Pawełczak

Track

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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

Fri 17 Jun 2022 11:40 - 12:00 at Kon-Tiki - Hardware I Chair(s): Clément Pit-Claudel
Fri 17 Jun 2022 23:40 - 00:00 at Kon-Tiki - Hardware I

Abstract

Intermittently-operating embedded computing platforms powered by energy harvesting require software frameworks to protect from errors caused by Write After Read (WAR) dependencies. A powerful method of code protection for systems with non-volatile main memory utilizes compiler analysis to insert a checkpoint inside each WAR violation in the code. However, such software frameworks are oblivious to the code structure—and therefore, inefficient—when many consecutive WAR violations exist. Our insight is that by transforming the input code, i.e., moving individual write operations from unique WARs close to each other, we can significantly reduce the number of checkpoints. This idea is the foundation for WARio: a set of compiler transformations for efficient code generation for intermittent computing. WARio, on average, reduces checkpoint overhead by 58% and up to 88% compared to the state of the art across various benchmarks.

Link to Preprint

https://github.com/TUDSSL/WARio/blob/master/paper/WARio-pldi22-preprint.pdf

DOI

https://doi.org/10.1145/3519939.3523454

Vito Kortbeek

Delft University of Technology

Netherlands

Souradip Ghosh

Carnegie Mellon University

United States

Josiah Hester

Northwestern University

United States

Simone Campanoni

Northwestern University, USA

Przemysław Pawełczak

Delft University of Technology

Netherlands

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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

Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

	10:40 - 12:00	Hardware IPLDI at Kon-Tiki +12h Chair(s): Clément Pit-Claudel EPFL, AWS

	10:40 20m Talk		Bind the Gap: Compiling Real Software to Hardware FFT Accelerators PLDI Jackson Woodruff University of Edinburgh, Jordi Armengol-Estapé University of Edinburgh, Sam Ainsworth University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh DOI
	11:00 20m Talk		Exocompilation for Productive Programming of Hardware Accelerators PLDI Yuka Ikarashi MIT, Gilbert Bernstein University of California at Berkeley, Alex Reinking UC Berkeley, Hasan Genc UC Berkeley, Jonathan Ragan-Kelley MIT DOI
	11:20 20m Talk		PDL: A High-Level Hardware Design Language for Pipelined Processors PLDI Drew Zagieboylo Cornell University, Charles Sherk Cornell University, G. Edward Suh Cornell University / Facebook, Andrew Myers Cornell University DOI
	11:40 20m Talk		WARio: Efficient Code Generation for Intermittent Computing PLDI Vito Kortbeek Delft University of Technology, Souradip Ghosh Carnegie Mellon University, Josiah Hester Northwestern University, Simone Campanoni Northwestern University, USA, Przemysław Pawełczak Delft University of Technology DOI Pre-print

	22:40 - 00:00	Hardware IPLDI at Kon-Tiki

	22:40 20m Talk		Bind the Gap: Compiling Real Software to Hardware FFT Accelerators PLDI Jackson Woodruff University of Edinburgh, Jordi Armengol-Estapé University of Edinburgh, Sam Ainsworth University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh DOI
	23:00 20m Talk		Exocompilation for Productive Programming of Hardware Accelerators PLDI Yuka Ikarashi MIT, Gilbert Bernstein University of California at Berkeley, Alex Reinking UC Berkeley, Hasan Genc UC Berkeley, Jonathan Ragan-Kelley MIT DOI
	23:20 20m Talk		PDL: A High-Level Hardware Design Language for Pipelined Processors PLDI Drew Zagieboylo Cornell University, Charles Sherk Cornell University, G. Edward Suh Cornell University / Facebook, Andrew Myers Cornell University DOI
	23:40 20m Talk		WARio: Efficient Code Generation for Intermittent Computing PLDI Vito Kortbeek Delft University of Technology, Souradip Ghosh Carnegie Mellon University, Josiah Hester Northwestern University, Simone Campanoni Northwestern University, USA, Przemysław Pawełczak Delft University of Technology DOI Pre-print