9 citations · 9 across the 4 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.DB2026
ANCHOR: A Vision for Secure Persistent Key-Value Stores in Disaggregated Data Centers
Viraj Thakkar, Dongha Kim, Hokeun Kim +1
Persistent key-value stores (PKVS) are increasingly deployed in disaggregated settings that split compute, memory, and storage across separate server pools. This shift redraws the…
cs.RO2026
ACT: Automated CPS Testing for Open-Source Robotic Platforms
Aditya A. Krishnan, Donghoon Kim, Hokeun Kim
Open-source software for cyber-physical systems (CPS) often lacks robust testing involving robotic platforms, resulting in critical errors that remain undetected. This is especiall…
cs.AI2026
Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems
Deeksha Prahlad, Daniel Fan, Hokeun Kim
Foundation models, including large language models (LLMs), are increasingly used for human-in-the-loop (HITL) cyber-physical systems (CPS) because foundation model-based AI agents…