KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

Computer Architecture and Systems Lab

Faculty Name
Seungryoul Maeng / Youngjin Kwon / Jongse Park / Jaehyuk Huh
Research Area
Systems-Networks, Secure Computing, Systems-Networks, Social Computing, Systems-Networks, Secure Computing
Website
http://casys.kaist.ac.kr/
E-mail
/ / /
Phone
042-350-3519
Office
#4403,4406, #4403(S. Maeng), #4406(J. Huh), #4405(Y. Kwon), #2427(J. Park), E3-1

Computer Architecture and Systems Laboratory (CASys) was established in 1974 when the KAIST CS department was founded. Along the long history, the lab has been exploring a wide spectrum of research topics in computer architecture and systems. Building upon the profound research tradition, the faculty and student members of CASys currently work on addressing interdisciplinary research challenges that span across a broad range of layers in computing stack, which include but are not limited to, (1) systems for machine learning (ML), (2) processor and memory system design for edge-to-cloud systems, (3) operating system support for emerging memory technologies, and (4) trusted computing for system security.

Systems for ML
ML requires an unprecedented scale of computing power and necessitates the design and development of specialized computing stacks that offer otherwise-unachievable system performance and efficiency. We take a holistic approach by considering hardware, software, and algorithm together, and build full stacks for efficient and performant ML computing. These stacks encompass almost the entire layers in computing stacks, such as computer architecture, operating systems, runtime software, compiler, programming languages, and algorithms.  

Processor and memory system design for edge-cloud systems
As the applications are diversified and the computing is needed in various circumstances, the importance of processor and memory system design for various computing platforms—from edge to cloud—constantly increases. The diversity and heterogeneity pose numerous research challenges in designing processor and memory architecture for which we aim to resolve.

Operating system support for emerging memory technologies 
Emerging memory technologies promise new capabilities for future computing systems yet require heavy operating system support for their effective use. We build next-generation operating systems that are capable of effectively leveraging the new memory technologies to boost the system performance.  

Trusted computing for system security
As the security and privacy become a significant concern for modern computing environment, the system security technologies have attained an increasing attention. We look at security and privacy problems in the perspective of system development, and explore hardware-software co-designed approaches to offer the trustworthy system environment for application users.  

list