Publication by Category
-
International Journals
- Na-Yeon Bak, Byeong-Mo Chang, Kwanghoon Choi, Smart Block: A Visual Block Language and its Programming Environment for IoT, Journal of Computer Languages, Vol.60, 100999, October 2020. (LINK)
- Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley, A Polymorphic RPC Calculus, Science of Computer Programming, Vol.197, Article 102499, October 2020.
(LINK,arXiv)
- Na-Yeon Bak, Byeong-Mo Chang, Kwanghoon Choi, SmartVisual: A Visualisation Tool for SmartThings IoT Apps Using Static Analysis, IET Software, Vol.14, Issue 4, pp.411-412, August 2020. (PDF)
- Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi, A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis, KSII Transactions on Internet and Information Systems, Vol.14, Issue 6, pp. 2354-2376, June 2020. (PDF)
- Kwanghoon Choi, Byeong-Mo Chang, A Theory of RPC Calculi for Client-Server Model, Journal of Functional Programming (JFP), Vol.29, pp.1-39, Cambridge University Press, March 2019.
(LINK)
(SLIDE)
- Kwanghoon Choi, Myungpil Ko, Byeong-Mo Chang, A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps, KSII Transactions on Internet and Information Systems, Vol.12, Issue 9, pp.4248-4270, September 30, 2018. (PDF)
- Byeong-Mo Chang, Kwanghoon Choi, A Review on Exception Analysis, Information and Software Technology, Vol.77, pp.1-16, September 2016.
(LINK)
- Kwanghoon Choi, Byeong-Mo Chang, A Lightweight Approach to Component-Level Exception Mechanism for Robust Android Apps, Computer Languages, Systems, and Structures, Vol.44, Part C, P.283-298, December 2015.
(LINK)
- Kwanghoon Choi, Byeong-Mo Chang, A Type and Effect System for Activation Flow of Components in Android Programs, Information Processing Letters, 114(11):620-627, November 2014.
(PDF)
- Kwanghoon Choi and Seog Park, Typing Zinc Machine with Generalized Algebraic Data Types,
IEICE Transactions on Information and Systems, Vol.E94-D, No.6, pp.1190-1200, June 2011.
(PDF)
- Kwanghoon Choi and Taisook Han, A Type System for the Push-Enter
Model, Information Processing Letters, 87(4):205-211, August 31, 2003
(PDF)
-
International Conferences
- Bob Reynders, Kwanghoon Choi, RecHTML: A Typed Declarative HTML, ProWeb21 - Fifth International Workshop on Programming Technology for the Future Web, 22 March, 2021.
- Isao Sasano and Kwanghoon Choi, A text-based syntax completion method using LR parsing. In Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021). Association for Computing Machinery, New York, NY, USA, 32–43, 18-19 January, 2021. (PDF)
- Kwanghoon Choi, A theory of RPC calculi, International Conference on Functional Programming (ICFP) - JFP Session, August 26, 2020.
- Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley, A Polymorphic RPC Calculus, 22th Brazilian Symposium on Formal Methods (SBMF), São Paulo, Brazil, November 27-29, 2019. (a journal version available) (SLIDE)
- Nayeon Park, Byeong-Mo Chang, Kwanghoon Choi, Smart Block: A Visual Programming Environment for SmartThings, SCA2018: the 1st IEEE International Workshop on Smart Computing and Applications, Tokyo, Japan, July 23-27, 2018.
(Refer to the journal version)
- Kwanghoon Choi, Byeong-Mo Chang, On Type-safely Creating Objects of Type Parameters in Java Generics, APLAS Poster, Nov.30-Dec.2, 2015.
- Kwanghoon Choi, Jaekwon Kim, and Seog Park,
A Secure Application Invocation Mechanism in Mobile Phones for Near Field Communication,
IEEE International Conference on Consumer Electronics (ICCE),
pp.737-738, Las Vegas, USA, January 13th, 2012.
- Kyongjin Jo, Kwanghoon Choi, Jonkook Kim, and Seon Wook Kim, Implementation and Analysis of Win32
Native Distributed Compilation System - WinDistCC, The 23rd International Technical Conference on Circuits/Systems,
Computers and Communications (ITC-CSCC 2008), pp.401-404, Simonoseki, Japan, July 6-9, 2008.
- Kwanghoon Choi and Atsushi Ohori, A Type Theory for Krivine-style
Evaluation and Compilation, The Second Asian Symposium on Programming
Languages and Systems (APLAS2004), Taipei, Taiwan, Volume 3302 of
Lecture Notes in Computer Science, Springer-Verlag, pages 213-228,
November 4-6, 2004.
(SLIDE PDF)
- Kwanghoon Choi and Taisook Han, A Type System for the Push-Enter
Model, The 2nd Asian Workshop on Programming Languages and Systems,
pages 13-27, KAIST, Daejeon, Korea, December 17-18, 2001.
- Kwanghoon Choi, Hyun-il Lim, and Taisook Han, Compiling Lazy
Functional Programs Based on the Spineless Tagless G-machine for the
Java Virtual Machine, Fifth International Symposium on Functional
and Logic Programming (FLOPS), Waseda University, Tokyo, Japan,
Volume 2024 of Lecture Notes in Computer Science, Springer-Verlag,
pages 92-107, March 7-9, 2001.
PDF
- Kwanghoon Choi, Chiung O, and Taisook Han, A Practical
Implementation of Root Optimization in G-machine, the 10th
International Workshop on Implementation of Functional Languages
(IFL'98), University of College London, London, United Kingdom,
pages 117-133, September, 1998.
-
Domestic Journals
- 최광훈, 클라이언트-서버 통합 웹 프로그래밍언어, 정보과학회지, 38권, 3호, pp.8-18, 2020년3월. (PDF)
- 임진택, 김가영, 신승현, 최광훈, 김익순, LR 오토마타 생성 모듈을 공유하고 범용 프로그래밍언어로 명세를 작성하는 파서 생성 도구, 정보과학회논문지(소프트웨어및응용), Vol.47, No.1, pp52-60, 2020년 1월. (PDF)
- 김가영, 최광훈 창병모, UniPy: MGC 기반 사물인터넷 시스템을 위한 통합 프로그래밍언어, 한국컴퓨터정보학회논문지, 24권, 3호, pp.77-86, 2019년3월.
(PDF)
- 최광훈, 김가영, 창병모, 스몰베이직 기반 교육용 코딩 환경을 위한 오픈소스 소프트웨어 개발, 정보과학회 컴퓨팅의 실제 논문지, 24권, 12호, pp.649-661, 2018년 12월.
(PDF)
- 문현아,박수용,최광훈, 웨어러블 어플리케이션 개발을 위한 안드로이드 BLE 에뮬레이터, 정보과학회 컴퓨팅의 실제 논문지(KTCP), 2018년2월.
(PDF)
- 박나연, 정다해, 최광훈, 창병모, 상황인지기반의 자동 태스크 설정을 위한 안드로이드 어플리케이션 구현, 한국콘텐츠학회논문지, 37권, 11호, P.434-443, 2016년11월.
- 고명필,최광훈,임효상, NFC 프로그램 메시지 방식에서 변조 방지와 사용자에 의한 동적 접근 제어 방법, 정보과학회논문지: 컴퓨팅의 실제 및 레터, 제19권, 제12호, pp624-629, 2013년 12월.
(PDF)
- 최광훈, 고광만, 박희완, 윤종희, 유해사이트를 접속하는 안드로이드 앱을 문자열 분석으로 검사하는 시스템, 정보처리학회 논문지A,Vol.19-A, No.4, pp187-194, August 2012.
(PDF)
- 최광훈, SMS 부호화 복호화 모듈 검증 방법에 대한 연구, 한국컴퓨터정보학회 논문지, 15권, 6호, pp.1~9, 2010년 6월.
- 남병규, 최광훈, 한태숙. "Eval-Apply 모델의 STGM에 기반하여 지연
계산 함수형 프로그램을 자바로 컴파일하는 기법", 정보과학회 논문지
(소프트웨어 및 응용), 제29권 제5-6호, pp 326-335, 2002년 6월.
- 최광훈, 한태숙. "중간언어 L-코드를 이용한 Haskell-Java 언어 번역기
구현", 정보과학회 논문지 (소프트웨어 및 응용), 제28권 제12호, pp
955-965, 2001년 12월.
- 변석우,최광훈. "함수 언어 Haskell과 Clean의 상용화 동향",
프로그래밍언어 연구회지, 제12권 제1호, 1998년 6월.
- 최광훈,한태숙. "그래프 축약 기계에서 수행시간을 고려한 루트 최적화
방법", 정보과학회 논문지(B), 제25권 제5호, pp 841-853,1998년 5월.
- 안준선, 최광훈, 김성훈, 한태숙, 최광무. "병렬화 컴파일러의 소개",
정보과학회지 (Korea Information Science Society Review) 제14권 제7호,
제 86호 1997년 7월.
-
Domestic Conferences
- 임진택, 김가영, 신승현, 최광훈, 김익순, LR 오토마타 생성과 파서 도구의 분리를 통한 효율적 파서 개발 방법, 2019년 한국컴퓨터종합학술대회 논문집(KCC 2019), pp.1578-1580, 2019년 6월 26-28일.
(우수논문상) (PDF)
- 김가영, 최광훈, 창병모, 위치 분석 기반 통합 클라이언트-서버 프로그램 컴파일 방법 구현, 2019 한국 소프트웨어공학학술대회(KCSE 2019).
(PDF)
- 문현아, 박수용, 최광훈, 솔리디티 스마트 컨트랙트의 스크립트 기반 시나리오 테스트, 2019 한국 소프트웨어공학학술대회(KCSE 2019). (우수단편논문상)
(PDF)
- 고가영, 창병모, 최광훈, SmartThings 스마트 앱을 위한 실시간 모니터 구현, 2018 한국소프트웨어종합학술대회(KSC2018), 평창 휘닉스파크, pp.346-348, 2018년 12월19일~20일. (우수논문상)
(PDF)
- 김가영, 최광훈, 창병모, 아두이노 기반 사물인터넷을 위한 통합 프로그래밍 방법에 대한 연구, 2017 한국소프트웨어종합학술대회(KSC2017) 논문집, pp,2201-2203, 부산 벡스코, 2017년 12월20일-22일.
(PDF)
- 조문영, 최광훈, 스몰베이직 프로그램 디버거 설계 및 구현에 대한 연구, 2017 한국소프트웨어종합학술대회(KSC2017) 논문집, pp,2195-2197, 부산 벡스코, 2017년 12월20일-22일.
(우수논문상)
(PDF)
- 손재닌카산드라, 창병모, 최광훈, Automatic Code Review for SmartThings Application using Static Analysis, 2017 한국소프트웨어종합학술대회(KSC2017) 논문집, pp,513-515, 부산 벡스코, 2017년 12월20일-22일.
(PDF)
- 박나연, 창병모, 최광훈, SmartThings의 SmartApp을 위한 페이지 구조 시각화 도구, 2017 한국소프트웨어종합학술대회(KSC2017) 논문집, pp,410-412, 부산 벡스코, 2017년 12월20일-22일.
(PDF)
- 김가영, 최광훈, 스몰베이직 언어의 동적 타이핑 구조 분석 및 표준 라이브러리 개발에 관한 연구, 2017년 정보처리학회 춘계학술발표대회 논문집 제24권 제1호, pp.690-693, 제주대학교, 2017년4월.
- 박세영, 조문영, 최광훈, 교육용 로봇 프로그램을 위한 스몰베이직 라이브러리 설계 및 구현에 관한 연구, 2017년 정보처리학회 춘계학술발표대회 논문집 제24권 제1호, pp.399-402, 제주대학교, 2017년4월.
- 김지용, 정승완, 조성모, 최광훈, 스몰베이직 언어 기반 교육용 인공지능 프로그램 작성을 지원하는 라이브러리 설계 및 구현에 관한 연구, 2017년 정보처리학회 춘계학술발표대회 논문집 제24권 제1호, pp.694-696, 제주대학교, 2017년4월.
- 문현아,박수용,최광훈, 웨어러블 어플리케이션 개발을 위한 안드로이드 BLE API 에뮬레이터와 확장성에 관한 연구, 소프트웨어공학학술대회, 2017년2월.
- 김가영, 정승완, 김태진, 조영민, 김범준, 최광훈, 스몰베이직 프로그램 해석기 설계 및 구현에 관한 연구, 정보과학회 동계학술대회, 학부생 포스터, 2016년12월.
(PDF)
- 이승휘, 이화중, 최광훈, 인텐트 퍼즈 테스트 기반 안드로이드 테스트 케이스 자동 생성 방법, KCC, 2016년 6월.
(PDF)
- 고명필, 최광훈, 창병모, 강건한 안드로이드 어플리케이션 개발을 위한 실행시간 인텐트 명세 검사 기법, 정보과학회논문지, 43권, 2호, p212-221, 2016년 2월.
(PDF)
- 김현순, 이승휘,이화중,최광훈,창병모, 코드 중복 없이 안드로이드 컴포넌트에 예외 처리를 추가하는 클래스 설계 방법에 관한 연구, 한국 소프트웨어공학 학술대회, 평창 휘닉스파크, 2016년 1월27-29일. [학부우수논문 선정]
(PDF)
- 김현순, 윤성빈, 최지선, 고명필, 최광훈, 안드로이드 앱의 랜덤 인텐트 테스트에서 유사한 에러 로그를 자동으로 그룹화하는 방법, 한국정보처리학회 추계학술발표대회, 제주한라대학교, 2015년10월30-31일.
(PDF) [우수논문 선정]
- 윤성빈, 최지선, 최광훈, 안드로이드 앱 검수 자동화를 위한 인텐트 스펙 기반 테스팅 방법, KCC 2015, 제주대학교, 2015년 6월24-26일.
(PDF)
- 고명필, 최광훈, 창병모, 인텐트 스펙 기반 안드로이드 유닛 테스팅 프레임워크 설계와 구현, KCC 2015, 제주대학교, 2015년 6월24-26일.
(PDF)
- 고명필, 최광훈, 창병모, 강건한 안드로이드 앱을 위한 실행시간 인텐트 스펙 검사 방법, 한국 소프트웨어공학 학술대회, 강원도 평창 한화리조트, 2015년 1월28-30일.
(PDF)
- 고명필,최광훈,임효상, 인증서 기반 NFC 서비스 방법, 한국컴퓨터종합학술대회, pp383-385, 2013년 6월26-28일.
- 고명필,권찬우,최광훈, NFC 프로그램 마켓과 안드로이드 환경에서의 응용, 제7회 한국정보과학회-한국정보처리학회 공동학술심포지움, 상지대학교, 2013년 6월17일.
- 최광훈, 박경득, 고광만, 박희완, 윤종희, 문자열 분석 기반 유해 안드로이드 앱 검출, 제37회 한국정보처리학회 춘계학술대회 (소프트웨어공학 분야), pp1180~1182, 순천대학교, 2012년 4월26~27일.
- 박재영, 김용강, 이정현, 최광훈, 모바일 폰 기반 NFC를 활용한 도서관 시스템, 제38회 한국정보과학회 추계학술대회 (모바일 응용 및 시스템 분야), 서울대학교, 2011년 11월25~26일. YouTube
- 최광훈, 임현일, 한태숙. 자바가상기계를 대상으로 하는 지연계산기반
함수형 언어 컴파일러의 설계 및 구현, '2000 추계 학술발표논문집,
제27회 정보과학회 추계학술발표회, 2000년 10월.
- 최광훈, 한태숙. 타입 기반 제어 흐름 분석 방법의 설계, 1999년도
프로그래밍언어연구회 추계 학술 대회, 포항공과대학교, 1999년 9월.
- 최광훈, 한태숙. 지연계산 기반 추상기계 유도 : 지연계산 기반 언어의
의미에 Wand-Clinger 방법의 적용, '98 추계 학술발표논문집, 제10회
정보과학회 충청지부 학술발표회, 1998년 11월.
- 최광무,한태숙,이광근,강경우,이경옥,김성훈,조장우,
안준선,김상오,허재원,최광훈. 병렬화트랜스레이터의 설계, 프로그래밍
언어연구회 학술발표논문집, 1995년 10월.
-
Phd/MS Thesis and Technical Reports
- Kwanghoon Choi and Atsushi Ohori, A Type Theory for Krivine-style
Evaluation and Compilation. Research Report IS-RR-2004-014, JAIST,
June 2004.
- Kwanghoon Choi, A Typed Compilation of Higher-Order Functions with
Dynamic Argument Passing, PhD Thesis, KAIST, August 2003.
- Kwanghoon Choi, A Type System for the Push-Enter Model, Technical
Report CS-TR-2002-175, Dept. of EE & CS, KAIST, Daejeon, Korea,
January 2002.
(Refer IPL2003 paper)
- Kwanghoon Choi, Hyun-il Lim, and
Taisook Han. Compiling Lazy Functional Programs Based on the
Spineless Tagless G-machine for the Java Virtual Machine.
Technical Report AITRC-01-13-001, Advanced Information Technology
Research Center, June, 2001.
- 최광훈, 임현일, 한태숙. 자바가상기계를 대상으로하는 지연계산기반
함수형 언어 컴파일러의 설계 및 구현. Technical Report AITRC-00-13-003,
첨단정보기술연구센터, 2000년 8월.
- 최광훈, 함수 언어에서의 역 람다리프팅 변환에 대한 실험 (An
Experiment with Reverse Lambda Lifting Transformation in Functional
Languages), MS. Thesis, KAIST, February 1996.