Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs (KLEE 2024) - ICSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Who

Azalea Raad, Julien Vanegue, Josh Berdine, Peter O'Hearn

Track

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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 15 Apr 2024 14:22 - 14:44 at Maria Helena Vieira da Silva - Grammars, Concurrency, Mocking and Constraints Chair(s): Abhik Roychoudhury

Azalea Raad

Imperial College London

United Kingdom

Julien VaneguePresenter

Bloomberg, USA

United States

Josh Berdine

SkipLabs

United Kingdom

Peter O'Hearn

University College London, UK and Lacework, London, UK

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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 15 Apr
Displayed time zone: Lisbon change

	14:00 - 15:30	Grammars, Concurrency, Mocking and ConstraintsKLEE at Maria Helena Vieira da Silva Chair(s): Abhik Roychoudhury National University of Singapore

	14:00 22m Talk		Symbolic Grammar Mining KLEE P: Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
	14:22 22m Talk		Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs KLEE Azalea Raad Imperial College London, P: Julien Vanegue Bloomberg, USA, Josh Berdine SkipLabs, Peter O'Hearn University College London, UK and Lacework, London, UK
	14:44 22m Talk		Automated Generation of Database Mocks with Symbolic Execution KLEE Cesar Cornejo University of Rio Cuarto and CONICET, Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, P: Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET
	15:06 22m Talk		Symbolic Execution Oriented Constraint Solving KLEE P: Zhenbang Chen School of Computer, National University of Defense Technology, China, Ziqi Shuai School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Zehua Chen College of Computer, National University of Defense Technology, Guofeng Zhang Hunan University, Jun Sun Singapore Management University, Wei Dong National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China