Fluently specifying taint-flow queries with fluentTQL (ESEC/FSE 2022 - Journal First) - ESEC/FSE 2022

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

Goran Piskachev, Johannes Spaeth, Ingo Budde, Eric Bodden

Track

ESEC/FSE 2022 Journal First

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 14:00 - 14:15 at SRC GLR - JF Program Analysis Chair(s): Aldeida Aleti

Abstract

artifact - https://fluenttql.github.io/

secucheck tool (includes implementation of fluentTQL) - https://secucheck.github.io/

Link to Publication

https://link.springer.com/article/10.1007/s10664-022-10165-y

Link to Preprint

https://arxiv.org/abs/2204.03089

Goran Piskachev

Amazon Web Services

Germany

Johannes Spaeth

CodeShield GmbH

Ingo Budde

Fraunhofer IEM

Eric Bodden

Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Germany

Talk

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

	14:00 - 15:30	JF Program AnalysisJournal First at SRC GLR Chair(s): Aldeida Aleti Monash University

	14:00 15m Talk		Fluently specifying taint-flow queries with fluentTQL Journal First Goran Piskachev Amazon Web Services, Johannes Spaeth CodeShield GmbH, Ingo Budde Fraunhofer IEM, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication Pre-print Media Attached
	14:15 15m Talk		DeepMerge: Learning to Merge Programs Journal First Elizabeth Dinella University of Pennsylvania, Todd Mytkowicz Microsoft Research, Alexey Svyatkovskiy , Christian Bird Microsoft Research, Mayur Naik University of Pennsylvania, Shuvendu K. Lahiri Microsoft Research
	14:30 15m Talk		Trident: Controlling Side Effects in Automated Program Repair Journal First Nikhil Parasaram University College London, Earl T. Barr University College London, Sergey Mechtaev University College London
	14:45 15m Talk		Automated Classification of Overfitting Patches with Statically Extracted Code Features Journal First He Ye KTH Royal Institute of Technology, Jian Gu KTH Royal Institute of Technology, Matias Martinez Université Polytechnique Hauts-de-France, Thomas Durieux KTH, Martin Monperrus KTH Royal Institute of Technology