Author

Youngjun Lee

h-index 1 View on Semantic Scholar

We have 2 of 6 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Developing a Numerical Algorithm with CIVL Model Checking in the Loop

Verifying a numerical algorithm in a large scientific simulation framework is challenging: the framework is too big to model-check, and the unit tests exercise only sampled inputs. We report a case study in which we developed a new cloud-in-cell (CIC) deposition algorithm for Flash-X, a large-scale multiphysics simulat...

Youngjun Lee, Anshu Dubey, J. Hückelheim · 0 citations

Open access Jul 2025

ORCHA: A performance portability system for extreme heterogeneity

The core design goal is to let users decide the application’s hardware mapping and orchestration by editing only the high-level recipe—without modifying the maintained source code or binding the application to a particular runtime system.

Youngjun Lee, Klaus Weide, Wesley Kwiecinski et al. · The international journal of... · 1 citation