Write a Blog >>
Mon 20 Jan 2020 12:00 - 12:30 at St Jerome - Papers 3 Chair(s): Dirk Beyer

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

10:30 - 12:30
Papers 3VMCAI at St Jerome
Chair(s): Dirk Beyer LMU Munich
10:30
30m
Research paper
A Systematic Approach to Abstract Interpretation of Program Transformations
VMCAI
Sven Keidel JGU Mainz, Sebastian Erdweg JGU Mainz
Pre-print
11:00
30m
Talk
Sharing Ghost Variables in a Collection of Abstract Domains
VMCAI
Marc Chevalier ENS, CNRS, PSL University, INRIA, Jerome Feret INRIA Paris
11:30
30m
Coffee break
Mini Break
VMCAI

12:00
30m
Talk
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
VMCAI
Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Roman Manevich Mellanox Technologies, Noam Rinetzky Tel Aviv University