배소라

Sora Bae

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.