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

aplas-2019-APLAS-NIER
10:30 - 12:00: APLAS NIER - Session 1 at Bali Room
aplas-2019-APLAS-NIER10:30 - 11:00
Talk
Sora BaeOracle Labs, Australia, Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
aplas-2019-APLAS-NIER11:00 - 11:30
Talk
Shengyi Wang, Anshuman MohanNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Aquinas HoborNational University of Singapore, Singapore
aplas-2019-APLAS-NIER11:30 - 12:00
Talk
Sandrine BlazyUniv Rennes- IRISA