Jaemin Choi

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 21

Top Topics

Formal Verification

Wearable Sensors

Parallel Programming

Top Venues

IPDPS Workshops

Publications

Jaemin Choi, Insu Kim, Suhyeon Shin, JunSeob Kim, Sungrae Cho, Mucheol Kim, Hyosu Kim
MagSafe accessory classification using magnetometer. ICTC (2023)
Insu Kim, Jaemin Choi, Suhyeon Shin, JunSeob Kim, Mucheol Kim, Seongrae Cho, Hyosu Kim
Back-of-device tap recognition by leveraging magnetometer in commodity smartphones. ICTC (2023)
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Daehyun Kwon, Heon Su Jeong, Jaemin Choi, Wijong Kim, Jae Woong Kim, Junsub Yoon, Jungmin Choi, Sanguk Lee, Hyunsub Norbert Rie, Jin-il Lee, Jongbum Lee, Taeseong Jang, JunHyung Kim, Sanghee Kang, Jung-Bum Shin, Yanggyoon Loh, Chang-Yong Lee, Junmyung Woo, Hye-Seung Yu, Changhyun Bae, Reum Oh, Young-Soo Sohn, Changsik Yoo, Jooyoung Lee
A 1.1V 6.4Gb/s/pin 24-Gb DDR5 SDRAM with a Highly-Accurate Duty Corrector and NBTI-Tolerant DLL. ISSCC (2023)
Jaemin Choi
Formal Verification of Chase-Lev Deque in Concurrent Separation Logic. CoRR (2023)
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
Compass: strong and compositional library specifications in relaxed memory separation logic. PLDI (2022)
Jaemin Choi, David F. Richards, Laxmikant V. Kalé
Improving Scalability with GPU-Aware Asynchronous Tasks. CoRR (2022)
Jaemin Choi, Zane Fink, Sam White, Nitin Bhat, David F. Richards, Laxmikant V. Kalé
Accelerating communication for parallel programming models on GPU systems. Parallel Comput. 113 (2022)
Joseph Hutter, Justin Josef Szaday, Jaemin Choi, Simeng Liu, Laxmikant V. Kalé, Spencer Wallace, Thomas R. Quinn
ParaTreeT: A Fast, General Framework for Spatial Tree Traversal. IPDPS (2022)
Jaemin Choi, David F. Richards, Laxmikant V. Kalé
Improving Scalability with GPU-Aware Asynchronous Tasks. IPDPS Workshops (2022)
David J. Hardy, Jaemin Choi, Wei Jiang, Emad Tajkhorshid
Experiences Porting NAMD to the Data Parallel C++ Programming Model. IWOCL (2022)
Jaemin Choi, Zane Fink, Sam White, Nitin Bhat, David F. Richards, Laxmikant V. Kalé
GPU-aware Communication with UCX in Parallel Programming Models: Charm++, MPI, and Python. IPDPS Workshops (2021)
Yong-Hun Kim, Hyung-Jin Kim, Jaemin Choi, Min-Su Ahn, Dongkeon Lee, Seung-Hyun Cho, Dong-Yeon Park, Young-Jae Park, Min-Soo Jang, Yong-Jun Kim, Jinyong Choi, Sung-Woo Yoon, Jae-Woo Jung, Jae-Koo Park, Jae-Woo Lee, Dae-Hyun Kwon, Hyung-Seok Cha, Si-Hyeong Cho, Seong-Hoon Kim, Jihwa You, Kyoung-Ho Kim, Dae-Hyun Kim, Byung-Cheol Kim, Young-Kwan Kim, Jun-Ho Kim, Seouk-Kyu Choi, Chan-Young Kim, Byongwook Na, Hye-In Choi, Reum Oh, Jeong-Don Ihm, Seung-Jun Bae, Nam Sung Kim, Jung-Bae Lee
-Generation 10nm DRAM. ISSCC (2021)
Jaemin Choi, David F. Richards, Laxmikant V. Kalé
CharminG: A Scalable GPU-resident Runtime System. HPDC (2021)
Zane Fink, Simeng Liu, Jaemin Choi, Matthias Diener, Laxmikant V. Kalé
Performance Evaluation of Python Parallel Programming Models: and mpi4py. ESPM2@SC (2021)
Jaemin Choi, Zane Fink, Sam White, Nitin Bhat, David F. Richards, Laxmikant V. Kalé
GPU-aware Communication with UCX in Parallel Programming Models: Charm++, MPI, and Python. CoRR (2021)
Zane Fink, Simeng Liu, Jaemin Choi, Matthias Diener, Laxmikant V. Kalé
Performance Evaluation of Python Parallel Programming Models: Charm4Py and mpi4py. CoRR (2021)
Jaemin Choi, David F. Richards, Laxmikant V. Kalé, Abhinav Bhatele
End-to-end performance modeling of distributed GPU applications. ICS (2020)
Jaemin Choi, David F. Richards, Laxmikant V. Kalé
Achieving Computation-Communication Overlap with Overdecomposition on GPU Systems. ESPM2@SC (2020)
Jahoon Jin, Jaekwon Kim, Hye-Ran Kim, Canxing Piao, Jaemin Choi, Dong-Seok Kang, C. Jung-Hoon
A 4.0-10.0-Gb/s Referenceless CDR with Wide-Range, Jitter-Tolerant, and Harmonic-Lock-Free Frequency Acquisition Technique. ESSCIRC (2018)
Vijayakumar Nanjappan, Hai-Ning Liang, Kim Lau, Jaemin Choi, Kyung Ki Kim
Clothing-based wearable sensors for unobtrusive interactions with mobile devices. ISOCC (2017)
Kimin Seo, Jaemin Choi, Yong-seok Choi, Dong-chan Lee, Sangjin Lee
Research about extracting and analyzing accounting data of company to detect financial fraud. ISI (2009)
Jaemin Choi, Jongsung Kim, Jaechul Sung, Sangjin Lee, Jongin Lim
Related-Key and Meet-in-the-Middle Attacks on Triple-DES and DES-EXE. ICCSA (2) (2005)