Skip to main content
Lab directory

Concurrency Lab

Concurrency Lab

KAIST · School of Computing

Information sourcenot verified yet

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

Professor

Prof. 양홍석

Professor's page · publications

About

양홍석 교수는 2017년 7월부터 KAIST 전산학부 정교수로 재직 중이다. 프로그래밍 언어(PL)와 머신러닝(ML)의 경계에서 발생하는 문제, 특히 확률적 프로그래밍과 확률적 추론, 논리 기반 PL 기법과 데이터 기반 ML 기법을 결합한 하이브리드 프로그램 분석을 연구한다. 분리 논리(separation logic) 자동화 연구로 2016 CAV Award, 2019·2023 POPL Most Influential Paper Award를 수상했다.

Research keywords

Concurrent ProgrammingProgram Verification

Selected publications

  • Optimising Density Computations in Probabilistic Programs via Automatic Loop VectorisationACM POPL · 2026
  • Semantics of Integrating and Differentiating SingularitiesACM PLDI · 2025
  • Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal SetsACM POPL · 2024
  • An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural NetworkICML · 2024
  • Smoothness Analysis for Probabilistic Program with Application to Optimised Variational InferenceACM POPL · 2023

Other labs in this department

See all labs in this department