[korean]

Programming Research Laboratory

Research Areas

We research on fundamental technologies for safe and reliable software:

• Software Analysis 소프트웨어 자동 분석
• Software Synthesis 소프트웨어 자동 합성
• Software Repair 소프트웨어 자동 수정
• Software Security 소프트웨어 보안 취약점 검출

Introduction to our research

• Data-Driven Static Analysis (2017.09)
• Static Analysis Research at Korea University (2016.06)
• 고성능 정적 프로그램 분석 기법 (정보과학회지 34권 3호)
• 프로그램 자동 생성 기술 (정보과학회 뉴스레터)
• 학부 졸업프로젝트 주제들
• 함수형 프로그램 자동수정 (2017.06)
• 명령형 프로그램 자동합성 (2016.12)
• 정규표현식 자동합성 (2016.06)
• Enough to check Collatz Conjecture for 16k+11

Software Releases

• Sparrow: A static analyzer for C programs (Commercial product)
  
• Simpl: A program synthesizer for imperative programs
• AlphaRegex: A regular expression synthesizer

Research Projects

• Data-Driven Program Analysis



• Automatic Program Synthesis and Repair



• Selective X-Sensitivity Framework

• Global Sparse Analysis Framework