Lab directory
Scalable Systems Software Lab (S3)
Scalable Systems Software Lab (S3)
Recruiting grad students
Yonsei University · Computer Science
Information sourcenot verified yet
Professor
Prof. 정진규
Professor's page · publicationsAbout
정진규 교수 연구실(S3 @ Yonsei, Scalable Systems Software Lab)은 연세대 컴퓨터과학과 소속으로, 운영체제·스토리지 시스템·클라우드 컴퓨팅 등 응용과 하드웨어를 잇는 컴퓨터 시스템 및 시스템 소프트웨어를 성능·비용·신뢰성·보안·에너지 관점에서 연구한다. OSDI·USENIX ATC 등에 논문을 발표했다.
Research keywords
운영체제스토리지 시스템클라우드 컴퓨팅머신 가상화모바일 시스템
Selected publications
- MemSOS: OS-Guided Selective Memory MirroringIEEE International Symposium on High Performance Computer Architecture (HPCA) · 2026
- CPC: Coordinated Page Cache for Serverless ComputingInternational Conference on Parallel Architectures and Compilation Techniques (PACT '25) · 2025
- Identifying On-/Off-CPU Bottlenecks Together with Blocked SamplesUSENIX Symposium on Operating Systems Design and Implementation (OSDI '24) · 2024
- A Secure, Fast, and Resource-Efficient Serverless Platform with Function REWINDUSENIX Annual Technical Conference (ATC '24) · 2024
- D2FQ: Device-Direct Fair Queueing for NVMe SSDsUSENIX Conference on File and Storage Technologies (FAST '21) · 2021
- ASAP: Fast Mobile Application Switch via Adaptive PrepagingUSENIX Annual Technical Conference (ATC '21) · 2021
Other labs in this department
- Human-Data Interaction LabRecruiting
Min-Suk Kang
데이터 시각화, AI 안전 및 윤리, 휴먼-컴퓨터 인터랙션, 인간 중심 AI
- Human-Data Interaction Lab (HDIL)Recruiting
Dae-Hyun Kim
휴먼-컴퓨터 인터랙션, 휴먼-데이터 인터랙션, 휴먼-AI 인터랙션, 데이터 시각화, 멀티모달 인터랙션, 메타버스
- Formal Computing and AI Lab (FCAI)Recruiting
Jiyoung Kim
프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
- Big Data Systems & Artificial Intelligence Lab (BDAI)Recruiting
Kwang-Hyun Park
데이터 중심 인공지능, DBMS for ML lifecycle, ML 기반 DBMS 최적화, 빅데이터 시스템, 클라우드 시스템, 하드웨어-데이터 플랫폼 co-design
- Application-aware System Optimization Lab (ASO)Recruiting
Young-Joon Park
딥러닝 컴파일러, GPU/NPU/PIM 대상 시스템 SW 최적화 (컴파일러, 런타임), 인공지능 가속기 설계 및 컴파일러 지원
- Secure Systems Lab (SSLab)Recruiting
Do-Kyoung Song
시스템 보안, 운영체제 보안, 바이너리 역공학, 프로그램 분석, 기밀 컴퓨팅