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

I am professor in the computer science department of the University of Rennes 1, where I am in charge of the research master in computer science. I am a member of CELTIQUE, a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory.

My research activities concern the formal verification using the Coq proof assistant of program transformations and semantic properties of programming languages, such as those found in the CompCert C compiler and the Verasco static analyzer. A prime application domain is software security.

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