Research Grants


MilKS4G: KOR-NRF ######## (2023 - ...)

  • Task #1:
  • Task #2:
  • Task #3:

  • DeepBugger: A Binary Program Analysis based AI-enabled Synthesized Framework for SW Vulnerability and Similarity Detection; NRF(2022-2026).

  • DeepMine: AI-enabled Binary Code Analysis
  • DeepWeak: AI-enabled SW Vulnerability Detection
  • DeepClone: AI-enabled SW Similarity Detection

  • Deepiler: ML&DL based Compiler Back-end Generation; NRF(2020-2024)

  • MobiSys 2022

  • BLOCKCHAIN Grants; 2018 - Going

  • NiPA PoC (2022)
  • 산업통상자원부(2020-2021)
  • 중소기업부 창업성장 (2019-2020)
  • (2019-2020)

  • DisCO: Development of the Distributed and Concurrent Offloading Framework for Smart IoT Applications in Mobile Edge Cloud Computing Environments; 한국연구재단(2017- 2020)

  • Simple Scalar | |

  • 揶??怨대┛??疫꿸?而???뺣즴??獄???沅??? 疫꿸????怨?; 2018

  • ???癰?곷?怨???NSF), ?⑥눛釉경묾???類λ?봔 |

  • Development of SDN Platforms and Security Schemes for Service Scalable and Trustable IoT Environments; 과학기술정보통신부(2017)

  • ?⑥눛釉경묾???類λ?봔 |

  • CryptoMediGo: BLOCKCHAIN based Telemedicine Pplatform; 2017- 2018, @Univ Sains Malaysia(USM), Penang MY

  • Simple Scalar | ????怨?????NRF) 2018 ?⑥눛?癒?????癒???? |

  • Offloading Technique on Mobile Cloud Computing; 2011- 2016, @Univ of Malaya, KualaLumpur MY

  • Simple Scalar | Simple Power |

  • Retargetable Power/Energy Optimization ; 2008- 2010, @Irvine, CA USA.

  • Simple Scalar | Simple Power |
  • EEL: Energy Effiency Low Power Lab. |
  • Wattch |
  • Cited Articles
  • Related Groups
  • Sable VM | Jike |

  • Virtual Machine Solutions : 2001-2008, @Brisbane AUS and Quebec CAN.

  • Virtual Machines for Embedded Systems
  • Adapting Techniques for the Virtual Machines
  • Run-time Environments for the Virtual Machines
  • Adapting Techniques for the Virtual Machines
  • JVM | KVM | Waba VM | Sable VM | LaTTe | Jikes RVM |
  • Cited Articles
  • Related Groups
  • Sable VM | Jike |

  • Retargetable Compiler & Machine Description Language : 1993-2001

  • Retargetable Code Generation Techniques
  • Code Optimizations
  • Compiler Tool Kits
  • Compiler Open Directory
  • LCC | ACK | SUIF | IMPACT | Zephyr |
  • Cited Articles
  • Related Groups
  • The Complaang Group, Vienna University of Technology |
  • EXPRESSION Download, ACES-University of Califonia, Irvine |

  • Others

  • S. Furber, ARM System-on-Chip Architecture, Addison-Wesley, 2000.
  • G. Kane, J. Heirich, MIPS RISC Architecture, Prentice-Hall, 1992.
  • Richard D. Paul, "SPARC Architecture, Assembly Language Programming, and C," Prentice-Hall International Editions, 1994.
  • Associated Compiler Experts: http://www.ace.nl
  • Tool Interface Standard Committee, Executable and Linking Format(ELF) Specifications v1.2, 1995.

  • Last updated by KO. at 2:00pm on March-27, 2008.