PLDI 2023
Sat 17 - Wed 21 June 2023
Orlando, Florida, United States
Toggle navigation
Attending
Venue: Orlando World Center Marriott
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Program
Complete Program
Your Program
Sat 17 Jun
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Tracks
PLDI 2023
PLDI Research Papers
Research Artifacts
Tutorials
Workshops and Tutorials
SRC
Volunteering
W@PLDI
SIGPLAN
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
ASA
CSC
CTSTA
DRAGSTERS
EGRAPHS
Infer
PLARCH
PLMW@PLDI
SOAP
Organization
PLDI 2023 Committees
Organizing Committee
Track Committees
PLDI Research Papers
Research Artifacts
Workshops and Tutorials
SRC
Volunteering
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
ASA
Organizing Committee
CSC
Organizing Committee
Program Committee
CTSTA
Organizing Committee
Program Committee
DRAGSTERS
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
Infer
Organizing Committee
Program Committee
PLARCH
Organizing Committee
Program Committee
PLMW@PLDI
Organizing Committee
SOAP
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2023
(
series
) /
Orlando World Center Marriott
/
Room information: Magnolia 7-8
Venue
Orlando World Center Marriott
Room name
Magnolia 7-8
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
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
(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
Sat 17 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
(Tutorial) Scallop
Tutorials
at
Magnolia 7-8
09:00
2h
Neurosymbolic Programming in Scallop
Tutorials
Ziyang Li
UPenn
,
Jiani Huang
UPenn
,
Mayur Naik
University of Pennsylvania
11:20 - 12:30
(Tutorial) Scallop
Tutorials
at
Magnolia 7-8
11:20
70m
Neurosymbolic Programming in Scallop
Tutorials
Ziyang Li
UPenn
,
Jiani Huang
UPenn
,
Mayur Naik
University of Pennsylvania
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:00
LCTES: Keynote
LCTES
at
Magnolia 7-8
10:00 - 11:00
Code Gen
LCTES
at
Magnolia 7-8
10:00
20m
Talk
Facilitating the Bootstrapping of a New ISA
LCTES
Abigail Mortensen
,
Scott Pomerville
Michigan Technological University
,
David B. Whalley
,
Soner Onder
Michigan Technological University
,
Gang-Ryung Uh
Qualcomm, USA
10:20
20m
Talk
Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms
LCTES
Beom Woo Kang
Hanyang University
,
Junho Wohn
Hanyang University
,
Seongju Lee
Hanyang University
,
Sunghyun Park
University of Michigan
,
Yung-Kyun Noh
Hanyang University
,
Yongjun Park
Yonsei University
10:40
20m
Talk
MinUn: Accurate ML Inference on Microcontrollers
Virtual
LCTES
Shikhar Jaiswal
Microsoft Research
,
Rahul Kranti Kiran Goli
Microsoft Research
,
Aayan Kumar
Microsoft Research
,
Vivek Seshadri
Microsoft Research
,
Rahul Sharma
Microsoft Research
11:20 - 12:30
Code/Image Size
LCTES
at
Magnolia 7-8
11:30
20m
Talk
reUpNix: Reconfigurable and Updateable Embedded Systems
LCTES
Niklas Golenstede
Hamburg University of Technology
,
Ulf Kulau
Hamburg University of Technology
,
Christian Dietrich
Hamburg University of Technology
11:50
20m
Talk
Optimizing Function Layout for Mobile Applications
LCTES
Ellis Hoag
Meta
,
Kyungwoo Lee
Meta
,
Julián Mestre
Facebook; University of Sydney
,
Sergey Pupyrev
12:10
20m
Talk
Thread-Level Attack-Surface Reduction
LCTES
Florian Rommel
Leibniz Universität Hannover
,
Christian Dietrich
Hamburg University of Technology
,
Andreas Ziegler
Friedrich-Alexander University Erlangen-Nürnberg (FAU)
,
Illia Ostapyshyn
Leibniz Universität Hannover
,
Daniel Lohmann
Leibniz Universität Hannover
14:00 - 15:30
Scheduling & WIP
LCTES
at
Magnolia 7-8
14:00
20m
Talk
Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization
LCTES
Pascal Fradet
Inria Grenoble, France
,
Alain Girault
INRIA
,
Alexandre Honorat
14:20
20m
Talk
PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media Servers
Virtual
LCTES
Girish Mururu
Georgia Institute of Technology
,
vincentni
,
Ada Gavrilovska
,
Santosh Pande
Georgia Institute of Technology
14:40
10m
Talk
(WIP) Tiling for DMA-Based Hardware Accelerators
Virtual
LCTES
Alexandre Singer
Huawei Canada Research Centre
,
Kai-Ting Amy Wang
Huawei Canada Research Centre
14:50
10m
Talk
(WIP) Towards Automated Identification of Layering Violations in Embedded Applications
LCTES
Mingjie Shen
Purdue University
,
James C. Davis
Purdue University
,
Aravind Machiry
Purdue University
DOI
Pre-print
15:00
10m
Talk
(WIP) Towards Secure MicroPython on Morello
LCTES
Jeremy Singer
University of Glasgow
16:00 - 17:00
Storage
LCTES
at
Magnolia 7-8
16:00
20m
Talk
Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-enabled SSDs
LCTES
Jun Li
Southwest University
,
Balazs Gerofi
Intel Corporation
,
Francois Trahay
Telecom SudParis
,
Zhigang Cai
Southwest University
,
Jianwei Liao
Southwest University
16:20
20m
Talk
ISVABI: In-Storage Video Analytics Engine with Block Interface
LCTES
Yi Zheng
The Pennsylvania State University
,
Joshua Fixelle
University of Virginia
,
Pingyi Huo
The Pennsylvania State University
,
Mircea R. Stan
University of Virginia
,
Mike Mesnier
Intel Labs
,
Vijaykrishnan Narayanan
The Pennsylvania State University
16:40
20m
Talk
LUNAR: A Native Table Engine for Embedded Devices
Virtual
LCTES
Xiaopeng Fan
East China Normal University
,
Song Yan
East China Normal University
,
Yuchen Huang
East China Normal University
,
Chuliang Weng
East China Normal University
Sat 17 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
Magnolia 7-8
Tutorials
(Tutorial) Scallop
Tutorials
(Tutorial) Scallop
Sun 18 Jun
Displayed time zone:
Eastern 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
Magnolia 7-8
LCTES
LCTES: Keynote
LCTES
Code Gen
LCTES
Code/Image Size
LCTES
Scheduling & WIP
LCTES
Storage
Sat 17 Jun
Displayed time zone:
Eastern 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
Magnolia 7-8
PLDI Tutorials
Neurosymbolic Programming in Scallop
09:00 - 11:00
PLDI Tutorials
Neurosymbolic Programming in Scallop
11:20 - 12:30
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
Magnolia 7-8
LCTES
Facilitating the Bootstrapping of a New ISA
10:00 - 10:20
LCTES
Synchronization-aware NAS for an Efficient Collaborative Inference on M ...
10:20 - 10:40
LCTES
Virtual
MinUn: Accurate ML Inference on Microcontrollers
10:40 - 11:00
LCTES
reUpNix: Reconfigurable and Updateable Embedded Systems
11:30 - 11:50
LCTES
Optimizing Function Layout for Mobile Applications
11:50 - 12:10
LCTES
Thread-Level Attack-Surface Reduction
12:10 - 12:30
LCTES
Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization
14:00 - 14:20
LCTES
Virtual
PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Emb ...
14:20 - 14:40
LCTES
Virtual
(WIP) Tiling for DMA-Based Hardware Accelerators
14:40 - 14:50
LCTES
(WIP) Towards Automated Identification of Layering Violations in Embedd ...
14:50 - 15:00
LCTES
(WIP) Towards Secure MicroPython on Morello
15:00 - 15:10
LCTES
Rep-RAID: An Integrated Approach to Optimizing Data Replication and Gar ...
16:00 - 16:20
LCTES
ISVABI: In-Storage Video Analytics Engine with Block Interface
16:20 - 16:40
LCTES
Virtual
LUNAR: A Native Table Engine for Embedded Devices
16:40 - 17:00
x
Tue 30 May 07:15