AlloyMax: Bringing Maximum Satisfaction to Relational Specifications (ESEC/FSE 2022 - ESEC/FSE 2021)

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang

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

Save

When

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

Changjian Zhang

Ryan Wagner

Carnegie Mellon University

United States

Pedro Orvalho

INESC-ID, Instituto Superior Técnico, University of Lisbon

Portugal

David Garlan

Carnegie Mellon University

United States

Vasco Manquinho

INESC-ID; Universidade de Lisboa

Portugal

Ruben Martins

Carnegie Mellon University

United States

Eunsuk Kang

Carnegie Mellon University

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

Display full programSpecify a time band

Save

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