FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan
Wed 15 May 2024 11:30 - 12:00 - Program Analysis Chair(s): François Fages

Wed 15 May

Displayed time zone: Osaka, Sapporo, Tokyo change

11:00 - 12:00
Program AnalysisFLOPS 2024
Chair(s): François Fages Inria Saclay - Ile de France
11:00
30m
Talk
Inferring Non-Failure Conditions for Declarative Programs
FLOPS 2024
Michael Hanus Kiel University
11:30
30m
Full-paper
Practical Constant-Time Memory Management for Functional Programming
FLOPS 2024
Chun Kit Lam Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
Pre-print