Concurrency and Parallelism Laboratory

@ KAIST School of Computing

Welcome to Concurrency and Parallelism Laboratory at KAIST School of Computing. We are actively recruiting motivated students of all levels interested in designing and verifying concurrent and parallel systems. If interested, please visit a recruit page and send an email to Jeehoon Kang.

In the era of big data, artificial intelligence, and internet of things, humankind requires more and more computing resources, but they are becoming more and more scarce due to the slowing of Dennard scaling and Moore’s law. The only way to meet the demand is to massively parallelize computing resources to mitigate the damages of the slowing. So we aim to design, implement, and verify such massively parallel systems, from microarchitectures to programming languages to algorithms, thereby greatly improving the performance and significantly reducing power consumption over conventional systems.

Our general strategy in attacking this goal is (1) to holistically understand the entire computer systems; (2) to develop abstraction layers that realize the intrinsic parallelism of the workloads while providing easy programming environment at the same time; and (3) to formally verify such abstraction layers so that the users can use the them safely and fearlessly. See the Research page for more details.

News

People

Research

We are designing concurrent and parallel systems that greatly improve performance and significantly reduce power consumption, thereby serving as the basis for the upcoming era of massive data processing. Our general strategy in attacking this goal is (1) to holistically understand computer systems from microarchitectures to programming languages algorithms, and (2) to develop abstraction layers that realize the intrinsic parallelism of the workloads while providing easy programming environment at the same time. Specifically, we are working on the following projects:

Publications

Lectures

Contact