그래프 축약 기계에서 수행 시간을 고려한 루트 최적화 방법

최광훈(Kwanghoon Choi),한태숙(Taisook Han) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.5

지연 계산 기반 함수형 언어에서 동일한 값을 갖는 매개변수를 가지고 재귀호출이 일어날 때 일부 동일한 내용을 갖는 썽크를 반복해서 만드는 부담이 있다. M,P.Jones는 G-machine에 공유할 썽크를 찾는 명령어를 도입하여 이 부담을 줄이는 루트 최적화 방법을 제안했다. 이 방법으로 썽크 공유를 통해 수행 공간을 절약할 수 있었지만 공유할 썽크의 위치를 찾는데 시간 부담이 크다. 그리고 임의의 썽크를 블럭형태로 표현할 수 없고 테일 호출을 함께 적용할 수 없는 단점이 있다. 이러한 이유로 인해 이 방법을 실제적인 컴파일러에 적용하기가 쉽지 않았다. 본 논문에서는, 안전하게 씽크를 공유할 수 있는 함수로 변환하고 새로운 타입의 노드와 이 노드에 대한 런타임 시스템 루틴을 추가해 기존의 방법이 지닌 단점을 해결하였다. 그리고 본 논문에서 제안한 방법을 Chalmers Haskell 컴파일러에 구현해 실현 가능성을 보였고, 벤치마킹 실험 결과를 통해 적은 수행 시간 부담으로 수행 공간을 줄일 수 있음을 확인하였다. In functional languages based on lazy evaluation, recursive calls with same-valued parameters can create thunks containing invariants repeatedly. M.P.jones introduced a new G-machine instruction to find sharable invariants in thunks so that those overhead could be reduced. It is called root optimization. Although root optimization can reduce runtime space, it results time overhead to search sharable positions of thunks. Also, it prevents from thunks representations with blocks and tail call optimizations. These cause difficulties in employing root optimization for practical compilers. We solved the problems by transforming a function into one which can share invariants of thunks safely and introducing new types of node and runtime system routines for each type. We implemented the idea on Chalmers Haskell compiler to show its realizability. We convinced that root optimization can be implemented with less execution-time overhead by experiment results.

중간언어 L - 코드를 이용한 Haskell - Java 언어 번역기 구현

최광훈(Kwanghoon Choi),한태숙(Taisook Han) 한국정보과학회 2001 정보과학회논문지 : 소프트웨어 및 응용 Vol.28 No.12

We propose a systematic method of compiling Haskell based on the Spineless Tagless G-machine (STGM) for the Java Virtual Machine (JVM). We introduce an intermediate language called L-code to identify each micro-operation of the machine by its instruction. Each macro operation of the machine is identified by a binding. Each instruction of the L-code can be easily translated into Java statements. After our determination on representation, an L-code program from a STG program is translated into a Java program according to our compilation rules. Our experiment shows that the execution times of translated benchmarks are competitive, compared with those in a Haskell interpreter Hugs, particularly when Glasgow Haskell compiler's STG-level optimizations are applied. 본 논문에서는 함수형 언어 Haskell을 Java언어로 변환하여 Java Virtual Machine에서 수행하는 컴파일 방법을 제안한다. 이 컴파일 방법은 추상 기계 Spineless Tagless G-machine (STGM)을 수행 모델로 삼는다. L-code로 명명한 중간 언어를 도입하여 추상기계의 각각의 세부 동작을 이 언어의 명령어로 표현하고, 일련의 세부 동작들을 이 언어의 바인딩을 통해 표현한다. 각 명령어는 Java의 문장으로 변환하기 쉽도록 정의하였다. Java에서의 표현 방법을 결정하고, STG 프로그램의 L-code 프로그램으로의 컴파일 규칙과 Java 프로그램으로의 컴파일 규칙을 제안한다. 실험을 통해 제안한 컴파일러에 의해 Haskell 프로그램으로부터 생성된 Java 프로그램의 수행 성능은 Glasgow Haskell 컴파일러의 최적화 변환을 적용했을 때 기존의 Haskell 인터프리터인 Hugs와 대등함을 보인다.

스몰베이직 기반 교육용 코딩 환경을 위한 오픈소스 소프트웨어 개발

최광훈(Kwanghoon Choi),김가영(Gayoung Kim),창병모(Byeong-Mo Chang) 한국정보과학회 2018 정보과학회 컴퓨팅의 실제 논문지 Vol.24 No.12

본 연구에서 오픈소스 소프트웨어 기반 교육용 스몰베이직 코딩 환경을 개발하였다. 스몰베이직은 코딩 입문자를 위한 간단하고 배우기 쉬운 텍스트 기반 프로그래밍 언어이다. 하지만 기존의 마이크로소프트 스몰베이직 환경은 윈도우 운영체제에서만 사용해야 하고 소스 코드를 공개하지 않아 새로운 기능과 라이브러리를 추가하기 어려운 단점이 있다. 이 연구에서 윈도우, 리눅스, 맥에서 모두 사용할 수 있도록 자바로 새로운 스몰베이직 코딩 환경 마이스몰베이직을 개발하였다. 오픈소스 프로젝트이기 때문에 누구나 개발에 참여할 수 있는 장점이 있다. 이 개발을 통해 이전에 문서화되지 않았던 스몰베이직 언어의 파서 명세와 동적타입 변환에 대한 명세를 처음으로 작성하였다. 마지막으로 마이스몰베이직을 실제 코딩교육에 적용한 사례를 소개한다. This paper proposes development of an open source Small Basic coding environment. Small Basic is a simple text-based programming language for novices, that is easy to learn and user-friendly. The existing coding environment known Microsoft Small Basic can operate only on Windows, and no one can freely contribute new functions and libraries to it because of its closed policy on source code. In this paper, we develop a new Small Basic coding environment named MySmallBasic written in Java to operate in Windows, Linux, and Mac platforms. It is an open-source project, and so it has an advantage in that everyone can participate in the project. As a by-product of this study, this paper provides formal specifications on the parser and on dynamic typing semantics for Small Basic programming language, that has never been documented. Last, this paper reports an experience of using MySmallBasic in a coding education lecture.

LoRa 통신을 이용한 실종자 드론탐색 단계별 알고리즘 구현

최광훈(Kwanghoon Choi),김재훈(Jai-Hoon Kim) 한국통신학회 2017 한국통신학회 학술대회논문집 Vol.2017 No.6

클라이언트-서버 통합 웹 프로그래밍언어

최광훈(Kwanghoon Choi) 한국정보과학회 2020 정보과학회지 Vol.38 No.3

자바가상기계를 대상으로 하는 지연계산기반 함수형 언어 컴파일러의 설계 및 구현

최광훈(Kwanghoon Choi),임현일(Hyun-il Lim),한태숙(Taisook Han) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.2Ⅰ

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagless G-Machine(STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

문자열 분석 기반 유해 안드로이드 앱 검출

최광훈 ( Kwanghoon Choi ),박경득 ( Kyeongdeuk Park ),고광만 ( Kwangman Ko ),박희완 ( Heewan Park ),윤종희 ( Jonghee Youn ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.1

안드로이드 앱에서 접근할 수 있는 유해 사이트를 프로그램 분석 방법으로 검출하는 방법을 제안한다. 주어진 앱의 바이너리 코드를 자바바이트 코드로 역 컴파일하고 문자열 분석 방법을 적용하여 실행 중 사용 가능한 문자열 집합을 계산한 다음 유해 사이트 URL 문자열이 포함되어 있는지 확인하는 방법이다. 기존에는 앱을 직접 실행해서 특정 URL에 접속하는지 감시하는 동적 모니터링 방법인 반면, 제안한 방법은 앱을 실행할 필요가 없다. 앱스토어 관리에서 주기적으로 유해 앱 여부를 검사하는데 제안한 방법을 활용할 수 있다.

데이터세트 기록관리를 위한 기록관의 역할 연구: KR 사업관리시스템 사례를 중심으로

이경남,최광훈,임진희,Lee, Kyungnam,Choi, Kwanghoon,Yim, Jinhee 한국정보관리학회 2021 정보관리학회지 Vol.38 No.3

It is necessary to recognize the urgency and importance of administrative information dataset management and study effective management measures and specific procedures applicable in practice. Particularly, identify dataset records and developing records schedule for records management needs to be presented in detail and specific. This study designed and verified an identification method and appraisal procedure of dataset records in public administrative information systems dataset operating in public institutions. In addition, this study presented the role of the participants including the records center in the appraisal process. Through this, useful implications are derived for the development of specific and practical processes and tools for dataset management in the records center. 행정정보데이터세트 관리의 시급성과 중요성을 인식하고 실무에 적용 가능한 실효성 있는 방안을 연구하는 것이 필요하다. 특히 데이터세트 평가를 위해 데이터세트 기록을 식별하고 기록관리를 위한 기준을 정하는 일은 상세하고 구체적으로 제시될 필요가 있다. 본 연구는 공공기관에서 운영 중인 행정정보시스템 데이터세트를 대상으로 데이터세트 식별과 평가 과정을 설계하고 검증하였다. 이와 함께 평가 과정에서 기록관을 비롯한 참여 주체들의 역할을 제시하였다. 본 연구 결과를 통해 기록관에서 데이터세트 기록 관리를 위한 구체적이고 실질적인 프로세스 및 도구를 개발하기 위한 유용한 시사점을 도출하였다.

축산분야 소독제 정보 제공 스마트폰 어플리케이션 개발

정한성,김수권,최광훈,박지헌,쇠린택,최농훈,Chung, Hansung,Kim, Su kwon,Choi, Kwanghoon,Park, Ji Heon,Htet, Swe Lynn,Choe, Nonghoon 대한수의학회 2019 大韓獸醫學會誌 Vol.59 No.2

It is important to select the correct disinfectants and to use them appropriately in order to prevent the initial spread of highly infectious livestock disease, such as foot-and-mouth disease or highly pathogenic avian influenza. This study describes a smartphone application developed to enable livestock workers to observe information related to disinfectants for the prevention of livestock disease in the domestic market, regardless of time and location, through a Linux-based Android mobile platform. This application (Konkuk-Disinfectant Information Database) provides information on disinfectant names, components, license and use; it was designed to enable the user to share disinfectant information through social media.

스몰베이직 프로그램 디버거 설계 및 구현에 대한 연구

조문영(Munyoung Jo),최광훈(Kwanghoon Choi) 한국정보과학회 2017 한국정보과학회 학술발표논문집 Vol.2017 No.12