Verification of Programs with Common Fragments (FSE 2024 - Ideas, Visions and Reflections)

Mon 15 - Fri 19 July 2024 Porto de Galinhas, Brazil, Brazil

Who

Ivan Postolski, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel

Track

FSE 2024 Ideas, Visions and Reflections

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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 17 Jul 2024 17:48 - 17:57 at Acerola - Program Analysis and Performance 1 Chair(s): Alessandra Gorla

Ivan Postolski

University of Buenos Aires

Argentina

Víctor Braberman

ICC (UBA-CONICET)

Argentina

Diego Garbervetsky

Departamento de Computación, FCEyN, UBA

Argentina

Sebastian Uchitel

Imperial College and University of Buenos Aires

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

16:00 - 18:00	Program Analysis and Performance 1Research Papers / Industry Papers / Demonstrations / Ideas, Visions and Reflections at Acerola Chair(s): Alessandra Gorla IMDEA Software Institute

16:00 18m Talk		DyPyBench: A Benchmark of Executable Python Software Research Papers Islem BOUZENIA University of Stuttgart, Bajaj Piyush Krishan University of Stuttgart, Michael Pradel University of Stuttgart
16:18 18m Talk		Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing Research Papers Xiao Cheng UNSW, Jiawei Ren UNSW, Yulei Sui UNSW DOI Pre-print
16:36 18m Talk		PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software Research Papers Yoel Kim Kyungpook National University, Yunja Choi Kyungpook National University DOI File Attached
16:54 18m Talk		Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning Research Papers Aashish Yadavally University of Texas at Dallas, Yi Li University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas Pre-print
17:12 18m Talk		Checking Complex Source Code-level Constraints using Runtime Verification Industry Papers Joshua Heneage Dawes University of Luxembourg, Domenico Bianculli University of Luxembourg
17:30 9m Talk		XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges Demonstrations Ke Wang Peking University, Yue Li Peking University, Che Wang Peking University, China, Jianbo Gao Peking University, Zhi Guan Peking University, Zhong Chen
17:39 9m Talk		Rapid Taint Assisted Concolic Execution (TACE) Demonstrations Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Norbert Tihanyi Technology Innovation Institute, Mthandazo Ndhlovu Technology Innovation Institute, Mohamed Amine Ferrag Technology Innovation Institute, Lucas C. Cordeiro University of Manchester, UK DOI
17:48 9m Talk		Verification of Programs with Common Fragments Ideas, Visions and Reflections Ivan Postolski University of Buenos Aires, Víctor Braberman ICC (UBA-CONICET), Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Sebastian Uchitel Imperial College and University of Buenos Aires