Towards Understanding and Reasoning about Android Interoperations (APLAS 2019 - The 5th Workshop on New Ideas and Emerging Results in Programming Languages and Systems) - APLAS 2019

Write a Blog >>

Sun 1 - Wed 4 December 2019 Bali, Indonesia

Who

Sora Bae, Sungho Lee, Sukyoung Ryu

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

When

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

Sora Bae

Oracle Labs, Australia

South Korea

Sungho Lee

KAIST, South Korea

South Korea

Sukyoung Ryu

KAIST, South Korea

Korea, South

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

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