클라우드 컴퓨팅을 위한 프로세서 디자인

[허재혁 교수] 오늘날의 컴퓨팅 환경은 기존의 퍼스널 컴퓨터(PC) 환경에서 넘어서 클라우드 컴퓨팅(Cloud computing)으로 페러다임 전환이 발생하고 있다. 클라우드 컴퓨팅은 스마트 디바이스 출현과 빅 데이터 분석 등 많은 수의 컴퓨팅 자원을 요구하는 곳에서 널리 사용이 되고 있고, 이에 따라 많은 양의 컴퓨터 연산 작업이 기존의 컴퓨터가 아닌 대량의 컴퓨터 자원으로 구성된 클라우드 데이터 센터에 집중이 되는 결과를 가져오고 있다. 기존의 서버 컴퓨터 환경과는 다르게 현재 클라우드 컴퓨팅은 가상화(Virtualization)기술을 기반으로 발전되고 있다. 가상화 기술이란 하나의 물리적인 컴퓨터에서 여러 개의 가상 컴퓨터를 운용할 수 있는 기술로서 클라우드 컴퓨팅의 근간이 되는 기술이라 할 수 있다. 컴퓨터 구조 연구실에서는 가상화 클라우드 컴퓨팅을 위한 프로세서 및 소프트웨어 시스템에 대한 연구를 중점적으로 진행하고 있다. ＊ 이종(asymmetric) 프로세서를 가지는 시스템의 성능 및 공평성을 위한 가상화 시스템 연구 기존의 멀티 코어 시스템은 모든 코어가 동일한 성능을 갖도록 설계되어 왔으나 다수의 코어를 최대한 활용하여 처리량(throughput)을 높이는 응용프로그램의 도입으로 인해 칩(chip)의 면적 대비 에너지 효율이 좋지 못하는 단점을 가지게 되었다. 이러한 문제를 해결하기 위해 미래의 프로세서는 서로 다른 성능 및 전력 소모량을 가지는 이종의 코어들로 구성될 것이고, 이를 지원할 수 있는 소프트웨어 기술이 매우 중요한 요소가 될 것이다. 본 연구는 이러한 이종의 코어들로 구성된 가상화 시스템에서 각 가상의 컴퓨터들에게 어떻게 프로세서를 스케줄링 하면 최대한 처리량을 늘리면서 각 가상 컴퓨터들 사이의 공평성(fairness)을 지켜줄 수 있는지 알아보도록 한다. - 연구성과: ACM/IEEE International Symposium on Computer Architecture(ISCA), 2011 ＊ 가상화 기반 클라우드 시스템의 보안성을 향상 시키기 하드웨어 연구 가상화 기술의 도입으로 인하여 자원의 효율성 및 컴퓨팅 운용 비용을 개선할 수 있지만 개인 혹은 회사에서 사용하는 중요한 자료들이 내 컴퓨터가 아닌 원격지의 컴퓨터에 저장이 되기 때문에 이를 안전하게 보관해야 하는 보안 문제가 심각하게 대두되고 있다. 안전한 클라우드 컴퓨팅 환경을 제공하기 위해서는 각각의 가상 컴퓨터가 사용하는 데이터에 대해서 기밀성(Confidentiality), 무결성(Integrity), 가용성(Availability)을 제공하여야 한다. 본 연구에서는 악의적인 사용자에 의해서 가상화 시스템이 칩임을 당하는 경우에도 각 가상 컴퓨터에서 사용하고 있는 메모리의 데이터를 노출 시키지 않도록 한다. - 연구성과: IEEE/ACM International Symposium on Microarchitecture(MICRO), 2011 ＊ 메모리 주소 공간 가상화를 효과적으로 지원하기 위한 프로세서 연구 가상화된 클라우드 시스템은 다수의 가상 컴퓨터가 하나의 물리적 컴퓨터를 공유하게 되기 때문에 각각의 가상 컴퓨터에게 독립된 메모리 주소 공간을 제공해주어야 한다. 이는 가상 컴퓨터의 성능을 하락시키는 가장 큰 요인 중 하나로 지목되고 있으며 최근의 프로세서에서는 이러한 복잡한 과정을 지원하기 위한 하드웨어가 도입이 되고 있다. 하지만 기존 프로세서에 탑재된 기능은 가상화 컴퓨터의 특징을 고려하지 않고, 가상 컴퓨터가 프로세스와 비슷하다는 가정하에 만들어 졌다. 본 연구에서는 이러한 설계의 문제점에 대해서 지적하고, 가상화 시스템에 적합한 메모리 주소 공간 방법에 대해서 알아본다. - 연구성과: ACM/IEEE International Symposium on Computer Architecture(ISCA), 2012

CPSNA 2014 Best Paper Award

Cyber-Physical Systems 분야의 국제학회인 CPSNA (IEEE International Conference on Cyber-Physical Systems, Networks, and Applications)에서 신인식 교수 연구실에서 제출했던 논문이 Best Paper Award를 수상했습니다. • 논문: Scalable Path and Time Coordination for Robot Formation • 저자: 좌훈승, Andrii Shyshkalov, 이길호, 신인식 수상을 축하드립니다.

ACM MobileHCI 2014, Honorable Mention Award

송준화 교수 연구실에서 ACM MobileHCI 2014 학회 Honorable Mention Award 를 아래와 같이 수상하게 되었습니다. 수상을 진심으로 축하 드립니다. • 학회: International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), 2014 • 논문명: CoSMiC: Designing a Mobile Crowd-sourced Collaborative Application to Find a Missing Child in Situ • 저자: Hyojeong Shin (신효정, Duke Univ., Apple 입사 예정), Taiwoo Park (박태우, KAIST 전산학과), Seungwoo Kang (강승우, KAIST 전산학과), Bupjae Lee (이법재, KAIST 전산학과 석사 졸업, 현 Google Korea), Junehwa Song (송준화, KAIST 전산학과), Yohan Chon (전요한, 연세대학교 컴퓨터과학과), Hojung Cha (차호정, 연세대학교 컴퓨터과학과)

UCAWSN 2014, Best paper 수상

윤현수 교수님 연구실에서 국제학술대회 The 2nd FTRA International Conference on Ubiquitous Computing Application and Wireless Sensor Network (UCAWSN-14)에 참가해 Best Paper를 수상하였습니다. • 논문제목: The Design of a New Virtualization-based Server Cluster System Targeting for Ubiquitous Computing Applications • 저자: 임정민, 송시후, 이수진, 두석주, 윤현수 • 수상일: 2014.7.8

최기선 교수, Eugen Wuster Prize 수상

[최기선 교수] 독일표준화연구소가(DIN) 베를린에서 주최한, 2014 국제전문용어및지식공학회(TKE)의 폐막식 행사에서, 우리 KAIST 전산학과의 정교수이자, 한국전문용어언어공학연구센터(KORTERM)의 소장인, 최기선 박사가, 그의 평생공로를 높이 치하하는 의미의, Eugen Wüster Prize를 수상하였다. 해당 분야의 아버지로 불리는 Eugen Wüster(1898-1977)의 이름을 딴 이 상은, 전문용어 관련 분야에서 뛰어난 성과를 거둔 연구자들의 업적을 기리기 위한 목적으로, 1997년을 시작으로, 매 3년마다 수여되어 왔다. 2002년을 시작으로 지금에 이르기까지, ISO/TC37/SC4 언어자원관리표준위원회의 창설자이자 한국 최초 간사로서, 또한 Infoterm의 부회장으로서, 오랜 시간 전문용어 국제표준화 연구를 선도해 온 바 있는 최기선 교수를 포함하여, 현재까지 전세계 총 10명의 학자들이 이 상을 수상하였다. 관련기사: http://www.infoterm.info/activities/news/2014/2014_07_06.php

박태우 박사과정, ACM CHI 2014 Honorable Mention Award 수상

우리 전산학과 박태우 박사(지도교수: 송준화) 외 5분의 저자가 참여한 논문이 ACM CHI 2014 Honorable Mention Award 를 수상 하였습니다. CHI 컨퍼런스는 MS Academic Search, Top conferences in HCI 1위에 랭크된 컨퍼런스로 우리 전산학과에서도 S급 으로 분류하고 있는 저명 컨퍼런스 입니다. 논문 수상을 진심으로 축하 드립니다. - 학 회: ACM CHI Conference on Human Factors in Computing Systems, 2014 - 논문명: Human Factors of Speed-based Exergame Controllers - 저 자: Taiwoo Park (박태우, KAIST 전산학과), Uichin Lee (이의진, KAIST 지식서비스공학과), Scott I. MacKenzie (York University, Canada), Miri Moon (문미리, KAIST 웹사이언스공학전공), Inseok Hwang (황인석, KAIST 모바일SW연구센터), Junehwa Song (송준화, KAIST 전산학과)

SK creative challenge 최우수상 수상

SK Creative Challenge 최우수상 수상 한국 최대의 융합 학술대회인 HCI 2014 컨퍼런스에서 발표된 ‘SK Creative Challenge: 웨어러블 UX’ 경연대회에서 전산학과 박사과정 홍정규(지도교수 김순태) 석사과정 안홍선(지도교수 김순태), 그리고 산업디자인학과 신인건 학생이 최우수상을 수상하였다. SK Creative Challenge는 IT-인문-예술 분야에서 출중하고 융합적 사고에 능한 창조적 인재 육성을 목표로 하는 프로그램으로 카이스트, 서울대학교, 연세대학교, 성균관대학교가 함께 참여하여 '창의 개발' 과정을 공동으로 운영하고, 매년 ICT분야의 쟁점에 대해 상호 경연하는 장이다. 해당 팀은 오랜 시간을 앉아서 생활하는 현대인의 종합적인 건강 관리를 위한 ‘헬스 벨트’를 기획/개발하였다. 헬스 벨트는 사용자의 자세와 하루 운동량, 식사습관 등 여러 가지 정보를 수집 및 가공하여 종합적인 조언을 해주는 개인 맞춤형 건강관리 서비스 시스템이다.

정보과학회 제32회 학생논문경진대회 대학생논문상

우리 전산학과 석사과정 박용배 (지도교수: 김문주) 연구논문이 대학원생논문상을 수상 하였습니다. 수상을 축하 드립니다. • 수상일: 2013-06-27 • 수상명: 정보과학회 제32회 학생논문경진대회 대학생논문상 • 주관기관: 한국정보과학회 • 논문명: 크로스 브라우저 프로파일링을 통한 웹 어플리케이션 성능 버그 탐지

Best Paper Award

우리 전산학과 박사과정 정영섭 (지도교수: 최호진) 연구논문이 ISIS 2013에서 Best Paper Award를 수상하였습니다. 수상을 축하드립니다. • 수상일: 2013-11-14 • 수상명: Best Paper Award • 주관기관: International Symposium on Advanced Intelligent Systems (ISIS 2013) • 논문명: Overlapped Latent Dirichlet Allocation for Efficient Image Segmentation

Best Paper Award (PACT 2013)

우리학과 박사과정 김광선 (지도교수: 김동준) 외 저자 2명(서울대)이 참여한 연구논문이 Best Paper Award를 수상하였습니다. 수상을 축하 드립니다. • 수상명: PACT 2013 Best Paper • 수상일: 2013-09-11 • 주관기관: ACM (PACT 2013) • 논문명: Memory-centric System Interconnect Design with Hybrid Memory Cubes

한국정보과학회 최우수논문상 수상

석사과정 김태현 (지도교수: 백종문) 연구논문이 최우수 논문상을 수상하였습니다. 수상을 축하 드립니다. • 수상일: 2013-11-15• 수상명: 최우수논문상 • 논문제목: "하모니 탐색 알고리즘을 이용한 소프트웨어 신뢰성 성장 모델의 매개변수 추정 " • 주관기관: 정보과학회

Microsoft New Faculty Award in Korea

우리 학과 김민혁 교수가 Microsoft New Faculty Award 를 수상 하였습니다. 수상을 축하 드립니다. • 수상일: 2013-04-10 • 수상명: Microsoft New Faculty Award in Korea • 주관기관: Microsoft Research Asia • 수상내역: Microsoft New Faculty Award Winner (마이크로소프트 신임 교원상 수상)

Recognition of Service Awards

우리 학과 윤성의 교수가 Recognition of Service Awards 수상 하였습니다. 수상을 축하 드립니다. • 수상일: 2013-06-01 • 수상명: Recognition of Service Awards • 주관기관: ACM • 수상내역: In Appreciation for Contributions to ACM, Paper Co-Chair, I3D ＇13

ACM SIGMOD Best Paper Award

우리 학과 정진완 교수가 ACM SIGMOD Best Paper Award 를 수상 하였습니다. 수상을 진심으로 축하 드립니다. • 수상일: 2013-07-08 • 수상명: ACM SIGMOD Best Paper Award • 논문명: Massive Graph Triangulation

Best Paper Award (DATE 2013)

우리 학과 박사과정 홍석인 (지도교수: 김순태)의 연구논문이 Design, Automation and Test in Europe conference(DATE) 2013 학회에서 Best Paper Award를 수상 하였습니다. 수상을 축하드립니다. • 구분: 국제 • 수상일: 2013년 3월 27일 •수상명: Best Paper Award • 수상구분: 논문 • 논문제목: AVICA: An Access-time Variation Insensitive L1 Cache Architecture

CSCW 2014 Best paper award 수상

우리 전산학과 황인석 박사(지도교수: 송준화 / 김동준, 임동선 교수 공동연구) 외 6분의 저자가 참여한 논문이 CSCW 2014 Best paper award 를 수상 하였습니다. CSCW 컨퍼런스는 MS Academic Search, Top conferences in HCI 2위에 랭크된 컨퍼런스로 우리 전산학과에서도 S급 으로 분류하고 있는 저명 컨퍼런스 입니다. 논문 수상을 진심으로 축하 드립니다. • 학 회: ACM CSCW (Computer Supported Collaborative Work and Social Computing), 2014 • 논문명: Exploring Family-driven Socio-interactive Care for Children with Language Delay: A Smartphone-supported In-situ Intervention Approach • 저 자: Inseok Hwang (황인석) Chungkuk Yoo (유충국) Chanyou Hwang (황찬유), Chulhong Min(민철홍), Youngki Lee (이영기), Dongsun Yim (임동선), John Kim (김동준), Junehwa Song (송준화)

2013 Best Paper Award 수상

[김순태 교수] 김순태 교수와 홍석인 박사과정 학생이 카이스트 전산학과 단독으로 Design, Automation and Test in Europe conference(DATE) 2013 학회에서 Best Paper Award를 수상하였습니다. DATE는 DAC(Design Automation Conference)과 쌍벽을 이루는 설계자동화 및 임베디드 시스템 분야의 세계적인 학회로 프랑스의 Grenoble에서 개최되었습니다.총 829편의 논문이 제출 및 평가되었고 이 중 206편이 선정되어 24.8％의 채택율을 기록하였습니다. Design, Application, Test and Reliability, Embedded Software 4개의 트랙에서 각각 한편씩 best paper가 선정이 되었고, 김순태 교수와 홍석인 학생은 Design 트랙에서 Best Paper Award를 수상하였습니다. Design 트랙은 전체 논문의 절반이상을 차지하는 가장 큰 트랙으로 500 여편의 제출논문 중에서 수상한 것입니다. 발표 논문제목은 "AVICA: An Access-time Variation Insensitive L1 Cache Architecture"로 technology scaling에 의해 발생하는 process variation(공정변이)을 fault rate (에러율)에 무관하게 효과적으로 방지하는 AVICA라는 이름의 L1 cache architecture를 제안해 심사위원들의 매우 좋은 평가를 받았습니다. 기존의 다른 기법들이 에러율이 높아짐에 따라 오버헤드가 매우 증가하는데 반해 AVICA는 동일 오버헤드를 유지할 수 있어서 근 미래에 사용될 프로세서에 내장되는 L1 cache에 적용될 수 있는 우수한 기술로 평가받고 있습니다. 국내에서도 DATE에 꾸준히 매년 논문이 제출되고 있고 이번 수상은 아시아권 대학으로써는 최초로 카이스트와 대한민국의 우수성을 알리는 기회가 되었습니다.

Best Paper Award ＠ RTSS 2012

신인식 교수님 연구실과 미국 펜실바니아 대학의 이인섭 교수님 연구실과의 공동 연구 논문이 real-time systems 분야의 최고 학회인 IEEE RTSS (Real-Time Systems Symposium) 2012에서 Best Paper Award를 수상했습니다. • 논문 제목: Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines • 저자 : 좌훈승, 백형부, Sanjian Chen, 이진규, Arvind Easwaran, 신인식, 이인섭 제 1 저자인 좌훈승 학생(박사과정 2년차)은 Award 상금인 ＄375를 학과에 기증할 계획이라고 합니다.