PLDI 2022
Mon 13 - Fri 17 June 2022
San Diego, California, United States
Toggle navigation
Attending
Venue: The Catamaran Resort, San Diego
Virtual Attendance
Registration
Code of Conduct
Sponsorship
Visa
Childcare
Students
Student Volunteers
Restaurants
COVID
Jobs
Program
PLDI Program
Your Program
Filter by Day
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Sat 18 Jun
Sun 19 Jun
Mon 20 Jun
Tue 21 Jun
Tracks
PLDI 2022
Research Artifacts
PLDI
Tutorials
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
ASA
Commute
EGRAPHS
Infer
MAPS
PLMW
SOAP
SOAP
- Static Analysis for Data Scientists
- Using static analysis to scale security at Meta
Organization
PLDI 2022 Committees
Organizing Committee
Track Committees
Research Artifacts
PLDI
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
ASA
Organizing Committee
Program Committee
Commute
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
Infer
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW
Organizing Committee
SOAP
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2022
(
series
) /
The Catamaran Resort, San Diego
/
Room information: Rousseau Center
Venue
The Catamaran Resort, San Diego
Room name
Rousseau Center
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 I
Tutorials
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 II
Tutorials
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 I
Tutorials
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 II
Tutorials
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 I
Tutorials
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 II
Tutorials
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 I
Tutorials
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 II
Tutorials
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
Keynote
LCTES
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 Languages
LCTES
at
Rousseau Center
+12h
Chair(s):
Yousun Ko
Yonsei University
10:30
20m
Talk
RollBin: Reducing code-size via loop rerolling at binary level
Virtual
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 Machines
Virtual
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 Hardware
LCTES
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 Acceleration
Virtual
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 Applications
Virtual
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 Android
Virtual
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 CLAM
Virtual
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 Graphs
Virtual
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 Systems
Virtual
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
Keynote
LCTES
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 Languages
LCTES
at
Rousseau Center
Chair(s):
Yousun Ko
Yonsei University
22:30
20m
Talk
RollBin: Reducing code-size via loop rerolling at binary level
Virtual
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 Machines
Virtual
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 Hardware
LCTES
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 Acceleration
Virtual
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 Applications
Virtual
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 Android
Virtual
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 CLAM
Virtual
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 Graphs
Virtual
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 Systems
Virtual
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
LCTES
Virtual
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
LCTES
Virtual
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
LCTES
Virtual
Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensi ...
13:50 - 14:10
LCTES
Virtual
ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
14:10 - 14:30
LCTES
Virtual
An Old Friend Is Better Than Two New Ones: Dual-Screen Android
14:30 - 14:50
LCTES
Virtual
(WIP) Cache-Coherent CLAM
14:50 - 14:55
LCTES
Virtual
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
LCTES
Virtual
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
LCTES
Virtual
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
LCTES
Virtual
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
LCTES
Virtual
Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensi ...
01:50 - 02:10
LCTES
Virtual
ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
02:10 - 02:30
LCTES
Virtual
An Old Friend Is Better Than Two New Ones: Dual-Screen Android
02:30 - 02:50
LCTES
Virtual
(WIP) Cache-Coherent CLAM
02:50 - 02:55
LCTES
Virtual
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
LCTES
Virtual
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
x
Wed 4 Dec 17:10