Conflict-free Replicated Priority Queue: Design, Verification and Evaluation (Internetware 2023 - Main Track) - Internetware 2023

Fri 4 - Sun 6 August 2023 Hangzhou, China

Who

Yuqi Zhang, Lingzhi Ouyang, Yu Huang, Xiaoxing Ma

Track

Internetware 2023 Main Track

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

When

Sun 6 Aug 2023 16:40 - 16:55 at Main Conference Room - Session 8: Software Systems

Yuqi Zhang

Lingzhi Ouyang

Yu Huang

Xiaoxing Ma

Nanjing University

China

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Session Program

Sun 6 Aug
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	16:10 - 17:20	Session 8: Software SystemsMain Track at Main Conference Room

	16:10 15m Research paper		MiTFM: A multi-view information fusion method based on transformer for Next Activity Prediction of Business Processes Main Track Jiaxing Wang Zhejiang University of Technology, Chengliang Lu Zhejiang University of Technology, Bin Cao Zhejiang University of Technology, Jing Fang Zhejiang University of Technology
	16:25 15m Research paper		EFTuner: A Bi-Objective Configuration Parameter Auto-Tuning Method Towards Energy-Efficient Big Data Processing Main Track Hui Dou Anhui University, Xing Wei Anhui University, Kang Wang Anhui University, Yiwen Zhang Anhui University, Pengfei Chen Sun Yat-Sen University, Yuee Huang Wannan Medical College
	16:40 15m Research paper		Conflict-free Replicated Priority Queue: Design, Verification and Evaluation Main Track Yuqi Zhang , Lingzhi Ouyang , Yu Huang , Xiaoxing Ma Nanjing University
	16:55 15m Research paper		Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving Main Track Hao Xu , Yongwang Zhao