배성경
SungGyeong Bae
Ph.D. Student, PLRG Lab.
Computer Science Department
Korea Advanced Institute of Science and Technology
Research Interests
Proof assistants and automated proof
Formal specification of JavaScript
Design and teaching of introductory computer science curricula
Education
Ph.D. in Computer Science, March 2015 - Present
Computer Science Department, KAIST
MS in Computer Science, March 2013 - February 2015
Computer Science Department, KAIST
BS in Computer Science, Feburary 2009 - Feburary 2013
(Double Major in Mathematical Science)
Computer Science Department, KAIST
Publications
International Publications
SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu, “SAFE_WAPI: Web API Misuse Detector for Web Applications,” Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), November 2014.
Domestic Publications
배성경, 류석영, “Coq을 이용한 이분 그래프의 표현 (Representation of Bipartite Graphs in Coq)”, in 한국정보과학회 2011 가을 학술발표논문집 제 38권 제 2호, 2011, pp. 361-364.
Presentations
SungGyeong Bae, Hyunghun Cho, and Sukyoung Ryu, “Web API Misuse Detection in JavaScript Web Applications”, in 11th Asian Symposium on Programming Languages and Systems (APLAS13, Poster session), 2013