안기영 (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 ¶

(a Korean translation of [http]

) has been published on 2009-07-24!!!

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 실무자들이 하스켈에 관심을 가져야 할 이유
Cache Coherence Protocol Verification using Omega - My RPE paper studying about DASH cache coherence protocol verification using a programming language called Omega.
TypeSystemDesign - I wrote a survey paper as a term poject of the Scholarship Skills course at Portland State University.
HaskellServerProgramming - Online tutorial on server programming in the modern pure functional language Haskell with concurrency

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.