안기영 (Ahn, Ki Yung): 안기영 (Ahn, Ki Yung)

1630 SW Clay Apt 1C
Portland, OR 97201-6045
USA

+1 503 327 6907

kyagrd@gmail.com

I am a Ph.D. student in [http]

, studying Programming Languages. My academic advisor is professor [http]

See MyResume for further information.

Notice ¶

I decided that I will eventually move my homepage to [http]

Recent updates (including recent drafts of research papers) are being posted on [http]

A Hierarchy of Mendler style Recursion Combinators: Taming Inductive Datatypes with Negative Occurrences, Ki Yung and Tim Sheard, ICFP'11.
Testing First-Order Logic Axioms in Program Verification, Ki Yung Ahn and Ewen Denney. (Posters in APLAS 2010 and UKC 2010 YG, in Proceedings 4th International Conference on Tests & Proofs (TAP 2010), invited to Software Quality Journal)
Functional Pearl: Sparse Bitmaps for Pattern Match Coverage, Ki Yung Ahn and Tim Sheard, rejected from ICFP'09 rejected from Haskell'09 being revised.
Shared Subtypes: Subtyping recursive parametrized algebraic data types, Ki Yung Ahn and Tim Sheard, in the ACM SIGPLAN 2008 Haskell Symposium. (Also gave a talk in KSEA NWRC 2008, ROPAS seminar at Seoul National University , PL lab at Hanyang Univ.)
Reliable Cache Coherence Protocol Design Using Omega (SOSP 2007 poster. Also gave a talk in KSEA NWRC 2007 IT session)
하스켈로 배우는 프로그래밍 - Korean translation of "Programming in Haskell" by Graham Hutton, Daerim Publishing, published on 2009-07-24.
추천사 : Haskell로 프로그램 짜보니까 어떤 느낌 들어요?
Recommendation from Jaewoo Kim, who translated "컴퓨터 프로그램의 구조와 해석"(Structure and Interpretation of Computer Programs 우리말 판).
옮긴이 머리말 : IT 실무자들이 하스켈에 관심을 가져야 할 이유

yices library: Haskell programming interface to Yices SMT solver
memscript program: Command line utility for memorizing scriptures or any other text
smartword has been cabalized and uploaded on Hackage.
BDB++ - C++ Standard Container style interface for Berkeley DB. (not maintained recently)
NopenGL - OpenGL API for nML. (not maintained recently)

See RecentChanges in this wiki and also RecentChangeList for more list of recently changed pages in this wiki.