Study
09 SUMMER 새내기 스터디
- Abstract Interpretation- Control Flow Analysis
- Data Flow Analysis
- Dependence Analysis
KPRG (KAIST PLLAB Reading Group)
프로그램 검증 및 분석을 위해 많은 사람들이 다양한 방향으로 연구를 하고 있다. 많은 연구 방향만큼이나 용어와 지식들이 넘쳐나고 있다. 앞으로 연구를 해 나아감에 있어서 이미 다른 사람들이 이루어 놓은 지식을 알아두는 것은 매우 중요하다. KPRG에서는 다른 사람들이 해 놓은 연구들을 두루 둘러보면서 지식의 발을 넓히는데 목표를 둔다.
CAVE (C Analyzer/Verifier Environment)
C언어를 대상으로 프로그램을 분석할 때 사용할 수 있는 도구 중 CIL이란 것이 있다. 현재 공개되어 있는 도구 중에서 가장 성능이 우수하다고 생각된다. CAVE는 CIL을 이용하여 하고 싶었던 프로그램 분석 아이디어를 C언어에 대해 적용/구현할 수 있도록 하는 동굴에서의 수련 과정이다.
KPLG (Kwang's and Paek's Lecture note study Group)
이광근 교수님의 프로그래밍 분석 수업과 백윤흥 교수님의 컴파일러 수업의 강의 자료를 가지고 석사 1년차들을 중심으로 진행한 스터디로써 프로그래밍언어 분야의 기본이 되는 지식을 쌓는 것을 목표로 한다.
GCC compiler internal
연구 목적으로 GCC를 활용하기 위해서 GCC의 내부 구현을 살펴보았다.
Java Study Group
Java 언어의 특성 중 프로그램 언어학적으로 중요한 부분 위주로 스터디를 진행하였다.
Entertainment
SIGCOFFEE
매주 화,목마다 열리는 모임으로 숙련된 아마추어 바리스타가 엄선한 원두로 직접 내려주는 깊고 감미로운 향기의 커피를 즐길 수 있다.
SIGBOWL
정기적으로 볼링을 즐기는 모임으로 투명한 점수공개를 통해 회원들의 실력향상과 친목을 도모하고 있다.
글