Update intro

Author: jeehoonkang

_data/papers.yml

@@ -2,7 +2,8 @@
   authors: [
     "jeehoon.kang",
   ]
-  venue: "Department of Computer Science and Engineering, Seoul National University, Korea (**Ph.D. Dissertation**)"
+  venue: "Department of Computer Science and Engineering, Seoul National University, Korea"
+  venue_short: "Ph.D. Dissertation"
   year: 2019
 
   copy_local: https://sf.snu.ac.kr/jeehoon.kang/thesis/jeehoon.kang.phd.thesis.pdf
@@ -16,7 +17,8 @@
     "Sung-Hwan Lee",
     "Chung-Kil Hur",
   ]
-  venue: "ACM SIGPLAN conference on Programming Languages Design and Implementation (**PLDI**)"
+  venue: "ACM SIGPLAN conference on Programming Languages Design and Implementation"
+  venue_short: "PLDI"
   year: 2019
   status: conditionally accepted
 
@@ -38,7 +40,8 @@
     "Kwangkeun Yi",
   ]
   cofirst_authors: [1, 2, 3]
-  venue: "ACM SIGPLAN conference on Programming Languages Design and Implementation (**PLDI**)"
+  venue: "ACM SIGPLAN conference on Programming Languages Design and Implementation"
+  venue_short: "PLDI"
   year: 2018
 
   copy_local: https://sf.snu.ac.kr/publications/crellvm.pdf
@@ -53,7 +56,8 @@
     "Chung-Kil Hur",
     "Derek Dreyer",
   ]
-  venue: "ACM SIGPLAN conference on Programming Languages Design and Implementation (**PLDI**)"
+  venue: "ACM SIGPLAN conference on Programming Languages Design and Implementation"
+  venue_short: "PLDI"
   year: 2017
   status: "**Distinguished Paper Award**"
 
@@ -69,7 +73,8 @@
     "Viktor Vafeiadis",
     "Derek Dreyer",
   ]
-  venue: "ACM SIGPLAN Symposium on Principles of Programming Languages (**POPL**)"
+  venue: "ACM SIGPLAN Symposium on Principles of Programming Languages"
+  venue_short: "POPL"
   year: 2017
 
   copy_local: https://sf.snu.ac.kr/publications/promising.pdf
@@ -84,7 +89,8 @@
     "Derek Dreyer",
     "Viktor Vafeiadis",
   ]
-  venue: "ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (**POPL**)"
+  venue: "ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"
+  venue_short: "POPL"
   year: 2016
 
   copy_local: https://sf.snu.ac.kr/publications/sepcompcert.pdf
@@ -100,7 +106,8 @@
     "Steve Zdancewic",
     "Viktor Vafeiadis",
   ]
-  venue: "ACM SIGPLAN Conference on Programming Languages Design and Implementation (**PLDI**)"
+  venue: "ACM SIGPLAN Conference on Programming Languages Design and Implementation"
+  venue_short: "PLDI"
   year: 2015
 
   copy_local: https://sf.snu.ac.kr/publications/intptrcast.pdf
@@ -117,7 +124,8 @@
     "jeehoon.kang",
     "Kwangkeun Yi",
   ]
-  venue: "ACM Transactions on Programming Languages and Systems Volume 36, Issue 3 (**TOPLAS**)"
+  venue: "ACM Transactions on Programming Languages and Systems Volume 36, Issue 3"
+  venue_short: "TOPLAS"
   year: 2014
 
   copy_publisher: https://dl.acm.org/citation.cfm?id=2590811

_includes/person_contact.md

@@ -0,0 +1,10 @@
+{%- assign person_id = include.person_id %}
+{%- assign person = site.data.people | where:"id",person_id | sample %}
+
+
+#### Contact
+
+- Email: [{{ person.id }}@kaist.ac.kr](mailto:{{ person.id }}@kaist.ac.kr)
+- GitHub: [{{ person.github }}](https://github.com/{{ person.github }})
+- [DBLP]({{ person.dblp }}) [Google Scholar]({{ person.google_scholar }})
+- Place: {{ person.place }}

_includes/person_education.md

@@ -0,0 +1,9 @@
+{%- assign person_id = include.person_id %}
+{%- assign person = site.data.people | where:"id",person_id | sample %}
+
+
+#### Education
+
+{% for education in person.educations %}
+- {{ education }}
+{% endfor %}

_includes/person_header.md

@@ -2,20 +2,4 @@
 {%- assign person = site.data.people | where:"id",person_id | sample %}
 
 
-## <a name="{{ person.id }}"></a> {{ person.name }} / {{ person.korean_name }} ({{ person.title }})
-
-
-#### Contact <img align="right" style="width: 25%;" src="{{ site.baseurl}}/assets/{{ person.id }}.jpg" alt="{{ person.name }}">
-
-
-- Email: [{{ person.id }}@kaist.ac.kr](mailto:{{ person.id }}@kaist.ac.kr)
-- GitHub: [{{ person.github }}](https://github.com/{{ person.github }})
-- [DBLP]({{ person.dblp }}) [Google Scholar]({{ person.google_scholar }})
-- Place: {{ person.place }}
-
-
-#### Education
-
-{% for education in person.educations %}
-- {{ education }}
-{% endfor %}
+## <a name="{{ person.id }}"></a> {{ person.name }} / {{ person.korean_name }} ({{ person.title }}) <img align="right" style="width: 25%;" src="{{ site.baseurl}}/assets/{{ person.id }}.jpg" alt="{{ person.name }}">

_includes/publications.md

@@ -18,7 +18,7 @@
 
   {{ author_links | join: ", " }}{% if paper.cofirst_authors %} (\*: co-first authors in alphabetical order){% endif %}.
 
-  {{ paper.venue }}, **{{ paper.year }}**{% if paper.status %} ({{ paper.status }}){% endif %}.
+  **({% if paper.venue_short %}{{ paper.venue_short }} {% endif %}{{ paper.year }})** {{ paper.venue }}{% if paper.status %} ({{ paper.status }}){% endif %}.
 
   {% if paper.copy_local %}\[[paper]({{ paper.copy_local }})\]{% endif %}
   {% if paper.website %}\[[project page]({{ paper.website }})\]{% endif %}

index.md

@@ -10,11 +10,13 @@ excerpt: "Where theory meets practice"
 {% assign pi_url = pi_url | strip %}
 
 Welcome to Concurrency and Parallelism Laboratory at [KAIST](https://www.kaist.ac.kr) [School of
-Computing](https://cs.kaist.ac.kr). We are designing and verifying concurrent and parallel software
-and hardware that greatly improve performance and significantly reduce power consumption.
+Computing](https://cs.kaist.ac.kr). We are designing concurrent and parallel systems that greatly
+improve performance and significantly reduce power consumption, thereby serving as the basis for the
+next-generation massive data processing.
 
-**We are actively recruiting motivated students of all levels interested in concurrency,
-parallelism, verification, and compiler.** If interested, please send an email to {{ pi_url }}.
+**We are actively recruiting motivated students of all levels interested in designing concurrent and
+parallel systems,** ranging from (hardware) caches to garbage collectors to deep learning
+accelerators.  If interested, please send an email to {{ pi_url }}.
 
 
 
@@ -47,10 +49,11 @@ parallelism, verification, and compiler.** If interested, please send an email t
 
 ## Research
 
-We are designing and verifying concurrent and parallel software and hardware that greatly improve
-performance and significantly reduce power consumption. Our general strategy in attacking this goal
-is to discover the underlying principles and to develop formal methods. Specifically, we are working
-on or going to work on the following projects:
+We are designing concurrent and parallel systems that greatly improve performance and significantly
+reduce power consumption, thereby serving as the basis for the next-generation massive data
+processing. Our general strategy in attacking this goal is (1) to holistically understand computer
+systems from microarchitectures to algorithms, and (2) to develop abstraction layers that realize
+the intrinsic parallelism of the workloads. Specifically, we are working on the following projects:
 
 - **Designing concurrent systems**: It is difficult to develop efficient and yet safe concurrent
   software/hardware, because efficient systems should allow concurrent accesses from multiple

jeehoon.kang.md

@@ -7,6 +7,16 @@ excerpt: "Jeehoon Kang's website"
 
 {% include person_header.md person_id=person_id %}
 
+I am an Assistant Professor at [KAIST School of Computing](https://cs.kaist.ac.kr) and the Principal
+Investigator of [Concurrency and Parallelism Laboratory](https://cp.kaist.ac.kr). I received my
+Ph.D. from Seoul National University under the supervision of [Prof. Chung-Kil
+Hur](https://sf.snu.ac.kr/gil.hur). I am interested in concurrency and parallelism broadly
+construed, from microarchitectures to programming languages to algorithms, since concurrency and
+parallelism are at the heart of massive data processing.
+
+{% include person_contact.md person_id=person_id %}
+{% include person_education.md person_id=person_id %}
+
 
 #### Experiences