Jaemin Choi

Orcid: 0000-0001-5487-2195

According to our database1, Jaemin Choi authored at least 21 papers between 2005 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.
Proc. ACM Program. Lang., October, 2023

Formal Verification of Chase-Lev Deque in Concurrent Separation Logic.
CoRR, 2023

A 1.1V 6.4Gb/s/pin 24-Gb DDR5 SDRAM with a Highly-Accurate Duty Corrector and NBTI-Tolerant DLL.
Proceedings of the IEEE International Solid- State Circuits Conference, 2023

Back-of-device tap recognition by leveraging magnetometer in commodity smartphones.
Proceedings of the 14th International Conference on Information and Communication Technology Convergence, 2023

MagSafe accessory classification using magnetometer.
Proceedings of the 14th International Conference on Information and Communication Technology Convergence, 2023

2022
Accelerating communication for parallel programming models on GPU systems.
Parallel Comput., 2022

Compass: strong and compositional library specifications in relaxed memory separation logic.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Experiences Porting NAMD to the Data Parallel C++ Programming Model.
Proceedings of the IWOCL'22: International Workshop on OpenCL, Bristol, United Kingdom, May 10, 2022

ParaTreeT: A Fast, General Framework for Spatial Tree Traversal.
Proceedings of the 2022 IEEE International Parallel and Distributed Processing Symposium, 2022

Improving Scalability with GPU-Aware Asynchronous Tasks.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

2021
Performance Evaluation of Python Parallel Programming Models: Charm4Py and mpi4py.
CoRR, 2021

25.2 A 16Gb Sub-1V 7.14Gb/s/pin LPDDR5 SDRAM Applying a Mosaic Architecture with a Short-Feedback 1-Tap DFE, an FSS Bus with Low-Level Swing and an Adaptively Controlled Body Biasing in a 3<sup>rd</sup>-Generation 10nm DRAM.
Proceedings of the IEEE International Solid-State Circuits Conference, 2021

GPU-aware Communication with UCX in Parallel Programming Models: Charm++, MPI, and Python.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2021

CharminG: A Scalable GPU-resident Runtime System.
Proceedings of the HPDC '21: The 30th International Symposium on High-Performance Parallel and Distributed Computing, 2021

Performance Evaluation of Python Parallel Programming Models: and mpi4py.
Proceedings of the 6th IEEE/ACM International Workshop on Extreme Scale Programming Models and Middleware, 2021

2020
Achieving Computation-Communication Overlap with Overdecomposition on GPU Systems.
Proceedings of the 5th IEEE/ACM International Workshop on Extreme Scale Programming Models and Middleware, 2020

End-to-end performance modeling of distributed GPU applications.
Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

2018
A 4.0-10.0-Gb/s Referenceless CDR with Wide-Range, Jitter-Tolerant, and Harmonic-Lock-Free Frequency Acquisition Technique.
Proceedings of the 44th IEEE European Solid State Circuits Conference, 2018

2017
Clothing-based wearable sensors for unobtrusive interactions with mobile devices.
Proceedings of the International SoC Design Conference, 2017

2009
Research about extracting and analyzing accounting data of company to detect financial fraud.
Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2009

2005
Related-Key and Meet-in-the-Middle Attacks on Triple-DES and DES-EXE.
Proceedings of the Computational Science and Its Applications, 2005


  Loading...