Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Jeehoon Kang

Assistant Professor

KAIST

South Korea

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in South Korea

Articles (18)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2023

Year:

2022

Year:

2022

Year:

2020

Year:

2020

Collaborators (6)

Jongyul Kim

University of Illinois Urbana–Champaign

UNITED STATES

View details

Sudarsun Kannan

Rutgers University

UNITED STATES

View details

Chung-Kil Hur

Seoul National University

SOUTH KOREA

View details

Gwangsun Kim

Pohang University of Science and Technology

SOUTH KOREA

View details

Ralf Jung

Assistant Professor

ETH Zürich

SWITZERLAND

View details

Ji Yong Shin

Assistant Professor

Northeastern University

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Jeehoon Kang

Research Interests

Make your next move.

Explore related searches

Articles (18)

Quantum Monte Carlo Estimation via Probabilistic Programming

Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages

CofferOS: Hardening OS-level Virtualization with Rust

Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation

Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness

Compositional Model-Driven Verification of Weakly Consistent Distributed Systems

PyTorchSim: A Comprehensive, Fast, and Accurate NPU Simulation Framework

Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation

Scalable Address Spaces using Concurrent Interval Skiplist

Revamping Verilog Semantics for Foundational Verification

Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals

Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic

Verifying Lock-Free Traversals in Relaxed Memory Separation Logic

Memento: A Framework for Detectable Recoverability in Persistent Memory

Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing

Simuliris: a separation logic framework for verifying concurrent program optimizations

CompCertM: CompCert with C-assembly linking and lightweight modular verification

Stacked borrows: An aliasing model for rust

Collaborators (6)

Jongyul Kim

Sudarsun Kannan

Chung-Kil Hur

Gwangsun Kim

Ralf Jung

Ji Yong Shin

Make your next move.