번개 발표 프로그램 1

이름	발표 제목	소속
홍재민	Translating C Mutex to Rust Mutex	KAIST
박지희	안전한 프로그램 최적화 프레임워크들에 대한 조사	KAIST
권승완	TurboTV: Translation Validation for Turbofan	KAIST
이제형	사용 시나리오 기반 안드로이드 데모 앱 자동 생성	한양대학교
조한결	재귀호출이 있는 프로그램 합성하기	한양대학교
Mojgan Kohonestani	Datalog Static Analysis in Secrecy	한양대학교
지수환	RepCoder: An automated Program Repair Framework for Probability-Based Program Synthesis	강원대학교
류근열	Model checking of signal temporal logic	포항공과대학교
이재훈	Formal Analysis of Virtually Synchronous CPS using HybridSynchAADL	포항공과대학교
전민석	A programming language-based approach to machine learning on graphs	고려대학교
조민기	Conditional Contextual Refinement	서울대학교
김훈, 박규연, 이계진, 이도형, 조승한	머신러닝을 위한 동형암호 컴파일러 헷지호그	서울대학교

---

프로그래밍언어연구회