PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 13:40 - 13:55 at Iceland - Embedded Systems Chair(s): Jian-Jia Chen

With the increasing prevalence of mobile robots, there is a growing demand for powerful system software. Integrating multiple operating systems into a single platform has become necessary, and virtualization offers a cost-effective solution for managing multiple OSes. While several types of hypervisors for embedded systems have been proposed to manage guest OSes, significant work is still needed to make hypervisors applicable in robot systems.

This paper introduces SmartVisor, a microkernel-based hypervisor designed explicitly for robotic systems. Our work focuses on designing the virtual machine management module to improve robot performance and user experience. The goal is to ensure that the hypervisor-based robot meets the demands of real-world scenarios for robot developers and users.

Mon 24 Jun

Displayed time zone: Windhoek change

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