Rousseau Center - PLDI 2022

VenueThe Catamaran Resort, San Diego

Room nameRousseau Center

Floor0

Room InformationNo extra information available

Program

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00	(Tutorial) Checked C Part ITutorials at Rousseau Center +12h

09:00 60m Tutorial		Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA

10:30 - 12:00	(Tutorial) Checked C Part IITutorials at Rousseau Center +12h

10:30 90m Tutorial		Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA

13:30 - 15:00	(Tutorial) Alive2 Part ITutorials at Rousseau Center +12h

13:30 90m Tutorial		Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa

15:30 - 16:30	(Tutorial) Alive2 Part IITutorials at Rousseau Center +12h

15:30 60m Tutorial		Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa

21:00 - 22:00	(Tutorial) Checked C Part ITutorials at Rousseau Center

21:00 60m Tutorial		Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA

22:30 - 00:00	(Tutorial) Checked C Part IITutorials at Rousseau Center

22:30 90m Tutorial		Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

01:30 - 03:00	(Tutorial) Alive2 Part ITutorials at Rousseau Center

01:30 90m Tutorial		Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa

03:30 - 04:30	(Tutorial) Alive2 Part IITutorials at Rousseau Center

03:30 60m Tutorial		Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa

09:00 - 10:00	KeynoteLCTES at Rousseau Center +12h Chair(s): Tobias Grosser University of Edinburgh

09:00 60m Keynote		Domain-specific programming methodologies for domain-specific and emerging computing systems LCTES Jeronimo Castrillon TU Dresden, Germany

10:30 - 12:00	Optimization for Compilers and LanguagesLCTES at Rousseau Center +12h Chair(s): Yousun Ko Yonsei University

10:30 20m Talk		RollBin: Reducing code-size via loop rerolling at binary levelVirtual LCTES Tianao Ge Sun Yat-sen University, Zewei Mo Sun Yat-sen University, Kan Wu Sun Yat-sen University, Xianwei Zhang Sun Yat-sen University, Yutong Lu Sun Yat-sen University
10:50 20m Talk		Tighten Rust's Belt: Shrinking Embedded Rust Binaries LCTES Hudson Ayers Stanford University, Google, Evan Laufer Stanford University, Paul Mure Stanford University, Jaehyeon Park Stanford University, Eduardo Rodelo Stanford University, Thea Rossman Stanford University, Andrey Pronin Google, Philip Levis Stanford University, Johnathan Van Why Google
11:10 20m Talk		JAX Based Parallel Inference for Reactive Probabilistic Programming LCTES Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, USA, Reyyan Tekin
11:30 20m Talk		Implicit State MachinesVirtual LCTES Fengyun Liu Oracle Labs, Aleksandar Prokopec Oracle Labs
11:50 5m Talk		(WIP) Scalable Size Inliner for Mobile Applications LCTES Kyungwoo Lee Meta, Manman Ren Meta, Shane Nay Meta

13:30 - 15:00	Be aware of HardwareLCTES at Rousseau Center +12h Chair(s): Kyoungwoo Lee Yonsei University

13:30 20m Talk		Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis LCTES Christof Schlaak University of Edinburgh, Tzung-Han Juang McGill University, Christophe Dubach McGill University
13:50 20m Talk		Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW AccelerationVirtual LCTES Tianyu Wang The Chinese University of Hong Kong, Zhaoyan Shen Shandong University, Zili Shao The Chinese University of Hong Kong
14:10 20m Talk		ISKEVA: In-SSD Key-Value Database Engine for Video Analytics ApplicationsVirtual LCTES Yi Zheng The Pennsylvania State University, Joshua Fixelle University of Virginia, ‪Nagadastagiri Challapalle‬ The Pennsylvania State University, Pingyi Huo The Pennsylvania State University, Vijaykrishnan Narayanan The Pennsylvania State University, Zili Shao The Chinese University of Hong Kong, Mircea R. Stan University of Virginia, Zhaoyan Shen Shandong University
14:30 20m Talk		An Old Friend Is Better Than Two New Ones: Dual-Screen AndroidVirtual LCTES Zizhan Chen The Chinese University of Hong Kong, Siqi Shang The Chinese University of Hong Kong, Qihong Wu The Chinese University of Hong Kong, Jin Xue The Chinese University of Hong Kong, Zhaoyan Shen Shandong University, Zili Shao The Chinese University of Hong Kong
14:50 5m Talk		(WIP) Cache-Coherent CLAMVirtual LCTES Chen Ding University of Rochester, Benjamin Reber University of Rochester, Dorin Patru Rochester Institute of Technology

15:30 - 17:00	How to Analyze and Utilize LCTES at Rousseau Center +12h Chair(s): Guillaume Baudart IBM Research, USA

15:30 20m Talk		Code Generation Criteria for Buffered Exposed Datapath Architectures from Dataflow GraphsVirtual LCTES Klaus Schneider University of Kaiserslautern, Anoop Bhagyanath University of Kaiserslautern, Julius Roob University of Kaiserslautern Pre-print
15:50 20m Talk		Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors LCTES Yousun Ko Yonsei University, Alex Bradbury lowRISC C.I.C., Bernd Burgstaller Yonsei University, Robert Mullins University of Cambridge
16:10 20m Talk		Automated Kernel Fusion for GPU Based on Code Motion LCTES Junji Fukuhara Tokyo University of Science, Munehiro Takimoto Tokyo University of Science
16:30 20m Talk		TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time Multi-core SystemsVirtual LCTES Yixian Shen University of Amsterdam, Jun Xiao University of Amsterdam, Andy Pimentel University of Amsterdam
16:50 5m Talk		(WIP) A Memory Interference Analysis using a Formal Timing Analyzer LCTES Mihail Asavoae Univ. Paris-Saclay, CEA List, Oumaima Matoussi Univ. Paris-Saclay, CEA List, Asmae Bouachtala Univ. Paris-Saclay, CEA List, Hai-Dang Vu Univ. Paris-Saclay, CEA List, Mathieu Jan Univ. Paris-Saclay, CEA List

21:00 - 22:00	KeynoteLCTES at Rousseau Center Chair(s): Tobias Grosser University of Edinburgh

21:00 60m Keynote		Domain-specific programming methodologies for domain-specific and emerging computing systems LCTES Jeronimo Castrillon TU Dresden, Germany

22:30 - 00:00	Optimization for Compilers and LanguagesLCTES at Rousseau Center Chair(s): Yousun Ko Yonsei University

22:30 20m Talk		RollBin: Reducing code-size via loop rerolling at binary levelVirtual LCTES Tianao Ge Sun Yat-sen University, Zewei Mo Sun Yat-sen University, Kan Wu Sun Yat-sen University, Xianwei Zhang Sun Yat-sen University, Yutong Lu Sun Yat-sen University
22:50 20m Talk		Tighten Rust's Belt: Shrinking Embedded Rust Binaries LCTES Hudson Ayers Stanford University, Google, Evan Laufer Stanford University, Paul Mure Stanford University, Jaehyeon Park Stanford University, Eduardo Rodelo Stanford University, Thea Rossman Stanford University, Andrey Pronin Google, Philip Levis Stanford University, Johnathan Van Why Google
23:10 20m Talk		JAX Based Parallel Inference for Reactive Probabilistic Programming LCTES Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, USA, Reyyan Tekin
23:30 20m Talk		Implicit State MachinesVirtual LCTES Fengyun Liu Oracle Labs, Aleksandar Prokopec Oracle Labs
23:50 5m Talk		(WIP) Scalable Size Inliner for Mobile Applications LCTES Kyungwoo Lee Meta, Manman Ren Meta, Shane Nay Meta

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

01:30 - 03:00	Be aware of HardwareLCTES at Rousseau Center Chair(s): Kyoungwoo Lee Yonsei University

01:30 20m Talk		Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis LCTES Christof Schlaak University of Edinburgh, Tzung-Han Juang McGill University, Christophe Dubach McGill University
01:50 20m Talk		Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW AccelerationVirtual LCTES Tianyu Wang The Chinese University of Hong Kong, Zhaoyan Shen Shandong University, Zili Shao The Chinese University of Hong Kong
02:10 20m Talk		ISKEVA: In-SSD Key-Value Database Engine for Video Analytics ApplicationsVirtual LCTES Yi Zheng The Pennsylvania State University, Joshua Fixelle University of Virginia, ‪Nagadastagiri Challapalle‬ The Pennsylvania State University, Pingyi Huo The Pennsylvania State University, Vijaykrishnan Narayanan The Pennsylvania State University, Zili Shao The Chinese University of Hong Kong, Mircea R. Stan University of Virginia, Zhaoyan Shen Shandong University
02:30 20m Talk		An Old Friend Is Better Than Two New Ones: Dual-Screen AndroidVirtual LCTES Zizhan Chen The Chinese University of Hong Kong, Siqi Shang The Chinese University of Hong Kong, Qihong Wu The Chinese University of Hong Kong, Jin Xue The Chinese University of Hong Kong, Zhaoyan Shen Shandong University, Zili Shao The Chinese University of Hong Kong
02:50 5m Talk		(WIP) Cache-Coherent CLAMVirtual LCTES Chen Ding University of Rochester, Benjamin Reber University of Rochester, Dorin Patru Rochester Institute of Technology

03:30 - 05:00	How to Analyze and Utilize LCTES at Rousseau Center Chair(s): Guillaume Baudart IBM Research, USA

03:30 20m Talk		Code Generation Criteria for Buffered Exposed Datapath Architectures from Dataflow GraphsVirtual LCTES Klaus Schneider University of Kaiserslautern, Anoop Bhagyanath University of Kaiserslautern, Julius Roob University of Kaiserslautern Pre-print
03:50 20m Talk		Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors LCTES Yousun Ko Yonsei University, Alex Bradbury lowRISC C.I.C., Bernd Burgstaller Yonsei University, Robert Mullins University of Cambridge
04:10 20m Talk		Automated Kernel Fusion for GPU Based on Code Motion LCTES Junji Fukuhara Tokyo University of Science, Munehiro Takimoto Tokyo University of Science
04:30 20m Talk		TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time Multi-core SystemsVirtual LCTES Yixian Shen University of Amsterdam, Jun Xiao University of Amsterdam, Andy Pimentel University of Amsterdam
04:50 5m Talk		(WIP) A Memory Interference Analysis using a Formal Timing Analyzer LCTES Mihail Asavoae Univ. Paris-Saclay, CEA List, Oumaima Matoussi Univ. Paris-Saclay, CEA List, Asmae Bouachtala Univ. Paris-Saclay, CEA List, Hai-Dang Vu Univ. Paris-Saclay, CEA List, Mathieu Jan Univ. Paris-Saclay, CEA List

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Rousseau Center	Tutorials (Tutorial) Checked C Part I																		Tutorials (Tutorial) Checked C Part II																																				Tutorials (Tutorial) Alive2 Part I																								Tutorials (Tutorial) Alive2 Part II																																																																		Tutorials (Tutorial) Checked C Part I																		Tutorials (Tutorial) Checked C Part II

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Rousseau Center							Tutorials (Tutorial) Alive2 Part I																								Tutorials (Tutorial) Alive2 Part II																																																																		LCTES Keynote																		LCTES Optimization for Compilers and Languages																																				LCTES Be aware of Hardware																								LCTES How to Analyze and Utilize																																																																		LCTES Keynote																		LCTES Optimization for Compilers and Languages

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00						30						2:00						30						3:00						30						4:00						30
Rousseau Center							LCTES Be aware of Hardware																								LCTES How to Analyze and Utilize

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Rousseau Center	PLDI Tutorials Making C Programs Safer with Checked C 09:00 - 10:00																		PLDI Tutorials Making C Programs Safer with Checked C 10:30 - 12:00																																				PLDI Tutorials Reasoning About and Discovering LLVM Optimizations 13:30 - 15:00																								PLDI Tutorials Reasoning About and Discovering LLVM Optimizations 15:30 - 16:30																																																																		PLDI Tutorials Making C Programs Safer with Checked C 21:00 - 22:00																		PLDI Tutorials Making C Programs Safer with Checked C 22:30 - 00:00

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Rousseau Center							PLDI Tutorials Reasoning About and Discovering LLVM Optimizations 01:30 - 03:00																								PLDI Tutorials Reasoning About and Discovering LLVM Optimizations 03:30 - 04:30																																																																		LCTES Domain-specific programming methodologies for domain-specific and emerg ... 09:00 - 10:00																		LCTESVirtual RollBin: Reducing code-size via loop rerolling at binary level 10:30 - 10:50				LCTES Tighten Rust's Belt: Shrinking Embedded Rust Binaries 10:50 - 11:10				LCTES JAX Based Parallel Inference for Reactive Probabilistic Programming 11:10 - 11:30				LCTESVirtual Implicit State Machines 11:30 - 11:50				LCTES (WIP) Scalable Size Inliner for Mobile Applications 11:50 - 11:55																				LCTES Optimizing Data Reshaping Operations in Functional IRs for High-Level S ... 13:30 - 13:50				LCTESVirtual Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensi ... 13:50 - 14:10				LCTESVirtual ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications 14:10 - 14:30				LCTESVirtual An Old Friend Is Better Than Two New Ones: Dual-Screen Android 14:30 - 14:50				LCTESVirtual (WIP) Cache-Coherent CLAM 14:50 - 14:55								LCTESVirtual Code Generation Criteria for Buffered Exposed Datapath Architectures fr ... 15:30 - 15:50				LCTES Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors 15:50 - 16:10				LCTES Automated Kernel Fusion for GPU Based on Code Motion 16:10 - 16:30				LCTESVirtual TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time M ... 16:30 - 16:50				LCTES (WIP) A Memory Interference Analysis using a Formal Timing Analyzer 16:50 - 16:55																																																		LCTES Domain-specific programming methodologies for domain-specific and emerg ... 21:00 - 22:00																		LCTESVirtual RollBin: Reducing code-size via loop rerolling at binary level 22:30 - 22:50				LCTES Tighten Rust's Belt: Shrinking Embedded Rust Binaries 22:50 - 23:10				LCTES JAX Based Parallel Inference for Reactive Probabilistic Programming 23:10 - 23:30				LCTESVirtual Implicit State Machines 23:30 - 23:50				LCTES (WIP) Scalable Size Inliner for Mobile Applications 23:50 - 23:55

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45
Rousseau Center							LCTES Optimizing Data Reshaping Operations in Functional IRs for High-Level S ... 01:30 - 01:50				LCTESVirtual Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensi ... 01:50 - 02:10				LCTESVirtual ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications 02:10 - 02:30				LCTESVirtual An Old Friend Is Better Than Two New Ones: Dual-Screen Android 02:30 - 02:50				LCTESVirtual (WIP) Cache-Coherent CLAM 02:50 - 02:55								LCTESVirtual Code Generation Criteria for Buffered Exposed Datapath Architectures fr ... 03:30 - 03:50				LCTES Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors 03:50 - 04:10				LCTES Automated Kernel Fusion for GPU Based on Code Motion 04:10 - 04:30				LCTESVirtual TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time M ... 04:30 - 04:50				LCTES (WIP) A Memory Interference Analysis using a Formal Timing Analyzer 04:50 - 04:55

Room information: Rousseau Center

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tutorials

Tutorials

LCTES

LCTES

LCTES

LCTES

LCTES

LCTES

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

LCTES

LCTES

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Room information: Rousseau Center

Program Display Configuration

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Tutorials

Tutorials

LCTES

LCTES

LCTES

LCTES

LCTES

LCTES

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

LCTES

LCTES

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change