Jong Yul Kim


    my email address

Hi, I'm a PhD student in the IRT lab. My advisor is Professor Henning Schulzrinne.

My work so far has been on the development of a working prototype for Next Generation 9-1-1 (NG9-1-1), a SIP-based emergency communication system.

I am planning to build on the work to do research on the dependability of VoIP systems.
Regarding dependable distributed systems, I'm interested in three viewpoints:
  1. System design
  2. Techniques for high availability
  3. Applying model checking to protocols

I received an M.S. in Computer Science from Columbia University in May 2006 and a B.S. in Computer Science and Engineering from Seoul National University in February 2005.

CV [pdf]

Candidacy Exam

I recently passed the candidacy exam on "Availability of Network Application Systems" on February 3, 2010. The focus was on the problems that application service providers have to tackle when deploying services on the internet using commodity servers: namely, path failures and server failures. CDNs, and DNS systems are presented as current practices.

[Reading list] [slides]

Projects

Emergency Texting

Using IM and SMS for Emergency Text Communications
Wonsang Song, Jong Yul Kim, Henning Schulzrinne, Piotr Boni, and Michael Armstrong
Principles, Systems, and Applications of IP Telecommunications (IPTComm). July 7~8, 2009. Atlanta, GA.
[pdf][slides]
Emergency Text Messaging using SIP MESSAGE
Jong Yul Kim, Wonsang Song, Henning Schulzrinne, Piotr Boni, and Michael Armstrong
Internet-Draft, draft-kim-ecrit-text-00, November 2009.
[draft]

USDOT NG9-1-1 Proof-of-Concept System

The Next Generation 9-1-1 Proof-Of-Concept System
Jong Yul Kim, Wonsang Song, and Henning Schulzrinne
SIGCOMM'08 (Demo Session). August 17-22, 2008. Seattle, WA.
[pdf][slides]

NG9-1-1 Prototype Development

An Enhanced VoIP Emergency Services Prototype
Jong Yul Kim, Wonsang Song, and Henning Schulzrinne
Information Systems for Crisis Response and Management (ISCRAM). May 13-17, 2006. Newark, NJ.
[pdf]

Course Projects

Model checking SIP proxy behavior using PROMELA

Built a PROMELA model of a stateless SIP proxy and a stateful SIP proxy that searches the destination sequentially

COMS E6998.003 Formal Verification of HW and SW Systems, Fall 2009
[report][slides]