Ph.D. Student
Computer Science
School of Engineering
Stanford University
minalee@cs.stanford.edu
Curriculum Vitae [pdf]
Last Updated: 21 Sep 2017
Research Interests
Program Synthesis, Computer-Aided Education, Software Security
Publications
Mina Lee, Sunbeom So, and Hakjoo Oh. 2016. Synthesizing regular expressions from examples for introductory automata assignments. In the GPCE 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Best Paper Award [pdf|code]
* Cited in Synthesizing Highly Expressive SQL Queries from Input-Output Examples
* More details available here
AlphaRegex: automatic synthesizer for regular expressions from examples
Acknowledgement
Kihong Heo, Hakjoo Oh, and Kwangkeun Yi. 2017. Machine-learning-guided selectively unsound static analysis. In the ICSE 2017: Proceedings of the 39th International Conference on Software Engineering. [pdf]
Education
Stanford University
Computer Science
School of Engineering
Ph.D. Student in Computer Science at Stanford University, Starting from September 2017
Korea University
Bachelor of Science in Computer Science and Engineering, Spring 2012 – Spring 2016
Bachelor of Engineering in Software Technology and Enterprise Program (Interdisciplinary Program), Spring 2014 – Spring 2016
Total GPA of 4.39 / 4.5 (98.7 / 100)
Courses: Compiler, Theory of Computation, Data Science, Machine Learning, Information Retrieval, Natural Language Processing, Probability and Random Processes, Computer Network, Database, Computer Graphics, Software Engineering, Software Project Management, Computer System Design, Data Structure, Discrete Mathematics, Logic Design and Experiments, Introduction to Computer Programming, Introduction to Internet Practice, Introduction to Cryptology (Total Number of Credits: 140.0)
Audited Courses: Programming Languages, Programming Language Theory, Program Analysis
University of British Columbia
Computer Science
Exchange Student, Fall 2014 – Spring 2015
Teaching assistant for Basics of Computer Systems in Department of Computer Science, Spring 2015
Total GPA of 88.89 / 100
Courses: Intermediate Algorithm Design and Analysis, Computer Hardware and Operating Systems, Basics of Computer Systems (TA), Internet Computing, Human Computer Interaction Methods, Software Construction, Basic Algorithms and Data Structures, Introduction to Computer Systems
Essay about exchange program at UBC
State University of New York Korea
Software Technology and Enterprise
Summer School, Summer 2014
- Took enterprise-related courses: How to Build a Startup, Marketing for Engineers
- Enhanced my understanding in startups, business, and marketing
Research Experience
Research Intern at Translational Molecular Imaging and Theranostics Laboratory, Graduate School of Convergence Science and Technology at Seoul National University
July 2017 – August 2017 (Summer Internship)
- Participated in projects on deep learning applications in medical imaging
- Predicted progression of Parkinson’s Disease from DaTscan images by using convolutional neural networks
- Harmonized PET quantification by using generative adversarial networks
* Adviser: Professor Hyung-Jun Im
Research Intern at Programming Research Laboratory, Korea University
November 2015 – August 2016
- Led a project on automatic synthesis of regular expressions, won the Gold Prize in the Graduation Project Competition with a poster based on the work
- Participated in projects on program synthesis, static analysis, and machine learning
- Program Synthesis: Synthesized simple regular expressions from examples
- Static Analysis: Reduced false alarms by selectively applying soundness to programs
- Machine Learning: Learned feature programs from results of static analysis
- Gave a poster presentation on synthesizing regular expressions at SPLASH 2016
- Gave a presentation on selective static analysis at SIGPL Winter Workshop 2016
- Took Compilers and audited Programming Languages, Programming Language Theory, Program Analysis courses
- Used OCaml and Coq
* Adviser: Professor Hakjoo Oh
Teaching Experience
Teaching Assistant at the University of British Columbia
January 2015 – April 2015
- Worked for Basics of Computer Systems in the Department of Computer Science
- Covered basic C programming, assembly language (X86-64), pipelined CPU, caching, memory hierarchy, virtualization, processes and threads, file systems, and networking
- Ran laboratories for over 50 students twice a week, had office hour every week, answered questions in person and online, marked assignments, and proctored exams
Work Experience
Research and Development Intern at Smart and Innovative Technology
January 2016 – February 2016
- Researched industrial protocols and their specifications for automatic control systems
- Evaluated open source libraries for protocols such as Modbus TCP, OPC UA, and BACnet
- Developed prototypes for networking simulation using Java for development, MariaDB and MyBatis for database management, and Maven for project management
Software Developer Intern at Trap Danmark
June 2015 – August 2015
- Built up digital strategy for national Danish topographic encyclopedia
- Designed interactive UI tailored for map-related features using Mapbox API
- Developed Android application for prototyping and suggested markup language
- Used HTML, CSS, JavaScript, jQuery, Ajax, PHP and Java for development and Editplus and Eclipse for development tools
Application ‘Trap Danmark’
* Reference letter from Trap Danmark
Software Developer (Contract) at Korea Forest Service
May 2014 – June 2014
- Developed an Android application showcasing wilderness lodges in Korea and its administrative console for maintenance
- Led a project throughout initiation, planning, execution, and closure
- Had official meetings and presentation, analyzed similar applications, created contents, designed UI/UX, developed the application, ran usability tests, and made administrative console
- Learned project management, web programming, communication and documentation skills
- Used HTML, CSS, JavaScript, jQuery, Ajax, PHP, and Java for development and Editplus and Eclipse for development tools
Application ‘사립자연휴양림’
Software Developer (Contract) at Korea University
July 2014 – August 2014
- Developed an Android application and its administrative console for mentoring system in College of Medicine at Korea University
- Implemented various functionalities: automatically re-sizing images on server, support for excel files to import/export students information, quick access to reports, statistics derived from existing data, etc.
- Developed as a hybrid application using PhoneGap for better performance of hardware-supported functionalities such as taking pictures with camera, retrieving pictures from gallery, recording audio, etc.
- Learned project management and how to deal with constantly changing requirements
Honors and Awards
Graduation project competition at Korea University
- Best Paper Award, Generative Programming: Concepts and Experiences (GPCE) (2016)
- Gold Prize in Graduation Project Competition, Korea University (2016)
- Presented a poster based on the paper ‘Synthesizing Regular Expressions from Examples for Introductory Automata Assignments’
- Hosted by the Department of Computer Science and Engineering and sponsored by Naver.
- Dean’s List, Korea University (2016)
- Semester High Honors, Korea University (2012, 2013, 2015, 2016)
- Semester Highest Honors, Korea University (2013)
Scholarships
KFAS Scholarship Award Ceremony
- Doctoral Study Abroad Scholarship, Korea Foundation for Advanced Studies (From Fall 2017 to Summer 2022, expected)
- This program was established in 1974 to support talented young students to pursue and successfully complete their doctorates at leading overseas research universities
- Scholarship for PLMW@PLDI 2016, PLDI (June 2016)
- This scholarship supports qualified students to attend the 2016 ACM SIGPLAN Programming Languages Mentoring Workshop at the Conference on Programming Language Design and Implementation [report]
- National Science and Engineering Scholarship, Korea Student Aid Foundation (Spring 2015 – Spring 2016)
- This scholarship supports undergraduates with strong academic performance in science and engineering, with the purpose of developing future leaders in those fields.
- Merit scholarships with aids of full tuition and fees
- Study Scholarships, Korea University (Spring 2013, Fall 2014)
- National Scholarships, Korea Student Aid Foundation (Fall 2013 – Fall 2014)
- Venture Internship Program Scholarships, Korea University (Fall 2013)
- This scholarship supports students for Silicon Valley trip to visit Google, Microsoft, Intel, Dropbox, KOTRA, Altos Ventures, Ooyala, Flow State Media, Plug and Play, Proof Ventures, etc.
- Honors Scholarships, Korea University (Fall 2013)
- This scholarship is awarded to students with outstanding academic achievement
- Collegiate Honors, Korea University (Spring 2013)
- This scholarship is awarded to a student in the first place in Department of Computer Science and Engineering
- Best Honors Scholarships, Korea University (Fall 2012)
- This scholarship is awarded to a freshman in the first place in Department of Computer Science and Engineering
- Academic Excellence Scholarship for Freshmen, Korea University (Spring 2012)
- This scholarship is awarded to freshmen with outstanding academic records
Silicon Valley trip in 2014
Technical Skills
Advanced C, Java, HTML, CSS, PHP, JavaScript, jQuery, Ajax
Moderate OCaml, Python, Assembly Language (X86-64), Android
Novice Coq
Language Proficiency
Fluent in English and Native in Korean
New GRE Verbal (161, 88%), Quantitative (170, 97%), Writing (4.0, 59%)
IBT TOEFL 114 (Reading: 28, Listening: 30, Speaking: 26, Writing: 30)
Extracurricular Activities
Korea University Buddy Assistants
September 2013 – February 2014
- Taught Korean and learned English by participating in language exchange programs
- Helped exchange students adjust to Korean culture and campus life
- Organized and participated in various activities and events such as welcoming party, weekly dinners, monthly field trips, and international student festival
Korea University Institute of Computer Security
March 2012 – December 2013
- Taught C language to freshmen in Computer Science for a semester
- Gave lectures and made assignments with own material on weekly basis
- Participated in study groups for web hacking and system hacking
Projects
Paper Reading Assistant, June 2016 [report]
Recommended specific sentences in a paper to read by ranking sentences. Suggested similar papers based on nearest neighbor search and clustered them using word2vec/doc2ved. Visualized keywords with WordCloud.
Data Science, Korea University
Dialog System for Wikipedia, June 2016
Built a dialog system for Wikipedia using Wikipedia API and Wit.ai. Extracted keywords from users’ utterances in natural language, performed search with keywords, parsed and handled valid/invalid responses, and returned necessary results to users.
Natural Language Processing, Korea University
Editor, April 2016
Made a simple text editor with assembly language. Supported ASCII characters with some special keys such as Insert, Delete, and Esc as well as arrow keys to navigate text within the editor program.
Computer System Design, Korea University
Compiler for C–, November 2015
Built a front-end and a middle-end of a toy compiler by implementing a lexer, parser, translator, and optimizer for the given source language and target language definition, using OCaml.
Compiler, Korea University
Continuous Speech Recognizer, November 2015
Implemented Viterbi algorithm for continuous speech recognition as well as constructing hidden Markov model (HMM) for acoustic model probability with bigram for language model probability; an input speech is given as a vector sequence to be parsed.
Machine Learning, Korea University
Graphify Facebook, December 2015
Prototyped a system that explores the structure of one’s friend network on Facebook by constructing a graph with people as nodes and relationship (being friends on Facebook) as edges. Computed popularity and familiarity between two people by running various algorithms: degree centrality, closeness centrality, and betweenness centrality as well as visualizing the graph, using D3.js and vis.js.
Information Retrieval, Korea University
Web Proxy Server, March 2015
Built a simple proxy server which parses HTTP requests, filters hosts to block websites, sets up connection to machine identified by hosts, forwards the requests to hosts, caches responses, handles multiple clients with threads, etc. using Unix socket API in C.
Internet Computing, University of British Columbia
FAT Information, March 2015
Made a program in C, which interprets images of FAT file systems and prints out general information about the file system, directory entries, and sub-directories.
Computer Hardware and Operating Systems, University of British Columbia
Streaming Video, February 2015
Implemented a client part of a streaming video, which communicates with server using Real-Time Streaming Protocol(RTSP) and receives video data using Real-Time Transfer Protocol (RTP), and then measured quality of streaming based on packet loss rate, out-of-order packet rate, frame rate, etc.
Internet Computing, University of British Columbia
FTP Client, January 2015
Implemented basic FTP client functionalities such as open, user, cd, dir, get, put, etc. as well as handling errors in Java.
Internet Computing, University of British Columbia
Disassembler, January 2015
Made a disassembler which reads binary data and manipulates raw bytes to produce the corresponding assembly instructions.
Computer Hardware and Operating Systems, University of British Columbia
Course Registration System, Fall 2014
Redesigned SSC Course Registration system by developing medium fidelity semi-functional prototype and performing cognitive walkthrough, and wrote usability study report with a focus on the usability and user experience of the interface.
Introduction to Human Computer Interaction Methods, University of British Columbia
Christmas Tree, Fall 2013 [demo]
Created Christmas tree using fractal implemented with C++ and OpenGL.
Computer Graphics, Korea University
Testing a Program with JUnit, Fall 2013
Tested Jajuk which is an open source software that organizes and plays music. Made test cases and test codes with JUnit and wrote coverage report and bug report.
Software Engineering, Korea University
Software Requirement Specification, Fall 2013
Wrote up over 50-page-long Software Requirements Specification for a PC Cafe Management System to develop following IEEE STD 830. Made user cases, sequence diagrams, state diagrams, etc. of UML.
Software Engineering, Korea University
Client-side Socket Programming, Fall 2013
Implement a client-side (half-duplex) chat program with BSD (Berkeley Software Distribution) socket programming API.
Computer Network, Korea University
