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

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

10:30 - 12:30: Papers 3VMCAI at St Jerome
Chair(s): Dirk BeyerLMU Munich
10:30 - 11:00
Research paper
A Systematic Approach to Abstract Interpretation of Program Transformations
VMCAI
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
Pre-print
11:00 - 11:30
Talk
Sharing Ghost Variables in a Collection of Abstract Domains
VMCAI
Marc ChevalierENS, CNRS, PSL University, INRIA, Jerome FeretINRIA Paris
11:30 - 12:00
Coffee break
Mini Break
VMCAI
12:00 - 12:30
Talk
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
VMCAI
Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Roman ManevichMellanox Technologies, Noam RinetzkyTel Aviv University