KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

  • 2024 박사

  • 우수상

    Alleviating the low-battery experience of mobile users through heterogeneous batteries and their scheduling (배터리 혼용 시스템과 배터리 스케줄링을 통한 모바일 사용자들의 배터리 부족 경험 완화)

    곽재헌 신인식

  • 우수상

    Towards Reliable Reassembly with Hardware-assisted Stateless CFI (하드웨어 기반 Stateless CFI 정보를 활용한 고신뢰성 바이너리 재조립 기술에 관하여)

    김형석 차상길

  • 우수상

    Sound Source Localization with Novel Acoustic Cues for Robots (로봇을 위한 새로운 음향 신호를 이용한 음원 위치 추적)

    안인규 윤성의

  • 2024 석사

  • 우수상

    Translation Validation for Javascript JIT Compiler (자바스크립트 JIT 컴파일러의 번역 검산)

    권승완 허기홍

  • 우수상

    Finding the Optimal Control Points for Biharmonic 3D Shape Deformation (겹조화 3차원 형상 변형을 위한 최적의 제어점 탐색)

    김건호 성민혁

  • 우수상

    A Study on Visual Systematic Generalization via One-Step Image Generation World Model (이미지 생성 월드모델을 통한 시각정보의 체계적 일반화 연구)

    김영빈 안성진

  • 우수상

    Efficient Directed Fuzzing via Data Dependency Analysis (데이터 의존성 분석을 통한 효율적인 지향성 퍼징)

    김태은 허기홍

  • 우수상

    Modular Hardware Description of Pipelined Circuits with Hazards (해저드가 포함된 파이프라인 회로의 모듈러한 하드웨어 설계)

    장민성 강지훈

  • 우수상

    CreativeConnect: Supporting Reference Recombination for Graphic Design Ideation with Generative AI (생성형 AI 기반 레퍼런스 재조합을 통한 그래픽 디자인 아이디에이션 과정 지원)

    최다은 김주호

  • 장려상

    Automated Essay Scoring and Personalized Feedback Generation in EFL Writing Education (EFL 영어 작문 교육에서의 에세이 자동 평가 및 맞춤형 피드백 생성 연구)

    한지은 안소연

  • 2023 박사

  • 우수상

    Overcoming Domain Shift in Mobile Sensing via Machine Learning (모바일 센싱에서의 도메인 변화 극복을 위한 기계학습 연구)

    공태식 이성주

  • 우수상

    Physically-based Phasor Imaging for Advanced Scene Understanding (장면 이해의 고도화를 위한 물리기반 위상자 이미징 기술)

    전석준 김민혁

  • 우수상

    Finding and Diagnosing Concurrency Bugs in a Kernel through Systematic Instruction Scheduling (체계적인 명령어 스케줄링을 통한 커널 동시성 버그 탐지 및 진단 기법)

    정대룡 신인식

  • 2023 석사

  • 우수상

    TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities (TRACER: 반복되는 오류를 탐지하기 위한 시그니처 기반 정적 분석 시스템)

    강우석 허기홍

  • 우수상

    Learning 3D Object Decomposition via Natural Language Descriptions (자연어를 활용한 3차원 객체 분할 학습)

    구주일 성민혁

  • 우수상

    An Observation of Online Call-out Culture: Motivations, Repercussions, and Solutions to Online Harassment (온라인상의 비판 현상에 대한 분석 및 사이버불링 유발 방지를 위한 플랫폼 디자인)

    김해수 장정우

  • 우수상

    Towards a Maze-based Synthesis of Fuzzing Benchmarks (미로 기반 프로그램 합성을 활용한 퍼징 벤치마크 생성 기법)

    이하은 차상길

  • 우수상

    The Conflict Between Explainability and Responsibility in Algorithmic Decision-Making (설명가능성과 책임성의 충돌이 알고리즘 의사결정에 미치는 영향 연구)

    Gabriel Camilo Lima 차미영

  • 2022 박사

  • 우수상

    Real-time Dense Occupancy Mapping using Spatial Correlation of Point Clouds (점군 데이터의 공간 상관성을 활용한 실시간 점유 지도 생성)

    권용선 윤성의

  • 우수상

    Distributed Persistent Memory File System for Programmable NIC (프로그래밍 가능한 네트워크 카드를 활용하는 비휘발성 메모리 기반 분산 파일 시스템)

    김종율 권영진

  • 우수상

    Natural Language Understanding for Computational Psychotherapy Applications (전산심리치료를 위한 자연어 이해 기술의 적용)

    박성준 오혜연

  • 우수상

    JavaScript Static Analysis for Evolving Language Specifications (성장하는 프로그래밍 언어 명세를 위한 자바스크립트 정적 분석)

    박지혁 류석영

  • 우수상

    Synergetic Interaction Between Fault Localisation and Defect Prediction (결함 위치 식별과 결함 예측간의 보완적 상호 작용)

    손정주 유신

  • 우수상

    Co-Speech Gesture Generation for Embodied Conversational Agents (대화 에이전트를 위한 발화 제스처 생성 연구)

    윤영우 이기혁

  • 우수상

    Algorithms for Safe Reinforcement Learning (안전한 강화학습을 위한 알고리즘 연구)

    이종민 김기응

  • 우수상

    Theory and Application of Ultra High Dimensional Sparse Representations for Efficient and Interpretable Semantic Search (효율적이고 해석 가능한 의미 검색을 위한 초고차원 희소 표상의 이론과 응용)

    장령록 맹성현

  • 우수상

    Extending the Capacity of Program-Aware Fuzzing with Binary-Level Static Analysis (바이너리 정적 분석을 활용한 프로그램 인식형 퍼징 기술의 역량 확장)

    최재승 차상길

  • 2022 석사

  • 우수상

    Responsive and Fluid Video Content Adaptation (반응형 및 유동형 비디오 콘텐츠 적응화)

    김정연 김주호

  • 우수상

    Mapping Multiple Modalities to Empower Novice Designers (초보 디자이너 지원을 위한 다중 모달리티 간의 연결)

    김태수 김주호

  • 우수상

    Methods for Mitigating the Noise in Image Clustering (이미지 클러스터링 과정의 노이즈 완화 기법)

    박성원 차미영

  • 우수상

    Enhancing Lexical Representation of Test Coverage for Failure Clustering (다중 실행 오류 클러스터링을 위한 테스트 커버리지의 어휘적 표현 향상)

    윤주연 유신

  • 우수상

    Black-Box Detection of Cross-Site Scripting Vulnerabilities Using Reinforcement Learning (강화 학습을 이용한 크로스 사이트 스크립팅 취약점 탐지에 대한 연구)

    이소영 손수엘

  • 우수상

    Function Relevance based Fuzzing for Coverage Improvement (함수 관련도를 이용한 퍼징의 커버리지 향상)

    이아청 김문주

  • 2021 박사

  • 우수상

    Distributed online learning for topic models (토픽 모델의 분산 온라인 기계 학습 알고리즘)

    박진영 오혜연

  • 우수상

    Optimizing bayesian filtering model for statistical dialog state tracking (베이지안 필터링 모델의 최적화를 통한 통계적 대화상태 추적)

    이병준 김기응

  • 우수상

    Digital reproduction of scene appearance for high-fidelity computer graphics (고충실도 컴퓨터 그래픽스를 위한 물리적 외형 재현 기술에 대한 연구)

    이주호 김민혁

  • 우수상

    Mining Sequential Knowledge for Interaction Design (인터랙션 디자인을 위한 순차적 지식 마이닝)

    장민석 김주호

  • 우수상

    Bidirectonal interaction utilizing tactile output seamlessly in a touch input space (터치 입력 공간에서 촉각 출력을 긴밀하게 활용하는 양방향 인터랙션)

    정진근 이기혁

  • 우수상

    Towards Secure Interoperation in Android: A Study of Interoperation Vulnerabilities in Android (안드로이드 플랫폼에서 상호 연동되는 모듈의 취약점 분석을 통한 앱 보안 향상에 대한 연구)

    황성재 류석영

  • 2021 석사

  • 우수상

    OddEyeCam: a sensing technique for body-centric peephole interaction using WFoV RGB and NFoV depth cameras (광각 RGB 카메라와 좁은 화각의 깊이 카메라를 사용한 신체 중심의 핍홀 인터렉션 지원 기술)

    김대화 이기혁

  • 우수상

    Improving recognition accuracy of wrist-worn spatiotemporal tactile display using heterogeneous vibrotactile stimuli (이종 진동 자극을 이용한 손목 착용형 시공간적 촉각 디스플레이의 인지 정확도 개선)

    김태준 이기혁

  • 우수상

    High-Bandwidth On-Chip Interconnect Covert Channel in GPUs (GPU 온-칩 네트워크 기반의 고대역폭 은닉 채널)

    안재국 김동준

  • 우수상

    Snapstream: snapshot-based interaction in live streaming for visual art (라이브 스트리밍에서의 스냅샷 기반 인터랙션)

    양세린 김주호

  • 우수상

    End-to-end neural pipeline for goal-oriented dialogue system using GPT-2 (GPT-2 기반 엔드-투-엔드 목적 지향 대화 시스템)

    이정관 김기응

  • 우수상

    ProtoChat: Supporting the Iterative Conversation Design Process with Crowd Feedback (프로토챗: 크라우드 피드백을 통한 반복적인 대화 디자인 과정 지원 시스템)

    최윤서 김주호

  • 우수상

    Explaining CNN and RNN using Selective Layer-wise Relevance Propagation (선택적 계층적합성전파(LRP) 방법을 이용한 CNN 및 RNN의 설명방법에 관한 연구)

    정연지 최호진

  • 2020 박사

  • 우수상

    Composing Static Analyzers for Bug and Security Vulnerability Detection in Multilingual Android Applications (정적 분석기들의 결합을 통한 다양한 언어로 개발된 안드로이드 앱의 결함 및 보안 취약성 검출)

    이성호 류석영

  • 우수상

    Adaptive routing and priority ordering for software-defined real-time networking (실시간 소프트웨어 정의 네트워킹을 위한 트래픽 경로 선택 및 우선순위 결정 기법)

    오상은 신인식

  • 우수상

    Research on adversarial attacks in multiple deep neural networks (다중 딥러닝 모델에서의 적대적 공격에 관한 연구)

    권 현 윤현수

  • 2020 석사

  • 우수상

    Polymorphic symmetric multiple dispatch with variance (가변성과 다형성을 가지는 언어에서의 대칭 다중 디스패치)

    박경희 류석영

  • 2019 박사

  • 우수상

    Computational imaging with light waves (광파 특성을 이용한 계산 영상학)

    백승환 김민혁

  • 우수상

    Prioritizing test environments for cost-effective software test in continuous integration (지속적 통합 환경에서 비용효율적인 소프트웨어 테스트를 위한 테스트 환경 우선순위 부여 기법)

    권정현 고인영

  • 우수상

    Resource-efficient real-time networking system for cyber-physical systems (사이버-물리 시스템을 위한 자원 효율적인 실시간 네트워크 시스템 연구)

    이길호 신인식

  • 2019 석사

  • 우수상

    Joint active feature acquisition and classification with variable-size set encoding (가변 크기 집합의 인코딩을 이용한 동적 피쳐 획득과 분류의 공동 학습)

    심하진 양은호

  • 우수상

    Environment-aware video streaming optimization of power consumption (환경을 인지한 비디오 스트리밍의 전력 소모 최적화)

    박경준 김명철

  • 우수상

    Kinodynamic comfort trajectory planning for car-like robots (자동차 모형 로봇을 활용한 Kinodynamic한 성질을 가지는 편안한 경로 계획법)

    신희찬 윤성의

  • 우수상

    Understanding the effect of in-video prompting on learners and instructors (비디오 내 프롬프팅이 학습자와 교수자에게 미치는 영향)

    신현규 김주호

  • 2018 박사

  • 우수상

    Diversity-aware mutation adequacy criterion for improving the fault detection capability of test suites (테스트 집합의 오류 검출 능력 향상을 위하여 다양성을 고려한 뮤테이션 충분성 기준)

    신동환 배두환

  • 우수상

    Gender swapping and its effects in MMORPGs (대규모 다중 사용자 온라인 롤플레잉 게임에서의 젠더스와핑 현상과 그 영향에 관한 연구)

    박건우 차미영

  • 2018 석사

  • 우수상

    추론된 모델 기반 커널 퍼즈 테스팅 (Inferred model-based kernel fuzz testing)

    한형석 차상길

  • 우수상

    Testing intermediate representation for binary analysis (바이너리 분석 용 중간 언어 점검)

    김수민 차상길

  • 우수상

    Automatic detection of visibility faults by layout changes in HTML5 web pages (HTML5 웹 페이지에서 레이아웃 변화로 인해 발생하는 가시성오류 자동으로 탐지하기)

    류연희 류석영

  • 2017 박사

  • 우수상

    A hybrid instance selection using nearest-neighbor framework for cross-project defect prediction with consideration of class imbalance (클래스 불균형을 고려한 교차 프로젝트 결함 예측용 근접 기반 하이브리드 인스탄스 선택 프레임워크)

    류덕산 백종문

  • 우수상

    Building a sound and practical static analysis framework for JavaScript web applications in the wild (자바스크립트 웹 어플리케이션의 안전하고 실용적인 정적 분석을 위한 프레임워크 개발 연구)

    박창희 류석영

  • 우수상

    Automated unit test generation with realistic unit context synthesis for low false alarms (실제적인 유닛 컨텍스트 합성으로 거짓 경보를 줄인 자동화된 유닛 테스트 생성)

    김윤호 김문주

  • 2017 석사

  • 우수상

    Improving precision of static type checker for web applications by using dynamic information (동적 정보를 활용한 웹 애플리케이션 정적 타입 결함 검출기의 정확도 향상)

    박준영 류석영

  • 우수상

    Social Context-Aware Smartphone Notification Management System (소셜 컨텍스트 기반 스마트폰 알림 관리 시스템)

    한형석 차상길

  • 우수상

    Effective visualization of code history for peer assessment in programming education (프로그래밍 교육에서 동료 평가를 위한 코드 수정 내역의 효과적인 시각화)

    한형석 차상길

  • 2016 박사

  • 우수상

    User support for battery management of continuous sensing applications (모바일 센싱 어플리케이션의 배터리 관리를 위한 사용자 지원)

    민철홍 송준화

  • 장려상

    Advancing multi-core scheduling for real-time embedded systems (실시간 임베디드 시스템을 위한 멀티코어 스케줄링 연구)

    좌훈승 신인식

  • 2016 석사

  • 우수상

    Acquiring knowledge from categories using semantic associations (의미적 연관을 이용한 카테고리에서의 지식 획득)

    김지성 최기선

  • 장려상

    Entity linking korean text: an unsupervised learning approach using semantic relations (한국어 텍스트의 개체명 인식: 개체 간 관계를 이용한 자율 학습 시스템)

    김영식 최기선

  • 2015 박사

  • 우수상

    Distance dependent chinese restaurant franchise (거리 의존관계를 이용한 비모수적 베이지안 확률 모형)

    김동우 오혜연

  • 우수상

    Architectural supports for high performance address translation and processor scheduling in virtualized systems= 고성능 주소 변환과 프로세서 스케줄링을 위한 아키텍처

    안정섭 허재혁

  • 우수상

    Sampling-based motion planning algorithm to handle a narrow passage problem (좁은 길 문제를 해결하기 위한 샘플링 기반 모션 플래닝 알고리즘)

    이정환 윤성의

  • 2015 석사

  • 우수상

    Automated testing of reactive software with non-deterministic events: a case study on LG electric oven (비결정적 이벤트를 처리하는 반응형 소프트웨어를 위한 자동화 테스팅 기법: LG 전기 오븐 사례 연구)

    박용배 김문주

  • 우수상

    Automatic API modling for static analysis of web applications (웹 앱 정적 분석을 위한 API 자동 모델링)

    배성경 류석영

  • 우수상

    Billion-scale PARAFAC and tucker decompositions (수십 억 규모의 PARAFAC과 Tucker 텐서 분해)

    전인아 강유

  • 장려상

    Computational imaging with light waves (광파 특성을 이용한 계산 영상학)

    백승환 김민혁

  • 장려상

    Dynamics of incentivized social referral in kakaoTalk mobile games (카카오톡 게임의 친구초대 분석)

    정지완 문수복

  • 2014 박사

  • 우수상

    Efficient and scalable query processing methods for finding the optimal spatial location (최적의 공간 위치 탐색을 위한 효율적이고 확장성 있는 질의 처리 기법)

    최동완 정진완

  • 우수상

    Inverse reinforcement learning in partially observable environments (부분관찰환경에서의 역강화학습)

    최재득 김기응

  • 2014 석사

  • 우수상

    Cloud RRT*: sampling cloud based RRT* (샘플링 구름 기반의 RRT*)

    김동혁 윤성의

  • 우수상

    Effective software fault localization using dynamic program behaviors (프로그램의 동적 행동을 이용한 효과적인 소프트웨어 결함 위치추정)

    문석현 김문주

  • 우수상

    GreenBag : energy-efficient Bandwidth Aggregation for Real-time Streaming in Heterogeneous Mobile Wireless Networks (GreenBag : 이기종 모바일 무선 네트워크에서 실시간 스트리밍을 위한 전력 효율 대역폭 병합기술)

    Hoang Duc Bui 신인식

  • 2013 박사

  • 우수상

    Cooperative context monitoring platform for life-immersive sensing applications (생활 밀착형 센싱 애플리케이션을 위한 협력적 상황 모니터링 플랫폼)

    이영기 송준화

  • 2013 석사

  • 최우수상

    Hybrid statistical model checking technique for reliable safety critical systems (신뢰성이 높은 안전필수시스템을 위한 하이브리드 통계적 모델 체킹 방법)

    김영주 김문주

  • 우수상

    Edge-centric IoT service provisioning architecture with reliable communication over wireless mesh networks (무선 메쉬 네트워크에서의 안정적인 통신을 고려한 에지 중심 사물 인터넷 서비스 프로비저닝 아키텍처)

    권기웅 김대영

  • 우수상

    The design of adaptive intrusion tolerant system based on historical data (히스토리 데이터 기반의 적응형 침입 감내 시스템 설계)

    김용기 윤현수

  • 우수상

    효율적인 가상 손 기반 3차원 객체 선택 기법 연구: 커서 이동 경향을 활용한 Select Ahead (A study on efficient 3D object selection technique using the virtual hand metaphor: select ahead utilizing tendency of cursor movements)

    박순찬 박진아

  • 우수상

    Quadra-embedding: binary code embedding with low quantization error (양자화 오류를 최소화하는 이진 코드 임베딩에 대한 연구)

    이영운 윤성의

  • 우수상

    Detection of three-dimensional information of blood and lymphatic vessels in optical coherence tomography images (광간섭단층촬영 영상에서 혈관 및 림프관의 3차원적 정보 검출)

    한명희 류석영

  • 우수상

    ECC String: flexible ECC management for low-cost error protection of L2 caches (L2 캐쉬 메모리를 위한 저비용의 오류정정부호 관리기법)

    홍정규 김순태

  • 2012 박사

  • 우수상

    Implication of tagging behavior on ontology construction (우수상 블로고스피어의 태깅 행동으로부터 온톨로지를 구축하는 가능성에 대한 연구)

    곽해운 문수복

  • 우수상

    Supporting parallelism for Real-Time Multiprocessor Scheduling (멀티 프로세서 플랫폼에서 실시간 작업의 스케줄링을 위한 동시 실행성 지원)

    이진규 신인식

  • 2012 석사

  • 우수상

    Formal specification of a JavaScript module system (JavaScript 모듈 시스템의 정형 명세)

    강성훈 류석영

  • 우수상

    Proving FFMM type safety using coq (Coq을 이용한 FFMM의 타입 안전성 증명)

    김지응 류석영

  • 우수상

    Application characteristics-aware disk and network I/O management on Android platform (안드로이드 플랫폼에서 어플리케이션의 특성을 활용한 디스크와 네트워크 관리 기법)

    김효수 신인식