프로그래밍 시스템 연구실은 소프트웨어의 품질과 개발 생산성을 극대화하기 위한 첨단 프로그래밍 언어 및 시스템 기술을 연구합니다. 본 연구실은 프로그램 합성, 정적 분석, 소프트웨어 품질 관리, 프로그램 최적화 등 다양한 분야에서 세계적인 수준의 연구를 수행하고 있습니다. 특히, 사용자의 요구사항이나 입출력 예제를 바탕으로 자동으로 프로그램을 생성하는 프로그램 합성 기술, 그리고 소스 코드의 오류와 보안 취약점을 사전에 탐지하는 정적 분석 기술에 중점을 두고 있습니다. 연구실에서는 구문 유도 합성, 예제 기반 합성, 확률 모델을 활용한 탐색 가속화, 재귀호출 함수 합성, 신경-기호적 합성 등 다양한 프로그램 합성 기법을 개발하고 있습니다. 또한, 데이터플로우 분석, 포인터 분석, 타입 시스템, 추상 해석 등 정적 분석의 이론적 기반을 바탕으로, 대규모 소프트웨어의 분석 효율성과 정확도를 높이기 위한 혁신적인 알고리즘과 도구를 연구하고 있습니다. 클라우드 환경에서의 안전한 분석, 암호화된 코드 분석 등 보안성을 강화한 분석 프로토콜도 중요한 연구 주제입니다. 이와 더불어, 프로그램 합성과 분석 기술을 융합하여 프로그램의 성능 최적화와 보안성 강화를 위한 연구도 활발히 이루어지고 있습니다. 예를 들어, 동형암호 회로의 최적화, 난독화된 프로그램의 역난독화, 프로그램 디블로팅, 자동화된 테스트 케이스 생성 등 다양한 응용 분야에서 실질적인 성과를 내고 있습니다. 이러한 연구는 실제 상용 소프트웨어 개발 및 유지보수, 보안 분석, 교육 등 다양한 현장에서 활용되고 있습니다. 연구실은 국내외 유수 학회 및 저널에 다수의 논문을 발표하고 있으며, 관련 특허와 소프트웨어 도구도 활발히 개발하고 있습니다. 또한, 대형 언어 모델을 활용한 차세대 프로그램 합성, 자동화된 오류 수정, 고품질 코드 생성 등 미래 소프트웨어 개발의 핵심 기술을 선도하고 있습니다. 프로그래밍 시스템 연구실은 앞으로도 소프트웨어 개발의 혁신을 이끌어갈 창의적이고 도전적인 연구를 지속할 예정입니다. 첨단 이론과 실용적 응용을 결합하여, 안전하고 효율적이며 신뢰할 수 있는 소프트웨어 개발 환경을 구현하는 데 기여하고자 합니다.