Hyeonseung Im (임현승)

Hyeonseung Im (임현승)

Assistant Professor 조교수
Programming Language Laboratory 프로그래밍 언어 연구실
Department of Computer Science 컴퓨터과학과
Kangwon National University 강원대학교

Research Interests

  • Machine learning :: deep learning for precision medicine
  • Programming language theory :: type theory :: module systems :: syntax and semantics of programming languages
  • Programming languages :: functional languages :: object-oriented languages :: XML processing languages :: dynamic languages
  • Program verification :: static program analysis
  • Logic in computer science :: automated theorem proving :: modal logic
  • Database query processing :: skyline queries :: XML queries :: top-k queries


  • A Bidirectional Decision Procedure for Intuitionistic Modal Logic IS5
    Hyungchul Park, Hyeonseung Im, Sungwoo Park
    Submitted, April 2018 [PDF][Webpage][GitHub]
  • Backward Type Inference for XML Queries
    Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaida
    Submitted, March 2017 [Draft]

Selected Publications

  1. Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
    Changhee Park, Hyeonseung Im, Sukyoung Ryu
    DLS 2016: Dynamic Language Symposium. pp. 25-36 
  2. Optimizing skyline queries over incomplete data
    Jongwuk Lee, Hyeonseung Im, Gae-won You
    Information Sciences. 361-362: 14-28 (2016)
  3. A Core Calculus for XQuery 3.0 – Combining Navigational and Pattern Matching Approaches
    Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
    ESOP 2015: European Symposium on Programming. pp. 232-256
  4. Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation
    Giuseppe Castagna, Kim Nguyễn, Zhiwu Xu, Hyeonseung ImSergueï Lenglet, Luca Padovani
    POPL 2014: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 5-18
  5. Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types
    Hyeonseung Im, Keiko Nakata, Sungwoo Park

    ICALP 2013: International Colloquium on Automata, Languages, and Programming. Part II. pp. 299-311
  6. The Farthest Spatial Skyline Queries
    Gae-won You, Mu-Woong Lee, Hyeonseung Im, Seung-won Hwang
    Information Systems. 38(3): 286-301 (2013)
  7. Computing Exact Skyline Probabilities for Uncertain Databases
    Dongwon Kim, Hyeonseung Im, Sungwoo Park
  8. Group skyline computation
    Hyeonseung Im, Sungwoo Park
    Information Sciences. 188: 151-169 (2012)
  9. A modal logic internalizing normal proofs
    Sungwoo Park, Hyeonseung Im
    Information and Computation. 209(12): 1519-1535 (2011)
  10. A syntactic type system for recursive modules
    Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park
    OOPSLA 2011: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. pp. 993-1012
  11. Parallel skyline computation on multicore architectures
    Hyeonseung Im, Jonghyun Park, Sungwoo Park
    Information Systems. 36(4): 808-823 (2011)
  12. A calculus for hardware description
    Sungwoo Park, Hyeonseung Im
    Journal of Functional Programming. 21(1): 21-58 (2011)
  13. Parallel Skyline Computation on Multicore Architectures
    Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, Hyeonseung Im
    ICDE 2009: International Conference on Data Engineering. pp. 760-771
  14. Type-safe higher-order channels with channel locality.
    Sungwoo Park, Hyeonseung Im
    Journal of Functional Programming. 19(1): 107-142 (2009)
  15. Functional netlists
    Sungwoo Park, Jinha Kim, Hyeonseung Im
    ICFP 2008: ACM SIGPLAN International Conference on Functional Programming. pp. 353-366