프로그램

2월 1일 (월요일)

시간 프로그램
13:00-13:05 개회식
13:05-13:50 Keynote Speech 1
사회: 김철기 교수 (한국항공대)
High-Assurance Autonomous Cyber-Physical Systems with Learning-Enabled Components

 

이인섭 교수 (University of Pennsylvania)
13:50-15:20 S1: System × HPC
좌장: 김영재 교수 (서강대)
Performance Portability in the Era of Extremely Heterogeneous Computing

 

이세용 박사 (Oak Ridge National Laboratory)
KISTI-5 Supercomputing System Optimization and 2-year Experience

 

홍태영 센터장 (KISTI)
RISC-V for HPC and Platform-based SoCs in data center

 

조명현 CEO (Semi Five)
15:20 – 15:40 Coffee Break
15:40 –17:10 S2: System × AI
좌장: 이영민 교수 (서울시립대)
Reinforcement Learning for Cyber-Physical Systems

 

우홍욱 교수 (성균관대)
Challenges of Building High Performance AI Chips for Datacenter

 

백준호 대표 (Furiosa.AI)
GPU Task Scheduling for Deep Learning

 

전병곤 교수 (서울대)
17:10 – 18:20 학생 교류 프로그램
(진행: 김광선 POSTECH 교수, 박종세 KAIST 교수)
포스터 (장소: 레인보우룸)
18:30 – 20:30 Banquet

 

2월 2일 (화요일)

시간 프로그램
9:00-10:00 S3: New Comers
좌장: 강경태 교수 (한양대)
Architectural Impact of Monolithic 3D (M3D) Integration-based Caches

 

공영호 교수 (광운대)
Alleviating Garbage Collection Interference Through Spatial Separation in All Flash Arrays

 

김재호 교수 (경상대)
Brain-Inspired Hyperdimensional Computing

 

김예성 교수 (DGIST)
Performance Modeling for Next Generation Computer Architecture

 

장한휘 교수 (아주대)
10:00-10:45 Keynote Speech 2 
사회: 서의성 교수 (성균관대)
4차산업혁명시대의 대응전략

 

윤성로 교수 (서울대)
10:45-11:00 Coffee Break
11:00-12:30 S4: System × System
좌장: 정진규 교수 (성균관대)
Safe and Secure Computing Infrastructure for Intelligent CPS

 

윤희철 교수 (University of Kansas)
Area-Efficient High-Level Synthesis

 

김한준 교수 (연세대)
Scaling Persistent Memory Program for Manycore Systems

 

민창우 교수 (Virginia Tech)
12:30-14:00 Lunch Break
14:00-15:30 S5: System × Cloud
좌장: 탁병철 교수 (경북대)
클라우드 시대의 컴퓨팅과 통신의 크로스최적화

 

김정래 교수 (성균관대)
Next Generation Cloud Computing Projection: from Serverless to Self-Architecting

 

이경용 교수 (국민대)
Practical Implementation for Batching and Optimizing AI/HPC Workload with Heterogeneous Computing Resources

 

신정규 대표 (Backend.AI)
15:30-15:50 Coffee Break
15:50-17:20 S6: System × Security
좌장: 박영준 교수 (한양대)
Memory Tagging 기반의 보다 효과적인 메모리 안전 구현

 

조영필 교수 (한양대)
Verification of Security-focused Hypervisor Using RUSC Framework

 

김지응 (구글 코리아)
소프트웨어 거품: 문제점과 자동 제거 시스템

 

허기홍 교수 (KAIST)

 

2월 3일 (수요일)

시간 프로그램
13:00-17:30 슈퍼컴퓨터 개발 선도사업 2차년도 킥오프 워크샵 (invitation only)

 

한국전자통신연구원