2021년 7월 7일 (수) 18:55 판

• International Journals

1. 1. "A Programming Environment for Ubiquitous Computing Environment", Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn and Kyung-Goo Doh, ACM SIGPLAN Notices, Vol. 42, Issue 4, pp. 14-22, ACM, April, 2007.
   2. "Differential Evaluation of Fixpoints of Non-distributive Functions", Joonseon Ahn, IEICE Transactions on Information and Systems, Vol. E-86-D, No. 12, pp. 2710-2721, Dec. 2003.

• • "A Differential Fixpoint Evaluation Framework for Non-distributive Systems", Joonseon Ahn and Yong-Jin Kwon, Lecture Notes in Computer Science 2895, pp. 159-175, Springer Verlag. (presented at APLAS'03, Beijing, China, Nov. 2003)
  • "A Concurrent B^{link}-tree Algorithm using Cooparative Locking Protocol", Sung-Chae Lim, Joonseon Ahn, and Myoung Ho Kim, Lecture Notes in Computer Science 2712, pp. 253-260, Springer Verlag. (presented at BNCOD 20, Coventry, UK, July 2003)
  • "An Analytical Method For Parallelization Of Recursive Functions", Joonseon Ahn and Taisook Han, Parallel Processing Letters, pp. 359-370, Vol. 10, No. 4, Dec., 2000.

Proceedings

   " A Differential Evaluation of Fixpoint Iterations ", Joonseon Ahn, The Second Asian Workshop on Programming Languages and Systems , Taejon, Korea, Dec., 2001.
   "Analysis of Parallelism in Recursive Functions on Recursive Data Structures", Joonseon Ahn and Taisook Han, Implementation of Declarative Languages(IDL'99), Paris, France, Sep., 1999.

Reports

   An Analytical Method for Parallelizing Functional Programs on Recursive Data Structures, Joonseon Ahn, Ph.D. Thesis, KAIST, 2000.
   Static Slicing of a First-Order Functional Language based on Operational Semantics, Joonseon Ahn and Taisook Han, KAIST/CS Technical Report CS/TR-99-144, Dec., 1999.
   Design and Implementation of a Data-Parallel Language based on Recusively Defined Data Joonseon Ahn and Taisook Han, KAIST/CS Technical Report CS/TR-98-128, Sep., 1998.
   액티베이션 레코드를 사용하는 그래프 축약기계 (Graph Reduction Machine using Activation Record), Joonseon Ahn, MS. Thesis, KAIST, 1994. (in Korean)

Domestic Journals

   " 웹 응용프로그램의 문자열 삽입 보안 취약성 분석기 개발(Development of a String Injection Vulnerability Analyzer for Web Application Programs)", Joonseon Ahn and Yeong-min Kim and Jang-Wu Jo, 정보처리학회논문지/Journal of Korea Information Processing Society, Vol. 15-A, No. 3, pp 181-188, Jun 2008 (in Korean) [English Abstract]
   "심볼릭 링크 공격 취약성 검출을 위한 분석 기법(An Analysis Method for detecting Vulnerability to Symbolic link Exploit)", Seongyong Joo and Joonseon Ahn and Jang-Wu Jo, 정보처리학회논문지/Journal of Korea Information Processing Society, Vol. 15-A, No. 1, pp 45-52, Feb 2008 (in Korean).
   "상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근 제어 시스템(An Access Control System for Ubiquitous Computing based on Context Awareness)", Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh, 정보처리학회논문지/Journal of Korea Information Processing Society, Vol. 15-A, No. 1, Feb 2008 (in Korean).
   "A Differential Fixpoint Evaluation Algorithm for Arbitrary Worklist Scheduling", Joonseon Ahn, 정보과학회논문지/Journal of Korea Information Science Society, Vol.32-B, No.8, pp808-818, Aug 2005 (in Korean).
   "증가분 계산에 기반한 고정점 계산을 위한 워크리스트 알고리즘 (A Worklist Algorithm for Differential Fixpoint Evaluation", 안준선, 프로그래밍언어논문지, 17(1), pp. 73-82, March, 2003.
   "증가분 계산에 기반한 고정점 계산을 위한 워크리스트 알고리즘 (A Worklist Algorithm for Differential Fixpoint Evaluation", 안준선, 프로그래밍언어논문지, 17(1), pp. 73-82, March, 2003.
   "증가분 계산에 기반한 고정점 생성 방법 (A Fixpoint Iteration Method based on Increment Evaluation)", 안준선, 프로그래밍언어논문지, 16(1), pp. 1-8, Feb, 2002.
   "Design of a data-parallel language based on recursive data", 안준선, 항공대학교 IT연구소, 전자정보통신공학논문지 8(1), 2002.
   "오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할 (Static Slicing of First-Order Functional Language based on Operational Semantics)", 안준선, 한태숙, 정보과학회논문지(B), 27(7), pp. 877-885, July., 2000.
   "재귀적 자료구조에 대한 재귀 함수의 병렬화 (Parallelization of Recursive Functions for Recursive Data Structures)", 안준선, 한태숙, 정보과학회논문지(B), 26(12), pp. 1542-1552, Dec., 1999.
   "액티베이션 레코드를 이용하는 그래프 축약기계 (Graph Reduction Machine Using Activation Records)", pp. 1459-1469, 안준선, 한태숙, 정보과학회논문지(B), 22(10), Oct., 1995. 

Domestic Conferences

   " 요약해석에서 증가분 계산에 기반한 고정점 생성 방법 (Differential Evaluation of Fixpoints in Abstract Interpretation)", 안준선, 이광근, 한국정보과학회 '01 추계학술발표회 논문집, 서울여대, 서울, Sep. 2001.
   "재귀 함수의 병렬화를 위한 자료 병렬성 분석 (Analysis of Data Parallelism in Recursive Functions for Parallelization)", 안준선, 한태숙, 한국정보과학회 '99 프로그래밍언어연구회 추계합동학술논문발표회 논문집, 포항공대, 포항, Sep. 1999.
   "병렬화 컴파일러 소개 (Introduction to Parallelizing Compilers)", 안준선, 최광훈, 김성훈, 한태숙, 정보과학회지, July, 1996.
   "병렬화 트렌스레이터의 설계", 최광무, 한태숙, 이광근, 강경우, 이경옥, 김성훈, 조장우, 안준선, 김상오, 허재원, 최광훈, 프로그래밍언어연구회 학술발표논문집, Oct, 1995
   "Activation Record를 이용하는 그래프 축약 기계 (Graph Reduction Machine Using Activation Record)", 안준선, 한태숙, 한국정보과학회 '93 프로그래밍언어연구회 학술발표논문집, 아주대, 수원, Oct., 1993.