PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
PLDI 2024 (series) / Radisson Blu Scandinavia, Copenhagen /

Room information: Iceland

VenueRadisson Blu Scandinavia, Copenhagen
Room nameIceland
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 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
LCTES Welcome and KeynoteLCTES 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
OptimizationLCTES 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 SystemsLCTES at Iceland
Chair(s): Jian-Jia Chen TU Dortmund University
13:40
15m
Talk
SmartVisor: User-Friendly Hypervisor for Mobile RobotsRemote
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 WiresRemote
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 TestingLCTES 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 ChairsISMM 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 CollectionISMM 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 ProfilingRemote
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 ManagementISMM 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 AbstractsISMM 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 - PotpourriISMM at Iceland
Chair(s): Tony Hosking Australian National University
16:00
20m
Talk
SSRD: Shapes and Summaries for Race Detection in Concurrent Data StructuresRemote
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Iceland

LCTES

LCTES Welcome and Keynote

LCTES

Optimization

LCTES

Embedded Systems

LCTES

Analysis and Testing

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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
LCTESRemote
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
LCTESRemote
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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
ISMMRemote
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
ISMMRemote
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