Software Languages Lab

   HOME |  PEOPLE |  RESEARCH |  PROJECTS |  SEMINAR |  PICTURE |  BOARD |  RELATION

 

A Study on Unified Programming Model and Automatic Code Generation for Multiple Tiered IoT Applications

  • 공동연구원 : 창병모 교수
  • 기간 : 2017.3 ~ 2020.2
  • 지원기관 : the National Research Foundation of Korea(NRF) funded by the Korea Government (MSIP)
  • 관련 논문 리스트 : Quick link

 

A Study on Android-aware Static Analyses for Automatic Detection of Malicious Mobile Apps

  • 공동연구원 : 창병모 교수
  • 기간 : 2014.11 ~ 2017.5
  • 지원기관 : Ministry of Education

 

A Study on Ubiquitous Programming Environment

  • 제목: 유비쿼터스 컴퓨팅을 위한 프로그래밍 환경 연구
    (A Study on Programming Environment for Ubiquitous Computing)
  • 과제책임자: 창병모 교수
  • 기간 : 2006.3 ~ 2009.2
  • 지원기관: 과학기술부 특정기초과제
  • 과제 홈페이지

 

유비쿼터스 도시 정보 서비스

  • 제목 : SUITE(Seoul Ubiquitous Information and Telecommunication Environment)클러스터 구축
  • 공동연구원 : 창병모 교수
  • 기간 : 2005. 12 ~ 2010. 11
  • 지원기관 : 서울시
  • 과제 홈페이지

 

A Study on Mobile Java Programming Environment

  • 제목: 정적 분석을 이용한 모바일 자바 프로그램의 효율적인 자원 사용을 위한 환경 연구
    (A Study on Mobile Java Programming Environment for Efficient Resource Usage using Static Analysis)
  • 과제책임자: 창병모 교수
  • 기간 : 2002.9 ~ 2005.8
  • 지원기관: 과학재단 특정기초과제
  • 과제 내용 .
  • 관련 논문.

A Study on Development of Practical Analysers for Java

  • 제목: 자바 언어를 위한 실용적인 분석기 개발에 관한 연구
    (A Study on Development of Practical Analyzers for Java)
  • 과제책임자: 창병모 교수
  • 기간 : 2000.9 ~ 2002.8
  • 지원기관: 과학재단 특정기초과제
  • 목표: 자바 언어를 위한 실용적인 정적 분석기 개발
  • 요약.

University Foundation Project(여자대학 기반 연구)

  • 제목: 정보 시스템 보안을 위한 기반 및 응용 기술 연구
  • 세부과제책임자: 창병모 교수
  • 기간 : 1999.4 ~ 2001.4
  • 지원기관: 과학기술부 연구기반 확충사업
  • 세부과제 목표: 자바 프로그램의 안전성에 관한 연구

In collaboration with

A new language for parallel programming environment(차세대 고급 언어 연구)

  • 제목: 차세대 고급 언어 연구
  • 세부과제책임자: 창병모 교수
  • 기간 : 1996.10 ~ 1999.8
  • 지원기관: KISTEP(과학기술정책연구원)
  • 세부과제 목표: 병렬 프로그래밍 환경을 위한 차세대 고급 언어 개발

A Study on Prolog Compiler

  • 제목: 논리 언어 컴파일러 연구
  • 과제책임자: 창병모 교수
  • 기간 : 1997.5 ~ 1998.2
  • 지원기관: 한국전자통신연구원(ETRI)

Static Analysis of ML and Prolog Programs

  • 제목: Standard ML과 Prolog 프로그램에 사용될 효율적인 정적 분석기 개발
  • 세부과제책임자: 창병모 교수
  • 기간 : 1995.8 ~ 1998.8
  • 지원기관: 과학재단 특정기초과제
  • 목표: Standard ML과 Prolog 언어를 위한 효율적인 정적 분석기 개발