Remove TODOs

Author: jeehoonkang

index.md

@@ -3,7 +3,7 @@ layout: page
 feature_text: |
   ## Concurrency and Parallelism Laboratory
   #### @ KAIST School of Computing
-excerpt: "TODO"
+excerpt: "Where theory meets practice"
 ---
 
 {% capture pi_url %}{% include person_link.md person_id="jeehoon.kang" %}{% endcapture %}
@@ -47,32 +47,16 @@ parallelism, verification, and compiler.** If interested, please send an email t
 
 ## Research
 
-<!-- TODO: revive it -->
-<!-- My mission as a computer scientist is to <strong>formally understand</strong> the underlying -->
-<!-- principles of real-world computer systems, thereby <strong>helping programmers</strong> to -->
-<!-- write and reason about those systems.For my Ph.D., I have primarily focused on formally -->
-<!-- understanding non-blocking <strong>concurrent programming</strong>, which is an essential -->
-<!-- ingredient for exploiting <strong>parallelism</strong> and is becoming more and more important -->
-<!-- since the slowdown of Moore's law.In the future, as an independent researcher, I would like -->
-<!-- to apply the understanding of concurrency to building practical verification/analysis tools -->
-<!-- for concurrent programs.I believe my research will have far-reaching impact on the way the -->
-<!-- IT industry develops system software. -->
-
-<!-- I am maintaining <a href="https://github.com/crossbeam-rs"><strong>the Crossbeam -->
-<!-- project</strong></a>, which serves as the <em>de facto</em> standard concurrency library -->
-<!-- for <a href="https://rust-lang.org">the Rust programming language</a>.I am also writing a -->
-<!-- compiler for <strong>Furiosa AI's MadRun deep learning accelerator</strong>. -->
-
-
 We are designing and verifying concurrent and parallel software that fully realizes the performance
-potential offered by hardware. Specifically, we are working on or going to work on the following
-projects:
+potential offered by hardware. 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:
 
 - **Designing concurrent data structures**: It is difficult to develop efficient and yet safe
   concurrent data structures, because efficient data structures should allow concurrent accesses
-  from multiple threads that complicate the reasoning of safety. We are designing "design patterns"
-  for coordinating concurrent accesses, and using the design patterns, developing practical
-  concurrent data structures. For this project, we are using
+  from multiple threads (so-called "non-blocking") that complicate the reasoning of safety. We are
+  designing "design patterns" for coordinating concurrent accesses, and using the design patterns,
+  developing practical concurrent data structures. For this project, we are using
   [Crossbeam](https://github.com/crossbeam-rs/crossbeam), a [Rust](https://www.rust-lang.org)
   concurrency library, as the playground.
 
@@ -96,6 +80,10 @@ projects:
   collaboration with Furiosa AI.
 
 
+## Publications
+
+See the [publications]({{ site.baseurl }}{% link publications.md %}) page.
+
 
 ## Lectures
 

jeehoon.kang.md

@@ -1,6 +1,6 @@
 ---
 layout: page
-excerpt: "TODO"
+excerpt: "Jeehoon Kang's website"
 ---
 
 {% assign person_id = "jeehoon.kang" %}
@@ -12,10 +12,16 @@ excerpt: "TODO"
 
 - Chief Scientist and Founder, Furiosa AI, September, 2017 - current.
 
-- Intern, MPI-SWS, September, 2015 - December, 2015 (advisor: Dr. [Derek Dreyer](https://people.mpi-sws.org/~dreyer/))
+  (topic: deep learning accelerator and its compiler)
+
+- Intern, MPI-SWS, September, 2015 - December, 2015
+
+  (topic: relaxed-memory concurrency, advisor: Dr. [Derek Dreyer](https://people.mpi-sws.org/~dreyer/))
 
 - Software Engineer Intern, Google Korea, June, 2008 – August, 2008.
 
+  (topic: machine translation)
+
 
 #### Publications
 
@@ -27,6 +33,15 @@ See the [publications]({{ site.baseurl }}{% link publications.md %}) page.
 - Co-chair, [2020 ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020)](https://popl20.sigplan.org/) Artifact Evaluation Committee.
 
 
+#### Open Source Contributions
+
+- [Crossbeam](https://github.com/crossbeam-rs/crossbeam): a concurrency library in [Rust](https://www.rust-lang.org)
+
+- [Crellvm](https://sf.snu.ac.kr/crellvm): a verified credible compilation framework for LLVM
+
+- [SepCompCert](https://sf.snu.ac.kr/sepcompcert): verification of separate compilation of CompCert
+
+
 #### Invited Talks
 
 - iRRAM-Coq: Fearless Verification of Exact Real Arithmetic Programs.

publications.md

@@ -1,6 +1,6 @@
 ---
 title: Publications
-excerpt: "TODO"
+excerpt: "Publications from KAIST Concurrency and Parallelism Laboratory"
 ---
 
 {% include publications.md author_id="jeehoon.kang" %}