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

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

10:30 - 12:30
Papers 1VMCAI at St Jerome
Chair(s): Natasha SharyginaUSI Lugano, Switzerland
10:30
30m
Talk
Witnessing Secure Compilation
VMCAI
Kedar NamjoshiBell Labs, Nokia, Lucas M. TabajaraRice University
11:00
30m
Talk
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
VMCAI
Pietro FerraraUniversità Ca' Foscari, Venezia, Italy, Luca OlivieriJuliaSoft SRL, Fausto SpotoU. Verona
11:30
30m
Coffee break
Mini Break
VMCAI
12:00
30m
Talk
Fixing Code That Explodes Under Symbolic Evaluation
VMCAI
Sorawee PorncharoenwaseUniversity of Washington, James BornholtUniversity of Texas at Austin, Emina TorlakUniversity of Washington