Write a Blog >>
Sun 19 Jan 2020 12:00 - 12:30 at St Jerome - Papers 1 Chair(s): Natasha Sharygina

Sun 19 Jan

Displayed time zone: Saskatchewan, Central America change

10:30 - 12:30
Papers 1VMCAI at St Jerome
Chair(s): Natasha Sharygina USI Lugano, Switzerland
10:30
30m
Talk
Witnessing Secure Compilation
VMCAI
Kedar Namjoshi Bell Labs, Nokia, Lucas M. Tabajara Rice University
11:00
30m
Talk
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
VMCAI
Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Luca Olivieri JuliaSoft SRL, Fausto Spoto U. Verona
11:30
30m
Coffee break
Mini Break
VMCAI

12:00
30m
Talk
Fixing Code That Explodes Under Symbolic Evaluation
VMCAI
Sorawee Porncharoenwase University of Washington, James Bornholt University of Texas at Austin, Emina Torlak University of Washington