High Tech, High Touch

Search
Close
Search
 
  • home
  • 교수소개
  • 전임교수

교수소개

전임교수

  • 교수 병렬컴퓨팅, 컴파일러
  • 한환수 홈페이지 바로가기
    Lab 컴퓨터시스템인텔리전스 연구실

관심분야

병렬-분산 시스템 / 
빅데이터 분석 시스템 / 
비휘발성 메모리를 위한 시스템SW

학력

  • PhD, Computer Science, University of Maryland, College Park
  • 석사, 컴퓨터공학, 서울대학교
  • 학사, 컴퓨터공학, 서울대학교

약력/경력

  • 성균관대학교 소프트웨어학과 교수, 2008 - 현재
  • KAIST 전산학과 부교수, 2003 - 2008
  • Intel, Sr. Engineer, 2001-2002

학술지 논문

  • (2024)  GPU Thread Throttling for Page-Level Thrashing Reduction via Static Analysis.  JOURNAL OF SUPERCOMPUTING.  80, 
  • (2023)  Scala를 위한 컴파일러 지시자 기반 이종컴퓨팅.  정보과학회논문지.  50,  3
  • (2021)  데이터 전송이 최적화된 고수준 FPGA 호스트 프로그래밍 인터페이스.  정보과학회논문지.  48,  8
  • (2021)  인-메모리 분석 프레임워크의 캐시 성능 이득 예측.  정보과학회논문지.  48,  5
  • (2021)  Idempotence-Based Preemptive GPU Kernel Scheduling for Embedded Systems.  IEEE TRANSACTIONS ON COMPUTERS.  70,  3
  • (2019)  Static code transformations for thread-dense memory accesses in GPU computing.  CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE.  32,  5
  • (2019)  Compiler-Assisted GPU Thread Throttling for Reduced Cache Contention.  International Conference on Parallel Processing (ICPP: BK 우수학술대회 - BKCSA117).  1,  1
  • (2018)  코드 삽입 도구 활용 GPU 성능 분석 도구 구현.  정보과학회 컴퓨팅의 실제 논문지.  24,  7
  • (2018)  Effective Compaction for Kernel Memory Allocator Using Workload Distribution.  IEEE TRANSACTIONS ON CONSUMER ELECTRONICS.  64,  2
  • (2018)  Thread Scheduling for GPU-Based OPC Simulation on Multi-thread.  Proceedings SPIE 10587, Optical Microlithography XXXI.  10587,  1
  • (2017)  Balanced Cache Bypassing for Critical Warp Reduction.  Proc. of Int'l Conf. on Compilers, Architectures and Synthesis for Embedded Systems (CASES'17).  1,  1
  • (2017)  Efficient Memory Mapped File I/O for In-Memory File Systems.  USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage'17).  1,  1
  • (2016)  메모리 파일시스템에서 메모리 매핑을 이용한 파일 입출력의 오버헤드 분석.  정보과학회 컴퓨팅의 실제 논문지.  22,  10
  • (2016)  신뢰성 높은 동적 API 시퀀스를 이용한 소프트웨어 유사성 검사.  정보과학회논문지.  43,  10
  • (2016)  In-Memory File System with Efficient Swap Support for Mobile Smart Devices.  IEEE TRANSACTIONS ON CONSUMER ELECTRONICS.  62,  3
  • (2016)  연산자 분석을 통한 자바스크립트 가속화.  정보과학회 컴퓨팅의 실제 논문지.  22,  08
  • (2016)  클라우드 스토리지를 최종 저장 장치로 사용하는 인메모리 파일 시스템.  정보과학회논문지.  43,  08
  • (2016)  클라우드 기반 파일 시스템의 오브젝트 크기별 성능 분석.  정보과학회논문지.  43,  7
  • (2016)  메모리 파일 시스템 기반 고성능 메모리 맵파일 입출력을 위한 매핑 캐시.  정보과학회논문지.  43,  5
  • (2016)  GPGPU를 활용한 인공신경망 예측기반 텍스트 압축기법.  정보과학회 컴퓨팅의 실제 논문지.  22,  3

특허/프로그램

  • 인-메모리 데이터처리 프레임워크 기반에서 데이터 캐싱 방법 및 시스템, 이를 위한 기록매체.  10-2019-0102875.  20210525.  대한민국
  • GPU 컴퓨팅에서 캐시 용량을 고려한 캐시 바이패싱 방법.  10-2017-0110621.  20190124.  대한민국
  • Memory mapping management method for nonvolatile main memory system.  US 15/365,991.  20190122.  미국
  • 비휘발성 메모리에 저장된 메모리 매핑 파일의 비동기식 원자적 업데이트 방법 및 제어 장치.  10-2017-0008095.  20180717.  대한민국
  • 비휘발성 메모리에 저장된 메모리 매핑 파일의 원자적 업데이트 방법 및 제어 장치(METHOD FOR ATOMIC UPDATE OF MEMORY MAPPED FILES STORED IN NON-VOLATILE MEMORY AND CONTROL APPARATUS THEREOF).  10-2016-0160149.  20180717.  대한민국
  • 범용 어플리케이션을 그래픽 프로세서에서 구동하기 위한 범용 어플리케이션 분석 장치 및 분석 방법.  10-2015-0144800.  20170622.  대한민국
  • 자바스크립트 소스 코드를 최적화하기 위한 자바스크립트 소스 코드 정적 분석 장치 및 방법.  10-2015-0166005.  20170206.  대한민국
  • Memory Mapping Method of Nonvolatile Memory System and System for Providing the Memory Mapping Method.  14/507,833.  20161122.  미국
  • 범용 그래픽 프로세서의 공유 메모리를 캐시로 동작시키기 위한 공유 메모리 제어 방법 및 이를 이용한 범용 그래픽 프로세서(SHARED MEMORY CONTROL METHOD FOR FACILITATING SHARED MEMORY OF GENERAL PURPOSE GRAPHIC PROCESSOR AS CACHE AND GENERAL PURPOSE GRAPHIC PROCESSOR USING SAME).  10-2015-0034583.  20160708.  대한민국
  • PAGE REPLACEMENT METHOD AND MEMORY SYSTEM USING THE SAME.  US 2013/0262738.  20151124.  미국
  • 클라우드 컴퓨팅 기반의 트랜스코딩을 위한 동적 캐시 관리 방법 및 시스템(METHOD AND SYSTEM FOR MANAGING DYNAMIC CACHE FOR TRANSCODING BASED ON CLOUD COMPUTING).  10-1481122-0000.  20150105.  대한민국
  • 트랜스코딩 작업 스케줄링 방법 및 이를 이용한 트랜스코딩 시스템(METHOD FOR SCHEDULING TRANSCODING TASKS AND TRANSCODING SYSTEM USING THE SAME).  10-1454809-0000.  20141020.  대한민국
  • 클라우드 멀티미디어 트랜스코딩 시스템.  C-2013-020501.  20131017.  대한민국
  • 에스아이엠디 씨피유 아키텍쳐를 활용한 레코드 스캔 방법 및 이러한 방법을 사용하는 장치(METHODS OF SCANNING RECORD USING SINGLE INSTRUCTION MULTIPLE DATA CPU ARCHITECTURE AND APPARATUSES FOR USING THE SAME).  10-1202481-0000.  20121112.  대한민국
  • 클라우드 멀티미디어 트랜스코딩 시뮬레이터.  C-2012-019727.  20121010.  대한민국
  • 동적 순환 메모리 할당 방법 및 이러한 방법을 사용하는 메모리 장치(METHOD OF ADAPTIVE CYCLIC MEMORY ALLOCATION AND MEMORY DEVICE USING THE SAME).  10-1141884-0000.  20120424.  대한민국
  • 비정규 리덕션의 병렬화 방법(A METHOD FOR PARALLELIZING IRREGULAR REDUCTION ON EXPLICITLY MANAGED MEMORY HIERARCHY).  10-1109009-0000.  20120117.  대한민국
  • 조합적 캐쉬 시뮬레이션을 활용한 동적 할당 구조체 레이아웃 재배치 방법(A METHOD FOR REASSIGNING STRUCTURE REORGANIZATION USING COMPOSITION-BASED CACHE SIMULATION).  10-1102530-0000.  20111228.  대한민국
  • 가상 메모리가 없는 임베디드 시스템에서의 기존 공유라이브러리 사용방법(Method for utilizing legacy shared libraries on VM-less embedded systems).  10-0884926-0000.  20090216.  대한민국

학술회의논문

  • (2023)  Performance Analysis of ZNS-aware Filesystems on Distributed Applications.  IEEE International Conference on Distributed Computing Systems.  홍콩
  • (2023)  Accelerating Deep Neural Networks on Mobile Multicore NPUs.  International Symposium on Code Generation and Optimization.  캐나다
  • (2021)  Libpubl: exploiting persistent user buffers as logs for write atomicity.  ACM Workshop on Hot Topics in Storage and File Systems (HotStorage).  미국
  • (2020)  Libnvmmio: Reconstructing Software IO Path with Failure-Atomic Memory-Mapped Interface.  USENIX Annual Technical Conference.  미국