Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Sun 1 Dec 2019 11:00 - 11:30 at Bali Room - Session 1

Sun 1 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

10:30 - 12:00
Session 1APLAS NIER at Bali Room
10:30
30m
Talk
Towards Understanding and Reasoning about Android Interoperations
APLAS NIER
Sora Bae Oracle Labs, Australia, Sungho Lee KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
11:00
30m
Talk
A Verified Garbage Collector for Gallina
APLAS NIER
Shengyi Wang , Anshuman Mohan National University of Singapore, Qinxiang Cao Shanghai Jiao Tong University, Aquinas Hobor National University of Singapore, Singapore
11:30
30m
Talk
A Constant-time Preserving C Compiler
APLAS NIER
Sandrine Blazy Univ Rennes- IRISA