우수상

Advancing Video Motion Learning with Deep Features and Physics-Based Priors (딥 특징 및 물리 기반 비디오 모션 학습 향상)

임우빈 (지도교수: 윤성의)

우수상

Unveiling the Additional Risks Faced by Overlooked User Groups of AI Systems via Analyzing their Usage Patterns and Perceptions (AI 시스템 설계에서 간과된 사용자 그룹의 사용 패턴과 인식 분석을 통한 추가적인 불이익 탐구)

김서영 (지도교수: 김주호)

우수상

Synergizing Fault Localization and Continuous Integration to Streamline Bug Resolution in Large-Scale Software Systems (대규모 소프트웨어 시스템의 효율적 버그 해결을 위한 결함 위치 식별 기술과 지속적 통합의 상호보완적 결합 전략)

안가빈 (지도교수: 유신)

우수상

Extending Mueller Calculus to the Directional Domain for Polarized Light Transport (편광 광전송을 위한 방향 도메인으로의 뮬러 계산법 확장)

이신영 (지도교수: 김민혁)

우수상

Towards Ubiquitous and Intelligent Mobile Computing: From UI Distribution to AI Agent. (UI 분산 및 인공지능 에이전트를 통한 유비쿼터스, 지능적 모바일 컴퓨팅)

이선재 (지도교수: 신인식)

우수상

Question Generation for Indonesian Languages: Framework and Evaluation (인도네시아 언어를 위한 질문 생성 프레임워크 및 평가)

RIFKI AFINA PUTRI (지도교수: 오혜연)

우수상

Improving the Reliability of Large Language Model-based Software Artifacts via Execution (대형언어모델이 만들고 프로그램 실행으로 검증하는 소프트웨어 요소 생성)

강성민 (지도교수: 유신)

우수상

Satellite data-based deep learning models for sustainable development (지속가능 발전을 위한 위성영상 기반 딥러닝 모델)

안동현 (지도교수: 차미영)

우수상

Principles of Byte-Addressable Persistency (바이트 단위 영속성의 원리)

조경민 (지도교수: 강지훈)

우수상

Design and Verification of Concurrent Memory Reclamation Algorithms (동시성 메모리 재활용 알고리즘의 설계 및 검증)

정재황 (지도교수: 강지훈)

우수상

Improving C-to-Rust Translation with Static Analysis (정적 분석을 통한 C-러스트 번역의 개선)

홍재민 (지도교수: 류석영)

우수상

Feature augmentation based test-time adaptation (피처 증강 기반 테스트 시간 적응 기법)

조영걸 (지도교수: 이동만)

우수상

A General Generative Framework Based on Synchronized Diffusions (동기화된 확산에 기반한 일반적인 생성 프레임워크)

김재훈 (지도교수: 성민혁)

우수상

Expanding Laptop Input Space with Shear Force on Palm-Resting Area (노트북 팜레스트 공간의 전단력 감지를 통한 입력 공간 확장 기술 및 인터랙션 연구)

임지수 (지도교수: 이기혁)

우수상

Time-Efficient and Identity-Consistent Virtual Try-On Using A Variant of Altered Diffusion Models (시간 효율적이고 특징 보존을 위해 변형된 확산 모델을 활용한 가상 시착 연구)

HOANG PHUONG DAM (지도교수: 김대영)

우수상

Mesh Deformation Using Learned Priors (학습된 사전 지식을 활용한 메쉬 변형)

유승우 (지도교수: 성민혁)

우수상

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 (로봇을 위한 새로운 음향 신호를 이용한 음원 위치 추적)

안인규 (지도교수: 윤성의)

우수상

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 영어 작문 교육에서의 에세이 자동 평가 및 맞춤형 피드백 생성 연구)

한지은 (지도교수: 안소연)

우수상

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 (체계적인 명령어 스케줄링을 통한 커널 동시성 버그 탐지 및 진단 기법)

정대룡 (지도교수: 신인식)

우수상

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 차미영)

우수상

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 (바이너리 정적 분석을 활용한 프로그램 인식형 퍼징 기술의 역량 확장)

최재승 (지도교수: 차상길)

우수상

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 (함수 관련도를 이용한 퍼징의 커버리지 향상)

이아청 (지도교수: 김문주)

우수상

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 (안드로이드 플랫폼에서 상호 연동되는 모듈의 취약점 분석을 통한 앱 보안 향상에 대한 연구)

황성재 (지도교수: 류석영)

우수상

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의 설명방법에 관한 연구)

정연지 (지도교수: 최호진)

우수상

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 (다중 딥러닝 모델에서의 적대적 공격에 관한 연구)

권 (지도교수: 현 윤현수)

우수상

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

박경희 (지도교수: 류석영)

우수상

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 (사이버-물리 시스템을 위한 자원 효율적인 실시간 네트워크 시스템 연구)

이길호 (지도교수: 신인식)

우수상

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 (비디오 내 프롬프팅이 학습자와 교수자에게 미치는 영향)

신현규 (지도교수: 김주호)

우수상

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

신동환 (지도교수: 배두환)

우수상

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

박건우 (지도교수: 차미영)

우수상

추론된 모델 기반 커널 퍼즈 테스팅 (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 웹 페이지에서 레이아웃 변화로 인해 발생하는 가시성오류 자동으로 탐지하기)

류연희 (지도교수: 류석영)

우수상

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 (실제적인 유닛 컨텍스트 합성으로 거짓 경보를 줄인 자동화된 유닛 테스트 생성)

김윤호 (지도교수: 김문주)

우수상

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 (프로그래밍 교육에서 동료 평가를 위한 코드 수정 내역의 효과적인 시각화)

한형석 (지도교수: 차상길)

우수상

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

민철홍 (지도교수: 송준화)

장려상

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

좌훈승 (지도교수: 신인식)

우수상

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

김지성 (지도교수: 최기선)

장려상

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

김영식 (지도교수: 최기선)

우수상

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 (좁은 길 문제를 해결하기 위한 샘플링 기반 모션 플래닝 알고리즘)

이정환 (지도교수: 윤성의)

우수상

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 (카카오톡 게임의 친구초대 분석)

정지완 (지도교수: 문수복)

우수상

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

최동완 (지도교수: 정진완)

우수상

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

최재득 (지도교수: 김기응)

우수상

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 신인식)

우수상

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

이영기 (지도교수: 송준화)

최우수상

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 캐쉬 메모리를 위한 저비용의 오류정정부호 관리기법)

홍정규 (지도교수: 김순태)

우수상

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

곽해운 (지도교수: 문수복)

우수상

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

이진규 (지도교수: 신인식)

우수상

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 (안드로이드 플랫폼에서 어플리케이션의 특성을 활용한 디스크와 네트워크 관리 기법)

김효수 (지도교수: 신인식)