ISMM 2024
Tue 25 Jun 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
PLDI 2024
Sponsorship
Registration
Visa
Program
Complete Program
Your Program
Tue 25 Jun
Track/Call
Organization
ISMM 2024 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2024
(
series
) /
ISMM 2024 (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Sweden
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Sweden
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+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
Sweden
09:00
20m
Day opening
Welcome and Opening
LCTES
09:20
50m
Keynote
Keynote
LCTES
10:40 - 12:20
Optimization
LCTES
at
Sweden
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
Sweden
13:40
15m
Talk
SmartVisor: User-Friendly Hypervisor for Mobile Robots
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
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
Sweden
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
Closing
LCTES
Wed 26 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Keynote
PLDI Research Papers
at
Sweden
10:40 - 12:20
Session 1B
PLDI Research Papers
at
Sweden
13:40 - 15:20
Session 2B
PLDI Research Papers
at
Sweden
16:00 - 17:20
Session 3B
PLDI Research Papers
at
Sweden
Thu 27 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Keynote
PLDI Research Papers
at
Sweden
10:40 - 12:20
Session 4B
PLDI Research Papers
at
Sweden
13:40 - 14:40
Session 5B
PLDI Research Papers
at
Sweden
15:20 - 17:00
European Research Council
PLDI Research Papers
at
Sweden
Fri 28 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Keynote
PLDI Research Papers
at
Sweden
10:40 - 12:20
Session 6B
PLDI Research Papers
at
Sweden
13:40 - 15:20
Session 7B
PLDI Research Papers
at
Sweden
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
Sweden
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
17:00
30
Sweden
ISMM 2024
ISMM 2024
ISMM 2024
ISMM 2024
Wed 26 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
Sweden
PLDI Research Papers
Keynote
PLDI Research Papers
Session 1B
PLDI Research Papers
Session 2B
PLDI Research Papers
Session 3B
Thu 27 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
Sweden
PLDI Research Papers
Keynote
PLDI Research Papers
Session 4B
PLDI Research Papers
Session 5B
PLDI Research Papers
European Research Council
Fri 28 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
Sweden
PLDI Research Papers
Keynote
PLDI Research Papers
Session 6B
PLDI Research Papers
Session 7B
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
Sweden
LCTES
Welcome and Opening
09:00 - 09:20
LCTES
Keynote
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
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
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
Closing
17:15 - 17:40
x
Sat 18 May 17:16