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

Sun 19 Jan

Displayed time zone: Saskatchewan, Central America change

15:35 - 17:45
Papers 2VMCAI at St Jerome
Chair(s): Kedar Namjoshi Bell Labs, Nokia
15:35
32m
Talk
The Correctness of a Code Generator for a Functional Language
VMCAI
Nathanaël Courant INRIA, Antoine Sere Ecole Polytechnique, Natarajan Shankar SRI International, USA
16:07
32m
Talk
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
VMCAI
Jack Garzella University of Utah, Marek S. Baranowski University of Utah, Shaobo He University of Utah, Zvonimir Rakamaric University of Utah
16:40
32m
Coffee break
Mini Break
VMCAI

17:12
32m
Talk
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
VMCAI
Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv university