Myoungkyu Song
Phone: +1-540-***-****
E-Mail*: **********@******.***
Software Engineering Laboratory
E-Mail2: **********@*****.***
The Electrical and Computer Engineering Department
University of Texas at Austin 201 E 24th Street, Austin, TX 78712-0240
EDUCATION
Virginia
Tech
Computer
Science
Ph.D.
Fall
2009
–
Spring
2013
Virginia
Tech
Computer
Science
M.S.
Fall
2007
–
Spring
2009
Chonbuk
National
University
Computer
Engineering
B.S.
Spring
1995
–
Fall
20011
CURRENT
POSITION
University
of
Texas
at
Austin
Postdoctoral
Research
Fellow
July
2013
–
Present
ACADEMIC
&
INDUSTRIAL
EXPERIENCE
Postdoctoral
Research
Fellow,
Software
Engineering
Lab,
UT
Austin
(2013.07
–
present)
Technical
skills:
Java
(more
than
7
years
development
experience),
Eclipse
plugin
development
toolkit,
Zest
visualization
toolkit,
Eclipse
IDE,
and
SVN.
Used
LATEX
to
document
technical
research
papers.
Project:
A
Bug-
Finding
Tool
Development
Developed
a
program
anomaly
detection
tool
for
Java
programs
by
applying
program
analysis
and
•
code
matching/differencing
technique.
Research
Assistant,
Software
Innovations
Lab,
Virginia
Tech
(2008.10
–
2013.05)
Technical
skills:
Java,
Eclipse
plugin
development
toolkit,
JavaScript,
JSON,
Ajax,
XML,
HTML,
Hibernate,
JDO,
J2EE,
JBoss
App
Server,
Eclipse
IDE,
and
SVN.
Used
LATEX
to
document
technical
research
papers.
Project:
The
Debugging
Tool
Development
for
Transformed
Bytecode
in
Java
programs
Developed
a
debugging
tool
that
enables
symbolic
debugging
for
Java
programs
whose
bytecode
has
•
been
transparently
enhanced2.
Project:
The
Automated
Code
Translator
Development
Developed
a
tool
to
automatically
reusing
multiple
Java
and
C++
libraries
across
different
languages3.
•
Project:
The
Metadata
Bug
Finding
Tool
Development
Developed
a
new
abstraction
for
expressing
the
relations
between
the
metadata
(e.g.,
XML
and
Java
5
•
annotations)
and
the
source
code
of
a
Java
program.
I
developed
a
tool
for
inferring
likely
metadata
invariants
from
relations
between
metadata
and
Java
source
code
to
check
metadata
invariants
on
evolving
Java
programs4.
Project:
The
Software
Development
Tool
for
JavaScript
Developed
a
tool
for
enhancing
JavaScript
programs
declaratively,
which
enables
JavaScript
•
programming
language
to
use
the
metadata
infrastructure
(Java
5
annotations)
of
Java
language5.
Software
Engineer,
LG
Electronics
Co.
Inc.,
Seoul,
South
Korea
(2004.06
–
2007.07)
Technical
skills:
C,
JavaScript
(for
writing
unit
test
cases),
Cygwin,
Trace32
JTAG
debugger
(a
microprocessor
development
tool),
Visual
Studio
IDE,
bug/issue
tracker,
and
IBM
Rational
ClearCase.
Project:
Software
development
for
CDMA
&
3G
Mobile
Feature
Phones
Developed
applications
for
interactive
multi-
media
contents6
on
idle
screen
in
mobile
phones.
•
1 Jan 1996 – March 1998: performed military service as a signal corpsman and completed as a sergeant.
2 International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2009)
3 International Conference on Aspect-Oriented Software Development (AOSD 2010, 2012)
4 International Conference on Software Engineering (ICSE 2012)
5 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines,
Languages, and Tools (PPPJ 2013),
Page 2
Developed
applications
for
data
synchronization7
between
mobile
phones
and
computers.
•
Developed
idle
process
application8
for
managing
and
monitoring
other
applications.
•
Developed
data
service
application
using
TCP/IP
socket.
•
Developed
UI
application
for
dial
editor,
including
Adobe
Flash
dial
editor.
•
Developed
power
on/off
application
for
initiating
and
terminating
resources.
•
Developed
UI
applications
for
security
configuration
on
an
USIM9
card.
•
Software
Engineer,
Samsung
Electronics
Co.
Inc.,
Suwon,
South
Korea
(2002.01
–
2004.05)
Technical
skills:
C/C++,
JNI
(Java
Native
Interface),
UNIX,
Versant
Object-
Oriented
Database,
bug/issue
tracker,
and
IBM
Rational
ClearCase.
Project:
Software
development
for
WCDMA
&
Soft-
Switch
Network
System
Developed
management
applications
for
an
Operation,
Administration,
Maintenance,
and
Provision
•
(OAMP)
on
WCDMA10
network
system
–
creating,
deleting,
starting,
terminating,
and
restarting
network
elements,
dynamically
upgrading
software,
and
monitoring
and
generating
fault
alarm.
Developed
management
applications
using
the
SNMP11
protocol
on
Soft-
Switch
network
system
–
•
designing
SNMP
operations
(GET,
GETNEXT,
GETBULK,
TRAP,
SET),
and
retrieving
and
updating
configuration
information
on
network
devices.
INTERNSHIP
EXPERIENCE
Research
Assistant,
NEC
Laboratories
America,
Inc.,
Princeton,
NJ
(2012.01
–
2012.04)
Technical skills: Java, Eclipse IDE, J2EE, JBoss App Server, Apache Web Server, and SVN.
Project:
a
monitoring
and
debugging
tool
Developed
a
monitoring
and
debugging
tool
for
Java
applications
running
on
large
system
by
•
applying
program
analysis
(IBM
WALA
program
analysis
framework),
and
bytecode
instrumentation.
Software
Engineer,
AVID
LLC
Inc.,
Blacksburg,
VA
(2008.05
–
2008.08)
Technical skills: C++,
Qt
framework,
Visual
Studio
IDE,
and
SVN.
Project:
an
air
vehicle
optimization
software
tool
Developed
a
user
interface
application
to
provide
an
optimization
software
tool
for
designing
and
•
modeling
air
vehicles.
Software
Engineer,
American
Express
Card
Inc.,
South
Korea
(2001.05
–
2001.08)
Technical
skills:
Java,
JDBC
(Java
Database
Connectivity),
JSP
(JavaServer
Pages),
Java
Servlet,
HTML,
JavaScript,
UNIX,
Oracle,
Tomcat,
and
iPlanet
App
Server.
Used
three-
tier
architecture.
Project:
web
site
development
for
a
credit
card
customer
Developed
web
applications
for
customer
management
for
online
credit
card
website.
•
AWARDS
Graduate
Research
Assistantship
(Fall
2008
–
Spring
2013)
•
Graduate
Teaching
Assistantship
(Fall
2011)
•
Korean
Computer
Scientist
and
Engineers
Association
in
America,
KOCSEA
Scholarship
(2011)
•
Student
Forum
Studentships
Award,
International
Conference
on
AOSD12
(2010)
•
Animation-contents that can receive users’ key events as input
6
Audio, video, image files, users contacts, and SMS resources
7
8 It is a monitoring and management program that provides information about the processes running on a system, as
well as the general status of the system.
9 Universal Subscriber Identity Module
10 Wideband Code Division Multiple Access: an air interface standard in 3G mobile telecommunications networks
11 Simple Network Management Protocol: an Internet-standard protocol for managing networks devices
Revised May 2014
Page 3
SIGPLAN13
Student
Grants,
The
SIGPLAN
Professional
Activities
Committee
(2009,
2010)
•
Conference
Travel
fund
Grants,
The
Dept.
of
Computer
Science
@
Virginia
Tech
(2009
–
2012)
•
Fellowship,
Brain
Korea
2114,
Chonbuk
National
University
(1998,
2000,
and
2001)
•
CERTIFICATION
Microsoft
Certified
Professional
System
Engineer
(MCSE
ID:
1796288),
Microsoft
(2000)
CITIZENSHIP
Citizenship: South Korea
Visa Status: University H-1B Visa
The International Conference on Aspect-Oriented Software Development
12
The Association for Computing Machinery’s Special Interest Group on programming languages
13
14 A human resource development program initiated by Korea’s Ministry of Education
Revised May 2014