Decision Procedures for A Theory of String Sequences (ATVA 2025 - APLAS Papers)

Who

Denghang Hu, Taolue Chen, Philipp Ruemmer, Fu Song, Zhilin Wu

Track

ATVA 2025 APLAS Papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect 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

Wed 29 Oct 2025 12:00 - 12:30 at R104 - Program Analysis, Specifications, and Decision Procedures

Denghang Hu

Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

China

Taolue Chen

Birkbeck, University of London

United Kingdom

Philipp Ruemmer

University of Regensburg and Uppsala University

Germany

Fu Song

Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology

China

Zhilin Wu

Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

China

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect 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

Wed 29 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30	Program Analysis, Specifications, and Decision ProceduresAPLAS Papers at R104

11:00 30m Paper		Checking Consistency of Event-driven Traces APLAS Papers Parosh Aziz Abdulla Uppsala University; Mälardalen University, Mohamed Faouzi Atig Uppsala University, Sweden, Samuel Grahn Uppsala University, Govind Rajanbabu Uppsala University, Ramanathan S. Thinniyam Uppsala University
11:30 30m Paper		Specification Inference modulo Oracles for Database-backed Web Applications APLAS Papers Nitesh Trivedi , Subhajit Roy IIT Kanpur
12:00 30m Paper		Decision Procedures for A Theory of String Sequences APLAS Papers Denghang Hu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Taolue Chen Birkbeck, University of London, Philipp Ruemmer University of Regensburg and Uppsala University, Fu Song Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology, Zhilin Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences