FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Control-Flow Refinement via Partial Evaluation

Jesús J. Doménech, Samir Genaim and John P. Gallagher

Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations

Alicia Merayo and Samir Genaim

Procedure-Modular Termination Analysis

Cristina David, Daniel Kroening and Peter Schrammel
Total: 3 presentations.