BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Dohyun Kim

Dohyun Kim contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DShep-exnucl-exphysics.ins-detComputer Visioncond-mat.mtrl-sciCryptography and SecurityHuman-Computer Interactionmath-phmath.MPmath.NAnlin.AONumerical Analysisphysics.acc-phSoftware Engineering

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
15topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2026arXiv

SafePlanner: Testing Safety of the Automated Driving System Plan Model

In this work, we present SafePlanner, a systematic testing framework for identifying safety-critical flaws in the Plan model of Automated Driving Systems (ADS). SafePlanner targets two core challenges: generating structurally meaningful test scenarios and detecting hazardous planning behaviors. To maximize coverage, SafePlanner performs a structural analysis of the Plan model implementation - specifically, its scene-transition logic and hierarchical control flow - and uses this insight to extract feasible scene transitions from code. It then composes test scenarios by combining these transitions with non-player vehicle (NPC) behaviors. Guided fuzzing is applied to explore the behavioral space of the Plan model under these scenarios. We evaluate SafePlanner on Baidu Apollo, a production-grade level 4 ADS. It generates 20635 test cases and detects 520 hazardous behaviors, grouped into 15 root causes through manual analysis. For four of these, we applied patches based on our analysis; the issues disappeared, and no apparent side effects were observed. SafePlanner achieves 83.63 percent function and 63.22 percent decision coverage on the Plan model, outperforming baselines in both bug discovery and efficiency.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

VacHopPy: A Python package for vacancy hopping analysis based on molecular dynamics simulations

Multiscale modeling, which integrates material properties from ab initio calculations into continuum-scale simulations, is a promising strategy for optimizing semiconductor devices. However, a key challenge remains: while ab initio methods provide diffusion parameters specific to individual migration paths, continuum equations require a single effective set of parameters that captures the overall diffusion behavior. To address this issue, we present VacHopPy, an open-source Python package for vacancy hopping analysis based on molecular dynamics (MD). VacHopPy extracts an effective set of hopping parameters, including hopping distance, hopping barrier, number of effective paths, correlation factor, and attempt frequency, by statistically integrating energetic, kinetic, and geometric contributions across all paths. It also includes tools for tracking vacancy trajectories and for detecting phase transitions during MD simulations. The applicability of VacHopPy is demonstrated in three representative materials: face-centered cubic Al, rutile TiO2, and monoclinic HfO2. The extracted effective parameters reproduce temperature-dependent diffusion behavior and are in good agreement with previous experimental data. Provided in a simplified form, these parameters are well suited for continuum-scale models and remain valid over a wide temperature range spanning several hundred kelvins. Furthermore, VacHopPy inherently accounts for anisotropy in thermal vibrations, a factor often overlooked, making it suitable for simulating diffusion in complex crystals. Overall, VacHopPy establishes a robust bridge between atomic- and continuum-scale models, enabling more reliable multiscale simulation

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Asymptotic convergence of heterogeneous first-order aggregation models: from the sphere to the unitary group

We provide the detailed asymptotic behavior for first-order aggregation models of heterogeneous oscillators. Due to the dissimilarity of natural frequencies, one could expect that all relative distances converge to definite positive value and furthermore that each oscillator converges to a possibly different stationary point. In order to establish the desired results, we introduce a novel method, called dimension reduction method that can be applied to a specific situation when the degree of freedom of the natural frequency is one. In this way, we would say that although a small perturbation is allowed, convergence toward an equilibrium of the gradient flow is still guaranteed. Several first-order aggregation models are provided as concrete examples by using the dimension reduction method to study the structure of the equilibrium, and numerical simulations are conducted to support theoretical results.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Cross-Domain Style Mixing for Face Cartoonization

Cartoon domain has recently gained increasing popularity. Previous studies have attempted quality portrait stylization into the cartoon domain; however, this poses a great challenge since they have not properly addressed the critical constraints, such as requiring a large number of training images or the lack of support for abstract cartoon faces. Recently, a layer swapping method has been used for stylization requiring only a limited number of training images; however, its use cases are still narrow as it inherits the remaining issues. In this paper, we propose a novel method called Cross-domain Style mixing, which combines two latent codes from two different domains. Our method effectively stylizes faces into multiple cartoon characters at various face abstraction levels using only a single generator without even using a large number of training images.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Self-Serviced IoT: Practical and Private IoT Computation Offloading with Full User Control

The rapid increase in the adoption of Internet-of-Things (IoT) devices raises critical privacy concerns as these devices can access a variety of sensitive data. The current status quo of relying on manufacturers' cloud services to process this data is especially problematic since users cede control once their data leaves their home. Multiple recent incidents further call into question if vendors can indeed be trusted with users' data. At the same time, users desire compelling features supported by IoT devices and ML-based cloud inferences which compels them to subscribe to manufacturer-managed cloud services. An alternative to use a local in-home hub requires substantial hardware investment, management, and scalability limitations. This paper proposes Self-Serviced IoT (SSIoT), a clean-slate approach of using a hybrid hub-cloud setup to enable privacy-aware computation offload for IoT applications. Uniquely, SSIoT enables opportunistic computation offload to public cloud providers while still ensuring that the end-user retains complete end-to-end control of their private data reducing the trust required from public cloud providers. We show that SSIoT can leverage emerging function-as-a-service computation (e.g. AWS Lambda) to make these offloads cost-efficient, scalable and high performance as long as key limitations of being stateless, limited resources, and security isolation can be addressed. We build an end-to-end prototype of SSIoT and evaluate it using several micro-benchmarks and example applications representing real-world IoT use cases. Our results show that SSIoT is highly scalable, as compared to local-only approaches which struggle with as little as 2-4 apps in parallel. We also show that SSIoT is cost-efficient (operating a smart doorbell for $10 a year) at the cost of minimal additional latency as compared to a local-only hub, even with a hardware ML accelerator.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Emergent behaviors of high-dimensional Kuramoto models on Stiefel manifolds

We study emergent asymptotic dynamics for the first and second-order high-dimensional Kuramoto models on Stiefel manifolds which extend the previous consensus models on Riemannian manifolds including several matrix Lie groups. For the first-order consensus model on the Stiefel manifold proposed in [Markdahl et al, 2018], we show that the homogeneous ensemble relaxes the complete consensus state exponentially fast. On the other hand for a heterogeneous ensemble, we provide a sufficient condition leading to the phase-locked state in which relative distances between two states converge to definite values in a large coupling strength regime. We also propose a second-order extension of the first-order one by adding an inertial effect, and study emergent behaviors using Lyapunov functionals such as an energy functional and an averaged distance functional.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Constants of motion for the finite-dimensional Lohe type models with frustration and applications to emergent dynamics

We present constants of motion for the finite-dimensional Lohe type aggregation models with frustration and we apply them to analyze the emergence of collective behaviors. The Lohe type models have been proposed as possible non-abelian and higher-dimensional generalizations of the Kuramoto model, which is a prototype phase model for synchronization. The aim of this paper is to study the emergent collective dynamics of these models under the effect of (interaction) frustration, which generalizes phase-shift frustrations in the Kuramoto model. To this end, we present constants of motion, i.e., conserved quantities along the flow generated by the models under consideration, and, from the perspective of the low-dimensional dynamics thus so obtained, derive several results concerning the emergent asymptotic patterns of the Kuramoto and Lohe sphere models.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Staggered DG method with small edges for Darcy flows in fractured porous media

In this paper, we present and analyze a staggered discontinuous Galerkin method for Darcy flows in fractured porous media on fairly general meshes. A staggered discontinuous Galerkin method and a standard conforming finite element method with appropriate inclusion of interface conditions are exploited for the bulk region and the fracture, respectively. Our current analysis weakens the usual assumption on the polygonal mesh, which can integrate more general meshes such as elements with arbitrarily small edges into our theoretical framework. We prove the optimal convergence estimates in $L^2$ error for all the variables by exploiting the Ritz projection. Importantly, our error estimates are shown to be fully robust with respect to the heterogeneity and anisotropy of the permeability coefficients. Several numerical experiments including meshes with small edges and anisotropic meshes are carried out to confirm the theoretical findings. Finally, our method is applied in the framework of unfitted mesh.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Tensile behavior of dual-phase titanium alloys under high-intensity proton beam exposure: radiation-induced omega phase transformation in Ti-6Al-4V

A high-intensity proton beam exposure with 181 MeV energy has been conducted at Brookhaven Linac Isotope Producer facility on various material specimens for accelerator targetry applications, including titanium alloys as a beam window material. The radiation damage level of the analyzed capsule was 0.25 dpa at beam center region with an irradiation temperature around 120 degree C. Tensile tests showed increased hardness and a large decrease in ductility for the dual alpha+beta-phase Ti-6Al-4V Grade-5 and Grade-23 extra low interstitial alloys, with the near alpha-phase Ti-3Al-2.5V Grade-9 alloy still exhibiting uniform elongation of a few % after irradiation. Transmission Electron Microscope analyses on Ti-6Al-4V indicated clear evidence of a high-density of defect clusters with size less than 2 nm in each alpha-phase grain. The beta-phase grains did not contain any visible defects such as loops or black dots, while the diffraction patterns clearly indicated omega-phase precipitation in an advanced formation stage. The radiation-induced omega-phase transformation in the beta-phase could lead to greater loss of ductility in Ti-6Al-4V alloys in comparison with Ti-3Al-2.5V alloy with less beta-phase.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Radiation Damage Studies on Titanium Alloys as High Intensity Proton Accelerator Beam Window Materials

A high-strength dual alpha+beta phase titanium alloy Ti-6Al-4V is utilized as a material for beam windows in several accelerator target facilities. However, relatively little is known about how material properties of this alloy are affected by high-intensity proton beam irradiation. With plans to upgrade neutrino facilities at J-PARC and Fermilab to over 1 MW beam power, the radiation damage in the window material will reach a few displacements per atom (dpa) per year, significantly above the ~0.3 dpa level of existing data. The RaDIATE collaboration has conducted a high intensity proton beam irradiation of various target and window material specimens at BLIP facility, including a variety of titanium alloys. Post-Irradiation Examination of the specimens in the 1st capsule, irradiated at up to 0.25 dpa, is in progress. Tensile tests in a hot cell at PNNL exhibited a clear signature of radiation hardening and loss of ductility for Ti-6Al-4V, while Ti-3Al-2.5V, with less beta phase, exhibited less severe hardening. Microstructural investigations will follow to study the cause of the difference in tensile behavior between these alloys. High-cycle fatigue (HCF) performance is critical to the lifetime estimation of beam windows exposed to a periodic thermal stress from a pulsed proton beam. The 1st HCF data on irradiated titanium alloys are to be obtained by a conventional bend fatigue test at Fermilab and by an ultrasonic mesoscale fatigue test at Culham Laboratory. Specimens in the 2nd capsule, irradiated at up to ~1 dpa, cover typical titanium alloy grades, including possible radiation-resistant candidates. These systematic studies on the effects of radiation damage of titanium alloys are intended to enable us to predict realistic lifetimes of current beam windows made of Ti-6Al-4V and to extend the lifetime by choosing a more radiation and thermal shock tolerant alloy.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Real World Longitudinal iOS App Usage Study at Scale

Given the importance of understanding the interaction between mobile devices and their users, app usage patterns have been studied in various contexts. However, prior work has not fully investigated longitudinal changes to app usage behavior. In this paper, we present a longitudinal, large-scale study of mobile app usage based on a dataset collected from 162,006 iPhones and iPads over 4 years. We explore multiple dimensions of app usage pattern proving useful insights on how app usage changes over time. Our key findings include (i) app usage pattern changes over time both at the individual app level and the app category level (i.e. proportion of time a user spends using an app), (ii) users keep a small set of apps frequently launched (90% of iPhone users launch roughly 14-18 apps weekly), (iii) a small number of apps remain popular while some specific kinds of apps (e.g. Games) have a shorter life cycle compared to other apps of different categories. Finally, we discuss our findings and their implications, for example, a short-term study as an attempt to understand the general needs of mobile devices may not achieve useful results for the long term.

0 citations0 reviewsNo code linkedOpen access