#include "common.markdown.include"
#define title Hyeontaek Lim
#define date $Date: 2013/05/16 16:38:04 $

# Hyeontaek Lim

Hyeontaek Lim is a fourth-year Ph.D. student
in [Computer Science Department](http://www.csd.cs.cmu.edu/)
at [Carnegie Mellon University](http://www.cmu.edu/) (as of Spring 2013).
He is advised by [Professor David Andersen](http://www.cs.cmu.edu/~dga/)
and currently supported by [the Facebook Fellowship 2012-2013](https://www.facebook.com/academics/).
He received a B.S. in Computer Science
from [KAIST](http://www.kaist.ac.kr/english/) in 2009.
[CV](cv.pdf)

## Contact

* Email: [(TWO_INITIALS)@cs.cmu.edu](http://www.google.com/recaptcha/mailhide/d?k=01P7AAQqv5ZOCWk-Dmym7KpA==&c=SizC3f7uWDWZw2OJFS1RUw==)
* Office: Gates Building 9023

## Research

* Bin Fan, Dong Zhou, Hyeontaek Lim, Michael Kaminsky, David G. Andersen.<br />
  [When Cycles are Cheap, Some Tables Can Be Huge.](papers/setsep-hotos2013.pdf)<br />
  In *Proceedings of the 14th Workshop on Hot Topics in Operating Systems (HotOS)*, May 2013.
* Hyeontaek Lim, David G. Andersen, and Michael Kaminsky.<br />
  [Practical Batch-Updatable External Hashing with Sorting.](papers/ect-alenex2013.pdf)<br />
  In *Proceedings of Meeting on Algorithm Engineering and Experiments (ALENEX)*, January 2013.
* Dongsu Han, Ashok Anand, Fahad Dogar, Boyan Li, Hyeontaek Lim, Michel Machado, Arvind Mukundan, Wenfei Wu, Aditya Akella, David G. Andersen, John W. Byer, Srinivasan Seshan, and Peter Steenkiste.<br/>
  [XIA: Efficient Support for Evolvable Internetworking.](papers/xia-nsdi2012.pdf)<br/>
  In *Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI),* April 2012.
* Ashok Anand, Fahad Dogar, Dongsu Han, Boyan Li, Hyeontaek Lim, Michel Machado, Wenfei Wu, Aditya Akella, David G. Andersen, John W. Byer, Srinivasan Seshan, and Peter Steenkiste.<br/>
  [XIA: An Architecture for an Evolvable and Trustworthy Internet.](papers/xia-hotnets2011.pdf)<br/>
  In *Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets),* November 2011.
* Hyeontaek Lim, Bin Fan, David G. Andersen, and Michael Kaminsky.<br/>
  [SILT: A Memory-Efficient, High-Performance Key-Value Store.](papers/silt-sosp2011.pdf)<br/>
  In *Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP),* October 2011. \[[source code](https://github.com/silt/silt)\]
* Bin Fan, Hyeontaek Lim, David G. Andersen, and Michael Kaminsky.<br/>
  [Small Cache, Big Effect: Provable Load Balancing for Randomly Partitioned Cluster Services.](papers/loadbal-socc2011.pdf)<br/>
  In *Proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC),* October 2011.
* Hwanju Kim, Hyeontaek Lim, Jinkyu Jeong, Heeseung Jo, Joonwon Lee, and Seungryoul Maeng.<br/>
  [Transparently Bridging Semantic Gap in CPU Management for Virtualized Environments.](http://dx.doi.org/10.1016/j.jpdc.2010.11.005)<br/>
  In *Journal of Parallel and Distributed Computing (JPDC),* Volume 71, Issue 6, Special Issue on Cloud Computing, Pages 758-773, June 2011.
* Hwanju Kim, Hyeontaek Lim, Jinkyu Jeong, Heeseung Jo, and Joonwon Lee.<br/>
  [Task-Aware Virtual Machine Scheduling for I/O Performance.](papers/tavs-vee2009.pdf)<br/>
  In *Proceedings of the 2009 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE),* March 2009.
* [(Google Scholar for full listing)](http://scholar.google.com/citations?user=6MyDVKoAAAAJ)

## Internship

* Summer 2012 [Microsoft Research Redmond](https://research.microsoft.com/en-us/labs/redmond/) with [Srikanth Kandula](https://research.microsoft.com/en-us/um/people/srikanth/) and [Peter Bodik](https://research.microsoft.com/en-us/people/peterb/)

## Coursework

* Fall 2012 15-845 Current Research Issues in Computer Systems
* Spring 2012 [15-829 Special Topics in Software Systems: Memory and Resource-Efficient Big Data Computation](http://piazza.com/class#winter2012/15829) (+)
* Fall 2011 15-845 Current Research Issues in Computer Systems
* Fall 2011 [15-869 Graphics and Imaging Architectures](http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15869-f11/www/) (+)
* Spring 2011 [15-781 Machine Learning](http://www.cs.cmu.edu/~tom/10701_sp11/) (*)
* Spring 2011 15-845 Current Research Issues in Computer Systems
* Fall 2010 [15-744 Computer Networks](http://www.cs.cmu.edu/~srini/15-744/F10/) (*+)
* Fall 2010 15-845 Current Research Issues in Computer Systems
* Fall 2010 [15-853 Algorithms in the Real World](http://www.cs.cmu.edu/afs/cs/project/pscico-guyb/realworld/www/indexF10.html) (+)
* Spring 2010 [15-712 Advanced Operating Systems and Distributed Systems](http://www.cs.cmu.edu/~dga/15-712/S10/) (*)
* Spring 2010 [15-750 Graduate Algorithms](http://www.cs.cmu.edu/afs/cs/academic/class/15750-s10/www/index.html) (*)
* Spring 2010 15-845 Current Research Issues in Computer Systems
* Fall 2009 [15-740 Computer Architecture](http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15740-f09/www/) (*)
* Fall 2009 [15-814 Type Systems for Programming Languages](http://www.cs.cmu.edu/~rwh/courses/typesys/) (*)
* Fall 2009 [15-996 Immigration Course](http://www.cs.cmu.edu/~csd-ic/archive%202009.html)

## Fun stuffs

* [Using Ubuntu in the SCS environment](ubuntu_in_SCS.html)

## External resources

* [CSD-GRAD](http://www.cs.cmu.edu/~csd-grad/)
* [SCSDEAN](http://www.cs.cmu.edu/~scsdean/FacultyPage/Students.html)