DIFFBASE: A Differential Factbase for Effective Software Evolution Management (ESEC/FSE 2022 - ESEC/FSE 2021) - ESEC/FSE 2022

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

Xiuheng Wu, Chenguang Zhu, Yi Li

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:15 - 11:30 at SRC LT 53 - ESEC/FSE 21 - Program Analysis Chair(s): Haipeng Cai

Xiuheng Wu

Nanyang Technological University, Singapore

Singapore

Chenguang Zhu

The University of Texas at Austin

United States

Yi Li

Nanyang Technological University

Singapore

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