IEEE NVMSA 2020 Technical Program



Time

Aug. 19

09:30-10:30

Keynote 1: Prof. Gernot Heiser
The verified seL4 microkernel – a high-assurance foundation for mixed-criticality systems

10:30-11:00

Break

11:00-12:30

Keynote 2: Prof. Tulika Mitra
Heterogeneous Computing in Embedded Systems: Promises, Progress, Pitfalls

12:30-13:30

Lunch

13:30-14:30

Session 1: Solid-State Drive

14:30-15:00

Break

15:00-16:30

Session 2: Invited Session I

Time

Aug. 20

8:30-10:00

Session 3: Emerging Technology

10:00-10:30

Break

10:30-12:00

Session 4: OS and Application

12:00-13:30

Lunch

13:30-15:00

Session 5: Energy Optimization

15:00-15:30

Break

15:30-17:00

Session 6: Invited Session II



Instructions for Presenters



August 19


Session 1: Solid-State Drive (13:30-14:30)

Session Chair: Junghee Lee (Korea University)

Session 2: Invited Session I (15:00-16:30)

Session Chair: Guangyu Sun (Peking University)


August 20


Session 3: Emerging Technology (08:30-10:00)

Session Chair: Yiran Chen (Duke University)

Session 4: OS and Application (10:30-12:00)

Session Chair: Jongmoo Choi (Dankook University)

Session 5: Energy Optimization (13:30-15:00)

Session Chair: Chun Jason Xue (City University of Hong Kong)

Session 6: Invited Session II (15:30-17:00)

Session Chair: Sungjin Lee (DGIST)