Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Mon 14 Nov 2022 11:15 - 11:30 at SRC LT 53 - ESEC/FSE 21 - Program Analysis Chair(s): Haipeng Cai

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