Write a Blog >>
Sun 19 Jan 2020 17:12 - 17:45 at St Jerome - Papers 2 Chair(s): Kedar Namjoshi

Sun 19 Jan
Times are displayed in time zone: Saskatchewan, Central America change

15:35 - 17:45: Papers 2VMCAI at St Jerome
Chair(s): Kedar NamjoshiBell Labs, Nokia
15:35 - 16:07
Talk
The Correctness of a Code Generator for a Functional Language
VMCAI
Nathanaël CourantINRIA, Antoine SereEcole Polytechnique, Natarajan ShankarSRI International, USA
16:07 - 16:40
Talk
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
VMCAI
Jack GarzellaUniversity of Utah, Marek S. BaranowskiUniversity of Utah, Shaobo HeUniversity of Utah, Zvonimir RakamaricUniversity of Utah
16:40 - 17:12
Coffee break
Mini Break
VMCAI
17:12 - 17:45
Talk
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
VMCAI
Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Noam RinetzkyTel Aviv University, Sharon ShohamTel Aviv university