권영진 교수 연구실
Systems Lab
한국과학기술원 · 전산학부
교수 소개
권영진 교수
교수 홈페이지·논문소개
권영진 교수는 KAIST 전산학부 부교수로 2018년 University of Texas at Austin에서 박사학위를 받고 합류했으며, 컴퓨터 구조 및 시스템 연구실(CASYS Lab)에 소속되어 있다. 운영체제, 컴퓨터 구조, 시스템 전반을 연구하며 특히 메모리 관리·가상화, 커널 동시성 및 디버깅, 파일시스템·스토리지, LLM 추론 최적화, 프로세싱-인-메모리 구조에 집중한다. ACM SOSP에서 아시아 최초로 두 차례(2021, 2024) 최우수 논문상을 수상했다.
연구 키워드
최근 논문
- AgSpec: Pushing the Limits of Retrieval-Based Speculative Decoding in Coding Agent Pipelines프리프린트arXiv (Cornell University) · 10월 1일
- OasisKV: Scaling In-Decode KV Cache Beyond HBM with Lookahead Sparse Prefetching프리프린트arXiv (Cornell University) · 8월 8일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
대표 논문
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access ReorderingACM SOSP · 2024
- BUDAlloc: Defeating Use-After-Free Bugs by Decoupling Virtual Address Management from KernelUSENIX Security · 2024
- Identifying On-/Off-CPU Bottlenecks Together with Blocked SamplesUSENIX OSDI · 2024
- Oxbow: A Coordinated Architecture for Multi-component File SystemsUSENIX OSDI · 2026
- PIM-malloc: A Fast and Scalable Dynamic Memory Allocator for Processing-In-Memory ArchitecturesIEEE HPCA · 2026
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Software Engineering Research
권영진 교수 연구실
한국과학기술원 · 정보보호대학원
AgSpec: Pushing the Limits of Retrieval-Based Speculative Decoding in Coding Agent Pipelines프리프린트arXiv (Cornell University) · 10월 1일한요섭 교수 연구실
연세대학교 · 컴퓨터과학과
SLICE: Specification-Level Isolation of Contract Enforcement프리프린트arXiv (Cornell University) · 8월 21일김기섭 교수 연구실
대구경북과학기술원 · 전자공학전공
A Unified Issue Resolution Benchmark for Requirement Clarification, Planning, and Code Generation for Coding Agents프리프린트arXiv (Cornell University) · 8월 10일
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
Network and distributed system security
- 김민수 교수 연구실모집 중
Databases, data mining/machine learning, medical/bioinformatics
- 김주호 교수 연구실모집 중
HCI, human-AI interaction, social computing, crowdsourcing, online education
- 김현우 교수 연구실모집 중
AI, computer vision, machine learning
- 문수복 교수 연구실모집 중
Network platforms, online social networks
- 박대형 교수 연구실모집 중
Robotics, machine learning, artificial intelligence