Papers by Journal/Conferences

Most recent papers that are always available from here may not yet be reflected in this page.

Papers are categorized by topics or journal/conference.

• Journal (17)
• Conference (33)
• Domestic Journal (10)
• Domestic Conference (24)

Journal

• "The octagon abstract domain."
  Min\'{e}, Antoine.
  Higher Order Symbol. Comput.. 19 (1). 2006. pp. 31--100.
  [ pdf / BibTeX ]
• "Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs."
  Oukseh Lee and Hongseok Yang and Kwangkeun Yi.
  Science of Computer Programming. 58 (1-2). 2005. pp. 141-178.
  [ pdf / BibTeX ]
• "An Uncaught Exception Analysis for Java."
  Jangwoo Jo and Byeong-Mo Chang and Kwangkeun Yi and Kwang-Moo Choe.
  Journal of Systems and Software. 72 (1). 2004. pp. 59--69.
  [ ps.gz / BibTeX ]
• "Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms."
  Hyunjun Eo and Oukseh Lee and Kwangkeun Yi.
  New Generation Computing. 22 (1). November 2003. pp. 1--36.
  [ BibTeX ]
• "A Cost-effective Estimation of Uncaught Exceptions in {SML} Programs."
  Kwangkeun Yi and Sukyoung Ryu.
  Theoretical Computer Science. 277 (1--2). April 2002. pp. 185--217.
  [ ps.gz / BibTeX ]
• "A Proof Method for the Correctness of Modularized {0CFA}."
  Oukseh Lee and Kwangkeun Yi and Yunheung Paek.
  Information Processing Letters. 81 (4). February 2002. pp. 179--185.
  [ pdf / BibTeX ]
• "Engaging Students with Theory through ACM Collegiate Programming Contests."
  Nikolay Shilov and Kwangkeun Yi.
  Communications of the ACM. 45 (9). September 2002. pp. 98--101.
  [ ps.gz / BibTeX ]
• "Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers."
  Nikolay Shilov and Kwangkeun Yi.
  Electronic Notes in Theoretical Computer Science. vol. 43. 2001.
  [ pdf / BibTeX ]
• "Unified Interprocedural Parallelism Detection."
  Jay Hoeflinger and Yunheung Paek and Kwangkeun Yi.
  International Journal of Parallel Programming. 29 (2). April 2001. pp. 185--215.
  [ ps.gz / BibTeX ]
• "Model Checking Puzzles in Mu-Calculus."
  Nikolay Shilov and Kwangkeun Yi.
  Joint Bulletin of the Novosibirsk Computing Center and A.P.Ershov Institute of Informatics Systems. no. 13, . 2000.
  [ ps.gz / BibTeX ]
• "Cache behavior prediction by abstract interpretation."
  Ferdinand, Christian and Martin, Florian and Wilhelm, Reinhard and Alt, Martin.
  Sci. Comput. Program.. 35 (2-3). 1999. pp. 163--189.
  [ pdf / BibTeX ]
• "An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs."
  Kwangkeun Yi.
  Science of Computer Programming. 31 (1). 1998. pp. 147--173.
  [ ps / BibTeX ]
• "Proofs about a Folklore Let-Polymorphic Type Inference Algorithm."
  Oukseh Lee and Kwangkeun Yi.
  ACM Transactions on Programming Languages and Systems. 20 (4). July 1998. pp. 707--723.
  [ pdf / BibTeX ]
• "Efficient computation of fixpoints that arise in complex program analysis."
  Liling Chen and Luddy Harrison and Kwangkeun Yi.
  Journal of Programming Languages. 3 (1). 1995. pp. 31--68.
  [ ps.gz / BibTeX ]
• "Constructive Versions Of Tarski's Fixed Point Theorems."
  Patrick Cousot and Radhia Cousot.
  Pacific Journal of Maths. 1979.
  [ pdf / BibTeX ]
• "Correctness of Data Representations involving Heap Data Structures."
  Uday S. Reddy and Hongseok Yang.
  Science of Computer Programming.
  [ ps / BibTeX ]
• "Possible Worlds and Resources: The Semantics of BI."
  Peter W. O'Hearn and David Pym and Hongseok Yang.
  Theoretical Computer Science.
  [ ps.gz / BibTeX ]

Conference

• "Continuity analysis of programs."
  Chaudhuri, Swarat and Gulwani, Sumit and Lublinerman, Roberto.
  POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. 2010.
  [ pdf / BibTeX ]
• "Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics."
  2008.
  [ pdf / BibTeX ]
• "MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs."
  Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa and Yuanyuan Zhou.
  SOSP ACM Symposium on Operating Systems Principles. 2007.
  [ pdf / BibTeX ]
• "A Polymorphic Modal Type System for Lisp-Like Multi-Staged Languages."
  Ik-Soon Kim and Kwangkeun Yi and Cristiano Calcagno.
  Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2006. pp. 257--269.
  [ pdf / BibTeX ]
• "AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants."
  Shan Lu, Joseph Tucek, Feng Qin, and Yuanyuan Zhou.
  ASPLOS Architectural Support for Programming Languages and Operating Systems. 2006.
  [ pdf / BibTeX ]
• "PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection."
  Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, and Josep Torrellas.
  MICRO IEEE/ACM International Symposium on Microarchitecture. 2006.
  [ pdf / BibTeX ]
• "Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis."
  Yungbum Jung and Jaehwang Kim and Jaeho Shin and Kwangkeun Yi.
  Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings. September 2005. pp. 203-217.
  [ ps.gz / BibTeX ]
• "Experiments on the Effectiveness of an Automatic Insertion of Safe Memory Reuses into ML-like Programs."
  Oukseh Lee and Kwangkeun Yi.
  Informal Proceedings of 2nd Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management. Venice, Italy. January 2004.
  [ pdf / slide.ppt / BibTeX ]
• "Separation and Information Hiding."
  Peter W. O'Hearn and John C. Reynolds and Hongseok Yang.
  Proceedings of ACM Symposium on Principles of Programming Languages. January 2004. pp. 268--280.
  [ ps / BibTeX ]
• "Automatic Construction of Hoare Proofs from Abstract Interpretation Results."
  Sunae Seo and Hongseok Yang and Kwangkeun Yi.
  Proceedings of the 1st Asian Symposium on Programming Languages and Systems. 2003. pp. 230--245.
  [ pdf / BibTeX ]
• "Inserting Safe Memory Reuse Commands into ML-like Programs."
  Oukseh Lee and Hongseok Yang and Kwangkeun Yi.
  Proceedings of the Annual International Static Analysis Symposium. San Diego, California. June 2003. pp. 171--188.
  [ pdf / BibTeX ]
• "A Semantic Basis for Local Reasoning."
  Hongseok Yang and Peter W. O'Hearn.
  Foundataions of Software Science and Computation Structures. Grenoble, France. April 2002.
  [ ps.gz / pdf / BibTeX ]
• "Static Monotonicity Analysis for Lambda-definable Functions over Lattices."
  Andrzej Murawski and Kwangkeun Yi.
  Third International Workshop on Verification, Model Checking and Abstract Interpretation. Venice, Italy. January 2002.
  [ pdf / BibTeX ]
• "A Note on Model Checking Reuse."
  Nikolay Shilov and Kwangkeun Yi.
  2nd Australian Workshop on Computational Logic. Gold Cost, Australia. January 2001.
  [ ps.gz / BibTeX ]
• "Computability and Complexity Results for a Spatial Assertion Language for Data Structures."
  Cristiano Calcagno and Hongseok Yang and Peter W. O'Hearn.
  Foundations of Software Technology and Theoretical Computer Science. Bangalore, India. December 2001.
  [ ps.gz / pdf / BibTeX ]
• "Exception Analysis for Multithreaded Java Programs."
  Sukyoung Ryu and Kwangkeun Yi.
  The Second Asia-Pacific Conference on Quality Software. December 2001.
  [ pdf / BibTeX ]
• "Interconnecting Between {CPS} Terms and Non-{CPS} Terms."
  Jung-taek Kim and Kwangkeun Yi.
  The Third ACM SIGPLAN Workshop on Continuations. London. January 2001.
  [ ps.gz / BibTeX ]
• "Interprocedural Exception Analysis for Java."
  Byeong-Mo Chang and Jangwoo Jo and Kwangkeun Yi and {Kwang-Moo} Choe.
  Proceedings of the 16th ACM Symposium on Applied Computing. March 2001.
  [ ps / BibTeX ]
• "On Expressive Power of Second Order Propositional Program Logics."
  Nikolay Shilov and Kwangkeun Yi.
  A. Ershov 4th International Conference on Perspectives of System Informatics. Novosibrisk, Russia. July 2001.
  [ ps.gz / BibTeX ]
• "Proving Syntactic Properties of Exceptions in an Ordered Logical Framework."
  Jeff Polakow and Kwangkeun Yi.
  The Fifth International Symposium on Functional and Logic Programming. Tokyo, Japan. March 2001. pp. 61--77.
  [ ps.gz / BibTeX ]
• "A New Proof of Exponential Decidability for Propositional Mu-Calculus with Program Converse."
  Nikolay Shilov and Kwangkeun Yi.
  {III} International Conference on Theoretical Aspects of Computer Science. Novi Sad, Yugoslavia. September 2000.
  [ ps.gz / BibTeX ]
• "Constraint-based Analysis for Java."
  Byeong-Mo Chang and Kwangkeun Yi and Jangwoo Jo.
  SSGRR Conference on Computers and E-Business. L'Aquila, Italy. August 2000.
  [ ps.gz / BibTeX ]
• "Escape Analysis for Stack Allocation in Java."
  Eunsun Cho and Kwangkeun Yi.
  ECOOP Workshop on Formal Techniques for Java Programs. Canne, France. June 2000.
  [ ps.gz / BibTeX ]
• "Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers."
  Nikolay Shilov and Kwangkeun Yi.
  Formal Methods Elsewhere. Pisa, Italy. October 2000.
  [ ps.gz / BibTeX ]
• "Exception Analysis for Java."
  Kwangkeun Yi and Byeong-Mo Chang.
  Proceedings of ECOOP'99 Workshop on Formal Techniques for Java Programs. June 1999. pp. 111-112.
  [ ps / BibTeX ]
• "Assessing the Overhead of ML Exceptions by Selective CPS Transformation."
  Jung-taek Kim and Kwangkeun Yi and Olivier Danvy.
  The 1998 ACM SIGPLAN Workshop on ML. Baltimore. September 1998. pp. 103--114.
  [ ps / BibTeX ]
• "Towards A Cost-Effective Estimation of Uncaught Exceptions in SML Programs."
  Kwangkeun Yi and Sukyoung Ryu.
  Proceedings of the Annual International Static Analysis Symposium. Paris, France. September 1997. pp. 98--113.
  [ ps.gz / slide.ps.gz / BibTeX ]
• "{SUIF} Program Analysis Using System Z2."
  Seong-Hoon Kim and Kwangkeun Yi and Hyun-jun Eo and Kwang-Moo Choe.
  Proceedings of The Second SUIF Compiler Workshop. August 1997.
  [ ps.gz / BibTeX ]
• "Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations."
  Kwangkeun Yi and Sukyoung Ryu and Ki-Hyun Pyun.
  The 20th Annual International Computer Software and Applications Conference. Seoul, Korea. August 1996. pp. 455--460.
  [ ps.gz / BibTeX ]
• "Type-directed partial evaluation."
  Olivier Danvy.
  Proceedings of the Symposium on Principles of programming languages. New York, NY, USA. 1996. pp. 242--257.
  [ pdf / BibTeX ]
• "Compile-time Detection of Uncaught Exceptions in Standard ML Programs."
  Kwangkeun Yi.
  The 1st International Static Analysis Symposium. Namur. September 1994. pp. 238--254.
  [ ps.gz / BibTeX ]
• "Automatic Generation and Management of Interprocedural Program Analyses."
  Kwangkeun Yi and Williams Ludwell {Harrison III}.
  Proceedings of ACM Symposium on Principles of Programming Languages. January 1993. pp. 246--259.
  [ ps.gz / BibTeX ]
• "Lambda calculus schemata."
  M. J. Fischer.
  Proceedings of ACM Conference on Proving Assertions about Programs. 1972.
  [ pdf / BibTeX ]

Domestic Journal

• "일반화된 Let-다형성 타입 유추 알고리즘."
  이욱세 and 이광근.
  정보과학회 논문지: 소프트웨어 및 응용. 28 (1). January 2001. pp. 73--89.
  [ hwp / BibTeX ]
• "Let-다형성 타입 유추 알고리즘 M의 병목을 해소하기 위한 혼성 알고리즘 H."
  주상현 and 이욱세 and 이광근.
  정보과학회 논문지: 소프트웨어 및 응용. 27 (12). December 2000. pp. 1227--1237.
  [ hwp / BibTeX ]
• "실행시간 전문화를 위한 집합기반분석의 준비."
  어현준 and 이광근.
  정보과학회 논문지. 27 (9). September 2000. pp. 986--1002.
  [ hwp / BibTeX ]
• "예외상황 분석을 이용한 계산과정 전달 변환."
  김정택 and 이광근.
  정보과학회 논문지. 27 (3). March 2000. pp. 275--289.
  [ BibTeX ]
• "주어진 프로그램에서 예외상황을 발생시키는 테스트 데이타 생성 방법."
  류석영 and 이광근.
  정보과학회 논문지. 27 (4). April 2000. pp. 342--356.
  [ hwp / BibTeX ]
• "효과 타입 시스템을 이용한 기계어 코드의 검증."
  정재윤 and 류석영 and 이광근.
  정보과학회 논문지. 27 (8). August 2000. pp. 886--901.
  [ hwp / BibTeX ]
• "하향식 타입 유추 알고리즘 M의 속성 증명."
  이욱세 and 이광근.
  정보과학회 논문지. 25 (8). August 1998. pp. 1281--1292.
  [ hwp / BibTeX ]
• "Standard ML 프로그래밍."
  류석영 and 이광근.
  정보과학회 회지. 15 (1). January 1997. pp. 5--10.
  [ hwp / BibTeX ]
• "Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 효과적으로 예측하는 방법."
  류석영 and 이광근.
  정보과학회 논문지. 24 (11). November 1997. pp. 1267--1283.
  [ hwp / BibTeX ]
• "프로그래밍 언어에서의 타입 구조의 역할."
  이욱세 and 편기현 and 이광근.
  정보과학회 회지. 15 (1). January 1997. pp. 11--15.
  [ ps.gz / BibTeX ]

Domestic Conference

• "메모리 재사용 명령어 자동 삽입 변환기의 효과."
  이욱세 and 이광근.
  정보과학회 봄 학술회의. April 2004.
  [ pdf / BibTeX ]
• "Bi-directional Demand-Driven Set-Based Analysis."
  최웅식 and 이광근.
  SIGPL 2002 학술발표대회. November 2002. pp. 17--31.
  [ hwp / BibTeX ]
• "메모리 타입 분석을 통한 안전하고 효율적인 메모리 재사용."
  이욱세 and 이광근.
  정보과학회 봄 학술회의. April 2002. pp. 352--354.
  [ pdf / slide.pps / BibTeX ]
• "정확한 정수 합동 분석을 위한 역방향 요약 연산자 정의."
  서선애.
  정보과학회 가을 학술회의. October 2002. pp. 652--654.
  [ ps / BibTeX ]
• "효율적인 메모리 사용을 위한 free 명령어 삽입 알고리즘."
  이욱세.
  정보과학회 가을 학술회의. October 2002. pp. 655--657.
  [ pdf / slide.ppt / BibTeX ]
• "nML 컴파일러 시스템 (status report)."
  이광근 and 이욱세 and 어현준 and 김정택 and 최웅식 and 류석영 and 강현구 and 서선애 and 장성순 and 김범식.
  정보과학회 가을 학술회의. October 2001. pp. 340--342.
  [ pdf / slide.pdf / BibTeX ]
• "nML을 이용한 기술용어 사전 시스템 구축."
  강현구 and 이광근.
  정보과학회 봄 학술회의. April 2001. pp. 70--75.
  [ doc / BibTeX ]
• "{CPS} 변환 후에도 함수형 {SLam} 언어의 안전성 정확하게 분석하기."
  장성순 and 이광근.
  정보과학회 봄 학술회의. April 2001.
  [ pdf / BibTeX ]
• "다중 스레드 Java 프로그램의 실행 중 처리되지 않는 예외상황을 예측하는 방법."
  류석영 and 이광근.
  정보과학회 봄 학술회의. April 2001. pp. 73--75.
  [ pdf / BibTeX ]
• "모델체커를 검증하기 위한 모델체커."
  어현준 and Nikolay V. Shilov and 이광근.
  정보과학회 가을 학술회의. October 2001. pp. 337--339.
  [ ps / BibTeX ]
• "프로그램 유사성 검사기."
  장성순 and 서선애 and 이광근.
  정보과학회 가을 학술회의. October 2001. pp. 334--336.
  [ pdf / BibTeX ]
• "Modularized Control Flow Analyses."
  이욱세 and 이광근.
  프로그래밍 언어 연구회 추계 합동 학술 발표회 논문집. September 2000. pp. 54--71.
  [ ps.gz / BibTeX ]
• "ML 프로그램에서 예외상황을 발생시키는 테스트 데이터 생성 방법."
  류석영 and 이광근.
  프로그래밍 언어 연구회 동계 워크샵 논문집. February 1999. pp. 75--82.
  [ pdf / BibTeX ]
• "선택적인 CPS 변환에 의한 ML의 예외상황 실행속도의 개선."
  김정택 and 이광근.
  정보과학회 봄 학술 회의. April 1999. pp. 102--104.
  [ BibTeX ]
• "안전한 모듈 지원 함수 흐름 분석."
  이욱세 and 이광근.
  정보과학회 봄 학술회의. April 1999. pp. 93--95.
  [ ps.gz / BibTeX ]
• "정적 분석의 실행시간 전문화에 관한 연구."
  어현준 and 이광근.
  프로그래밍 언어 연구회 동계 워크샵 논문집. February 1999.
  [ ps.gz / slide.ps.gz / BibTeX ]
• "스택 머신 코드의 타입 분석."
  이욱세 and 이광근 and 김병철 and 권경인.
  정보과학회 가을 학술회의. October 1998. pp. 413--415.
  [ ps.gz / slide.pdf / BibTeX ]
• "스택 머신 코드의 타입 분석."
  이욱세 and 이광근.
  프로그래밍 언어 연구회 추계 학술논문 발표회. September 1998. pp. 21--29.
  [ ps.gz / BibTeX ]
• "Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발."
  편기현 and 이광근.
  정보 과학회 봄 학술회의. April 1997. pp. 41--44.
  [ BibTeX ]
• "메모리 재활용 장치와 함수 흐름도를 이용한 메모리 소비량 측정기."
  오현석 and 이광근.
  정보 과학회 가을 학술회의. October 1997. pp. 319--322.
  [ BibTeX ]
• "분석기 생성 시스템 Z1에서 그래픽 사용자 인터페이스의 자동 생성."
  어현준 and 이광근 and 김성훈.
  정보과학회 봄 학술회의. April 1997. pp. 57--60.
  [ ps.gz / BibTeX ]
• "타입 오류를 일찍 감지하는 타입 유추 알고리즘."
  이욱세 and 이광근.
  정보과학회 봄 학술회의. April 1997. pp. 57--60.
  [ ps.gz / BibTeX ]
• "Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법."
  류석영 and 이광근.
  정보과학회 가을 학술회의. October 1996. pp. 807--810.
  [ ps.gz / BibTeX ]
• "타입환경상의 편리한 프로그램 작성을 위한 도구."
  이욱세 and 편기현 and 이광근.
  프로그래밍 언어 연구회 추계 학술논문 발표회. December 1996. pp. 28--36.
  [ ps.gz / BibTeX ]