Ph.D. Candidate, PLRG Lab.

Computer Science Department

Korea Advanced Institute of Science and Technology

Research Interests

• Scalable, accurate, and practical analyses

• Proof assistants for programming languages and program analyses

• Static analysis for multi-language programs

• Practical applications with program analysis

Education

Ph.D. in Computer Science, March 2016 - Present

Computer Science Department, KAIST

MS in Computer Science, March 2014 - February 2016

Computer Science Department, KAIST

BS in Computer Science, February 2010 - February 2014

Computer Science Department, KAIST

Experience

Research Assistant, September 2014 - June 2015

Oracle Labs Australia, Brisbane, QLD

Publications

• Yi Lu, Sora Bae, Padmanabhan Krishnan, and Raghavendra V.R, “Inference of Security-Sensitive Entities in Libraries,” Security and Privacy Workshops (SPW), May 2017.

• Sora Bae, Joonyoung Park, and Sukyoung Ryu, “Partition-based Coverage Metrics and Type-guided Search in Concolic Testing for JavaScript Applications,” Proceedings of the 5th Workshop on Formal Methods in Software Engineering (FormaliSE), May 2017.

• Sora Bae, “Concolic Testing with Static Analysis for JavaScript Applications,” Proceedings of the 13th International Conference on Modularity, April 2014. ACM Student Research Competition 2nd.