Checking LTL[F,G,X] on Compressed Traces in Polynomial Time (ESEC/FSE 2022 - ESEC/FSE 2021) - ESEC/FSE 2022

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

Minjian Zhang, Umang Mathur, Mahesh Viswanathan

Track

ESEC/FSE 2022 ESEC/FSE 2021

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

Mon 14 Nov 2022 11:30 - 11:45 at SRC LT 53 - ESEC/FSE 21 - Program Analysis Chair(s): Haipeng Cai

Minjian Zhang

University of Illinois at Urbana-Champaign

United States

Umang Mathur

National University of Singapore

Singapore

Mahesh Viswanathan

University of Illinois at Urbana-Champaign

United States

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

Mon 14 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	11:00 - 12:30	ESEC/FSE 21 - Program AnalysisESEC/FSE 2021 at SRC LT 53 Chair(s): Haipeng Cai Washington State University

	11:00 15m Talk		AlloyMax: Bringing Maximum Satisfaction to Relational Specifications ESEC/FSE 2021 Changjian Zhang , Ryan Wagner Carnegie Mellon University, Pedro Orvalho INESC-ID, Instituto Superior Técnico, University of Lisbon, David Garlan Carnegie Mellon University, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
	11:15 15m Talk		DIFFBASE: A Differential Factbase for Effective Software Evolution Management ESEC/FSE 2021 Xiuheng Wu Nanyang Technological University, Singapore, Chenguang Zhu The University of Texas at Austin, Yi Li Nanyang Technological University
	11:30 15m Talk		Checking LTL[F,G,X] on Compressed Traces in Polynomial Time ESEC/FSE 2021 Minjian Zhang University of Illinois at Urbana-Champaign, Umang Mathur National University of Singapore, Mahesh Viswanathan University of Illinois at Urbana-Champaign