Sungjun Kim | Publications

Sungjun Kim | Publications

Sungjun Kim

Ph.D Student
Department of Computer Science
Columbia University
skim@cs.columbia.edu

Home | Publications | Courseworks | Activities | Personal | Contact

Publications

2009:

- Sungjun Kim, Hiren D. Patel and Stephen A. Edwards.
Using a Model Checker to Determine Worst-case Execution Time.
Computer Science Technical Report CUCS-038-09, Columbia University.

- Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel and Martin Schoeberl.
   A Disruptive Computer Design Idea: Architectures with Repeatable Timing.
   In Proceedings of IEEE International Conference Computer Design (ICCD).
   Lake Tahoe, California, USA, October 4-7, 2009.

- Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Hiren D. Patel and Martin Schoeberl.
   Reconciling Repeatable Timing with Pipelining and Memory Hierarchy.
   In Proceedings of the Workshop on Reconciling Performance with Predictability (RePP).
   Grenoble, France, October 15, 2009.

2008:

- Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards and Edward A. Lee.
   Predictable Programming on a Precision Timed Architecture.
   In Proceedings of Compilers, Architectures, and Synthesis of Embedded Systems (CASES).
   Atlanta, Georgia, USA, October 19-24, 2008.