A Constant-time Preserving C Compiler (APLAS 2019 - The 5th Workshop on New Ideas and Emerging Results in Programming Languages and Systems)

Write a Blog >>

Sun 1 - Wed 4 December 2019 Bali, Indonesia

Track

APLAS 2019 APLAS NIER

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 1 Dec 2019 11:30 - 12:00 at Bali Room - Session 1

Bio

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.

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

A Constant-time Preserving C Compiler

Program Display Configuration

Program Display Configuration

Sun 1 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Sandrine Blazy

Univ Rennes- IRISA

Sun 1 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change