VenueThe Catamaran Resort, San Diego
Room nameRousseau Center
Floor0
Room InformationNo extra information available
Program

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
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

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

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Rousseau Center

Tue 14 Jun

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Rousseau Center