VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries (ASE 2026 - Research Papers)

Who

Huan Li, Xing Hu, Xin Xia, Xinyu Wang

Track

ASE 2026 Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

When

Thu 15 Oct 2026 16:30 - 16:45 at Forum 15 - Formal Aspects of Software Engineering: Formal Methods and Model Checking 2

Huan Li

Zhejiang University

China

Xing Hu

Zhejiang University

China

Xin Xia

Zhejiang University

China

Xinyu Wang

Zhejiang University

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 17:30	Formal Aspects of Software Engineering: Formal Methods and Model Checking 2Industry Showcase / Research Papers at Forum 15

16:30 15m Talk		VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries Research Papers Huan Li Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xinyu Wang Zhejiang University
16:45 15m Talk		Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards Research Papers Hao Bu Ant Group; Zhejiang University, Lin Huang Ant Group, Tao Wei Ant Group, Jingyi Wang Zhejiang University
17:00 15m Talk		FlowChecker: One Command to Model Check Control-Flow Rules in Industrial Java Industry Showcase Qiuye Wang Alibaba Cloud Computing, Liqing Cao Alibaba Cloud Computing, Wei Hu Alibaba Cloud Computing, Dengcheng He Alibaba Cloud Computing
17:15 15m Talk		Inferring the Shape of Data Frames in R Programs using Abstract Interpretation Research Papers Oliver Gerstl Ulm University, Florian Sihler Ulm University, Matthias Tichy Ulm University DOI Pre-print