Iceland - Infer 2024

VenueRadisson Blu Scandinavia, Copenhagen

Room nameIceland

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

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 programSpecify 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 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


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																			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


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				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

Room information: Iceland

Mon 24 Jun
Displayed time zone: Windhoek change

Tue 25 Jun
Displayed time zone: Windhoek change

Mon 24 Jun
Displayed time zone: Windhoek change

LCTES

LCTES

LCTES

LCTES

Tue 25 Jun
Displayed time zone: Windhoek change

ISMM

ISMM

ISMM

ISMM

ISMM

ISMM

ISMM

Mon 24 Jun
Displayed time zone: Windhoek change

Tue 25 Jun
Displayed time zone: Windhoek change

Tracks

Room information: Iceland

Program Display Configuration

Mon 24 JunDisplayed time zone: Windhoek change

Tue 25 JunDisplayed time zone: Windhoek change

Mon 24 JunDisplayed time zone: Windhoek change

LCTES

LCTES

LCTES

LCTES

Tue 25 JunDisplayed time zone: Windhoek change

ISMM

ISMM

ISMM

ISMM

ISMM

ISMM

ISMM

Mon 24 JunDisplayed time zone: Windhoek change

Tue 25 JunDisplayed time zone: Windhoek change

Mon 24 Jun
Displayed time zone: Windhoek change

Tue 25 Jun
Displayed time zone: Windhoek change

Mon 24 Jun
Displayed time zone: Windhoek change

Tue 25 Jun
Displayed time zone: Windhoek change

Mon 24 Jun
Displayed time zone: Windhoek change

Tue 25 Jun
Displayed time zone: Windhoek change