Jaemin Choi

Identifiers

• name variant Jaemin Choi 0.60 · backfill

Papers (4)

1. Formal Verification of Chase-Lev Deque in Concurrent Separation Logic cs.LO · 2023 · author #1
2. Improving Scalability with GPU-Aware Asynchronous Tasks cs.DC · 2022 · author #1
3. Performance Evaluation of Python Parallel Programming Models: Charm4Py and mpi4py cs.DC · 2021 · author #3
4. Accelerating Communication for Parallel Programming Models on GPU Systems cs.DC · 2021 · author #1

Mentions

• 2309.03642 #1 · arxiv_oai · confidence 0.70 Jaemin Choi
• 2111.04872 #3 · arxiv_oai · confidence 0.70 Jaemin Choi
• 2202.11819 #1 · arxiv_oai · confidence 0.70 Jaemin Choi
• 2102.12416 #1 · arxiv_oai · confidence 0.70 Jaemin Choi

Frequent Coauthors

• Laxmikant V. Kale 3 shared papers
• David F. Richards 2 shared papers
• Zane Fink 2 shared papers
• Matthias Diener 1 shared papers
• Nitin Bhat 1 shared papers
• Sam White 1 shared papers
• Simeng Liu 1 shared papers