Jong Yul Kim

my email address

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

During my PhD program, I studied and taught in the general area of computer networks. I'm interested in large-scale network applications, and have specialty in Voice-over-IP systems and distributed systems.

Regarding distributed systems, I'm interested in three points of view:

  1. System design and architecture
  2. Properties of the system such as reliability, availability, and scalability
  3. Applying model checking to verify the correctness of protocols

Resume [pdf]
CV [pdf]

Education


Projects


VoIP systems + Cloud computing platforms

Cloud support for latency-sensitive telephony applications
Jong Yul Kim and Henning Schulzrinne
IEEE Conference on Cloud Computing (CloudCom). Dec 2013.
Bristol, UK
[pdf]
SipCloud: Dynamically Scalable SIP Proxies in the Cloud
Jong Yul Kim and Henning Schulzrinne
Principles, Systems, and Applications of IP Telecommunications (IPTComm). Aug 2011.
Chicago, IL.
[pdf]

Evaluation of SIP server clusters

Evaluation Framework for Highly Available and Scalable SIP Server Clusters
Jong Yul Kim, Gregory W. Bond, Eric Cheung, Thomas M. Smith, and Henning Schulzrinne
Principles, Systems, and Applications of IP Telecommunications (IPTComm). Aug 2011.
Chicago, IL.
[pdf]

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). Jul 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). Aug 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 2006.
Newark, NJ.
[pdf]

Teaching



Candidacy Exam


I 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]

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]