PODELSKI
Tue 25 Jun 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Program
PODELSKI Program
Your Program
Tue 25 Jun
Track/Call
Organization
PODELSKI Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI 2024
(
series
) /
PODELSKI (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Iceland
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Iceland
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+02:00) Windhoek
.
Use conference time zone: (GMT+02:00) Windhoek
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+03: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 24 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
LCTES Welcome and Keynote
LCTES
at
Iceland
Chair(s):
Yulei Sui
UNSW Sydney
,
Aviral Shrivastava
Arizona State University
09:00
20m
Day opening
Welcome and Opening
LCTES
09:20
50m
Keynote
Three Colours of Fuzzing: Reflections and Open Challenges
LCTES
Cristian Cadar
Imperial College London
10:40 - 12:20
Optimization
LCTES
at
Iceland
Chair(s):
Aviral Shrivastava
Arizona State University
10:40
15m
Talk
Accelerating Shared Library Execution in a DBT
LCTES
Tom Spink
University of St Andrews
,
Björn Franke
University of Edinburgh
10:55
15m
Talk
Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures
LCTES
Dorra Ben Khalifa
University of Toulouse - ENAC
,
Matthieu Martel
Université de Perpignan Via Domitia
11:10
15m
Talk
TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded Systems
LCTES
Byungchul Chae
Kyung Hee University
,
Jiae Kim
Kyung Hee University
,
Seonyeong Heo
Kyung Hee University
11:25
10m
Break
Break - 10 minutes
LCTES
11:35
15m
Talk
MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Integer Tensor Cores
LCTES
Zejia Lin
Sun Yat-sen University
,
Aoyuan Sun
Sun Yat-sen University
,
Xianwei Zhang
Sun Yat-sen University
,
Yutong Lu
Sun Yat-sen University
11:50
15m
Talk
Optimistic and Scalable Global Function Merging
LCTES
Kyungwoo Lee
Meta
,
Manman Ren
Meta
,
Ellis Hoag
Meta
12:05
15m
Talk
(Invited paper) Language-Based Deployment Optimization for Random Forest
LCTES
Jannik Malcher
TU Dortmund University
,
Daniel Biebert
TU Dortmund University
,
Kuan-Hsun Chen
University of Twente
,
Sebastian Buschjäger
TU Dortmund University
,
Christian Hakert
TU Dortmund University
,
Jian-Jia Chen
TU Dortmund University
13:40 - 15:20
Embedded Systems
LCTES
at
Iceland
Chair(s):
Jian-Jia Chen
TU Dortmund University
13:40
15m
Talk
SmartVisor: User-Friendly Hypervisor for Mobile Robots
Remote
LCTES
Guanyu Chen
Zhejiang University
,
Pan Lv
Zhejiang University
,
Hong Li
Zhejiang University
,
Guoqing Yang
Zhejiang University
13:55
15m
Talk
Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
LCTES
Kiung Jung
Yonsei University
,
Seok Namkoong
Yonsei University
,
Hongjun Um
Hanyang University
,
Hyejun Kim
Yonsei University
,
Youngsok Kim
Yonsei University
,
Yongjun Park
Yonsei University
14:10
15m
Talk
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
LCTES
Phillip Raffeck
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
,
Johannes Maier
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
,
Peter Wägemann
Friedrich-Alexander University Erlangen-Nürnberg (FAU)
14:25
10m
Break
Break - 10 minutes
LCTES
14:35
15m
Talk
Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
LCTES
Ruitao Feng
SMU
,
Sen Li
Tianjin University
,
Sen Chen
Tianjin University
,
Mengmeng Ge
Nanyang Technological University
,
Xuewei Li
Tianjin University
,
Xiaohong Li
Tianjin University
14:50
15m
Talk
TWFuzz: Fuzzing Embedded Systems with Three Wires
Remote
LCTES
Zhongwen Feng
Chang' an University
,
Junyan Ma
Chang'an University
15:05
15m
Talk
OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux
LCTES
Brayden McDonald
North Carolina State University
,
Frank Mueller
North Carolina State University, USA
16:00 - 17:40
Analysis and Testing
LCTES
at
Iceland
Chair(s):
Jason Xue
MBZUAI
16:00
15m
Talk
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
LCTES
Weimin Chen
The Hong Kong Polytechnic University
,
Xiapu Luo
The Hong Kong Polytechnic University
,
Haoyu Wang
Huazhong University of Science and Technology
,
Heming Cui
University of Hong Kong
,
Shuyu Zheng
Peking University
,
Xuanzhe Liu
Peking University
16:15
15m
Talk
CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques
LCTES
Lichen Jia
Institute of Computing Technology, Chinese Academy of Sciences
,
Chenggang Wu
Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory
,
Zhe Wang
Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory
,
Peihua Zhang
16:30
15m
Talk
Foundations for a Rust-Like Borrow Checker for C
LCTES
Tiago Silva
University of Porto
,
João Bispo
Faculdade de Engenharia e Universidade do Porto
,
Tiago Carvalho
University of Porto
16:45
15m
Talk
Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
LCTES
Shangqing Liu
Nanyang Technological University
,
Wei Ma
Nanyang Technological University, Singapore
,
Jian Wang
Nanyang Technological University
,
Xiaofei Xie
Singapore Management University
,
Ruitao Feng
SMU
,
Yang Liu
Nanyang Technological University
17:00
15m
Talk
(WIP) A Flexible-Granularity Task Graph Representation and its Generation from C Applications
LCTES
Tiago Santos
Faculty of Engineering, University of Porto
,
João Bispo
Faculdade de Engenharia e Universidade do Porto
,
João M. P. Cardoso
University of Porto and INESC TEC, Portugal
17:15
25m
Day closing
Award and Closing
LCTES
Tue 25 Jun
Displayed time zone:
Windhoek
change
09:00 - 09:10
Welcome from the Chairs
ISMM
at
Iceland
Chair(s):
Michael D. Bond
Ohio State University
,
Jae W. Lee
Seoul National University
,
Hannes Payer
Google
09:00
10m
Day opening
Welcome to ISMM
ISMM
Michael D. Bond
Ohio State University
,
Jae W. Lee
Seoul National University
,
Hannes Payer
Google
09:10 - 10:10
ISMM: Keynote 1 - Dr. Andreas Rossberg (Independent)
ISMM
at
Iceland
Chair(s):
Hannes Payer
Google
09:10
60m
Keynote
Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store
ISMM
Andreas Rossberg
Independent
10:40 - 11:40
ISMM: Session 1 - Garbage Collection
ISMM
at
Iceland
Chair(s):
Steve Blackburn
Google and Australian National University
10:40
20m
Talk
Memory Management on Mobile Devices
ISMM
Kunal Sareen
Australian National University
,
Steve Blackburn
Google and Australian National University
,
Sara S. Hamouda
Google
,
Lokesh Gidra
Google
DOI
Pre-print
11:00
20m
Talk
Garbage Collection for Mostly Serialized Heaps
ISMM
Chaitanya S. Koparkar
Indiana University
,
Vidush Singhal
Purdue University
,
Aditya Gupta
Purdue University
,
Mike Rainey
Carnegie Mellon University
,
Michael Vollmer
University of Kent
,
Artem Pelenitsyn
Purdue University
,
Sam Tobin-Hochstadt
Indiana University
,
Milind Kulkarni
Purdue University
,
Ryan R. Newton
Purdue University
DOI
Pre-print
11:20
20m
Talk
Evaluating Finalization-Based Object Lifetime Profiling
Remote
ISMM
Sebastian Jordan Montaño
Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL F-59000 Lille, France
,
Guillermo Polito
Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL
,
Stéphane Ducasse
Inria; University of Lille; CNRS; Centrale Lille; CRIStAL
,
Pablo Tesone
Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium
DOI
11:40 - 12:20
ISMM: Session 2 - Hardware for Memory Management
ISMM
at
Iceland
Chair(s):
Sara S. Hamouda
Google
11:40
20m
Talk
Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory
ISMM
Taekyung Heo
NVIDIA
,
Seunghyo Kang
KAIST
,
Sanghyeon Lee
KAIST
,
Soojin Hwang
KAIST
,
Joongun Park
Georgia Tech
,
Jaehyuk Huh
KAIST
DOI
12:00
20m
Talk
A Managed Memory System for Micro Controllers with NOR Flash Memory
ISMM
Akira Inoue
University of Tokyo
,
Tomoharu Ugawa
University of Tokyo
,
Shigeru Chiba
University of Tokyo
DOI
13:40 - 14:40
ISMM: Keynote 2 - Dr. Euicheol Lim (SK hynix)
ISMM
at
Iceland
Chair(s):
Jae W. Lee
Seoul National University
13:40
60m
Keynote
Keynote: Enabling the AI Revolution: Next-Generation Memory Solutions for AI Computing System
ISMM
Euicheol Lim
SK hynix
14:40 - 15:40
ISMM: Session 3 - Intellectual Abstracts
ISMM
at
Iceland
Chair(s):
Michael D. Bond
Ohio State University
14:40
20m
Talk
The One Pass (OP) Compactor: An Intellectual Abstract
ISMM
Tomer Cory
Technion
,
Erez Petrank
Technion
DOI
15:00
20m
Talk
BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract
ISMM
Nathaniel Wesley Filardo
Microsoft Azure
,
Matthew J. Parkinson
Microsoft Azure Research
DOI
Pre-print
15:20
20m
Talk
Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract
ISMM
Matthew J. Parkinson
Microsoft Azure Research
,
Sylvan Clebsch
Microsoft Azure Research
,
Tobias Wrigstad
Uppsala University
DOI
Pre-print
16:00 - 17:00
ISMM: Session 4 - Potpourri
ISMM
at
Iceland
Chair(s):
Tony Hosking
Australian National University
16:00
20m
Talk
SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
Remote
ISMM
Xiaofan Sun
University of California at Riverside
,
Rajiv Gupta
University of California at Riverside
DOI
16:20
20m
Talk
A Heuristic for Periodic Memory Allocation with Little Fragmentation to Train Neural Networks
ISMM
Akifumi Imanishi
Preferred Networks
,
Zijian Xu
Preferred Networks
DOI
16:40
20m
Talk
ESPN: Memory-Efficient Multi-vector Information Retrieval
ISMM
Susav Shrestha
Texas A&M University
,
Narasimha Reddy
Texas A&M University
,
Zongwang Li
Samsung
DOI
Mon 24 Jun
Displayed time zone:
Windhoek
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
Iceland
LCTES
LCTES Welcome and Keynote
LCTES
Optimization
LCTES
Embedded Systems
LCTES
Analysis and Testing
Tue 25 Jun
Displayed time zone:
Windhoek
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
Iceland
ISMM
Welcome from the Chairs
ISMM
ISMM: Keynote 1 - Dr. Andreas Rossberg (Independent)
ISMM
ISMM: Session 1 - Garbage Collection
ISMM
ISMM: Session 2 - Hardware for Memory Management
ISMM
ISMM: Keynote 2 - Dr. Euicheol Lim (SK hynix)
ISMM
ISMM: Session 3 - Intellectual Abstracts
ISMM
ISMM: Session 4 - Potpourri
Mon 24 Jun
Displayed time zone:
Windhoek
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
Iceland
LCTES
Welcome and Opening
09:00 - 09:20
LCTES
Three Colours of Fuzzing: Reflections and Open Challenges
09:20 - 10:10
LCTES
Accelerating Shared Library Execution in a DBT
10:40 - 10:55
LCTES
Efficient Implementation of Neural Networks Usual Layers on Fixed-Point ...
10:55 - 11:10
LCTES
TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embe ...
11:10 - 11:25
LCTES
Break - 10 minutes
11:25 - 11:35
LCTES
MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Int ...
11:35 - 11:50
LCTES
Optimistic and Scalable Global Function Merging
11:50 - 12:05
LCTES
(Invited paper) Language-Based Deployment Optimization for Random Forest
12:05 - 12:20
LCTES
Remote
SmartVisor: User-Friendly Hypervisor for Mobile Robots
13:40 - 13:55
LCTES
Orchestrating Multiple Mixed Precision Models on a Shared Precision-Sca ...
13:55 - 14:10
LCTES
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case ...
14:10 - 14:25
LCTES
Break - 10 minutes
14:25 - 14:35
LCTES
Unmasking the Lurking: Malicious Behavior Detection for IoT Malware wit ...
14:35 - 14:50
LCTES
Remote
TWFuzz: Fuzzing Embedded Systems with Three Wires
14:50 - 15:05
LCTES
OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronizatio ...
15:05 - 15:20
LCTES
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to ...
16:00 - 16:15
LCTES
CodeExtract: Enhancing Binary Code Similarity Detection with Code Extra ...
16:15 - 16:30
LCTES
Foundations for a Rust-Like Borrow Checker for C
16:30 - 16:45
LCTES
Enhancing Code Vulnerability Detection via Vulnerability-Preserving Dat ...
16:45 - 17:00
LCTES
(WIP) A Flexible-Granularity Task Graph Representation and its Generati ...
17:00 - 17:15
LCTES
Award and Closing
17:15 - 17:40
Tue 25 Jun
Displayed time zone:
Windhoek
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
Iceland
ISMM
Welcome to ISMM
09:00 - 09:10
ISMM
Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store
09:10 - 10:10
ISMM
Memory Management on Mobile Devices
10:40 - 11:00
ISMM
Garbage Collection for Mostly Serialized Heaps
11:00 - 11:20
ISMM
Remote
Evaluating Finalization-Based Object Lifetime Profiling
11:20 - 11:40
ISMM
Supporting Trusted Virtual Machines with Hardware-Based Secure Remote M ...
11:40 - 12:00
ISMM
A Managed Memory System for Micro Controllers with NOR Flash Memory
12:00 - 12:20
ISMM
Keynote: Enabling the AI Revolution: Next-Generation Memory Solutions f ...
13:40 - 14:40
ISMM
The One Pass (OP) Compactor: An Intellectual Abstract
14:40 - 15:00
ISMM
BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Wo ...
15:00 - 15:20
ISMM
Reference Counting Deeply Immutable Data Structures with Cycles: An Int ...
15:20 - 15:40
ISMM
Remote
SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
16:00 - 16:20
ISMM
A Heuristic for Periodic Memory Allocation with Little Fragmentation to ...
16:20 - 16:40
ISMM
ESPN: Memory-Efficient Multi-vector Information Retrieval
16:40 - 17:00
x
Sun 24 Nov 08:15