publications

2025

  1. FDL’25
    Towards Efficient Privacy-Preserving Federated Learning on Edge with Reconfigurable FPGA
    Byeonggil Jun, Megan Kuo, Aditya A. Krishnan, and Hokeun Kim
    In 2025 Forum on Specification & Design Languages (FDL), 2025
  2. ACM TOMACS
    Zero-Delay Cycles in Distributed Discrete-Event Systems using Lingua Franca
    Peter Donovan, Erling Jellum, Byeonggil Jun, Hokeun Kim, Lee Edward, Shaokai Lin, Marten Lohstroh, and Anirudh Rengarajan
    ACM Trans. Model. Comput. Simul., Sep 2025
    Just Accepted
  3. PADS’25
    Improving the Efficiency of Coordinating Timed Events in Distributed Systems
    Byeonggil Jun, Edward A. Lee, Marten Lohstroh, and Hokeun Kim
    In Proceedings of the 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, , Sep 2025

2024

  1. MEMOCODE’24
    Efficient Coordination for Distributed Discrete-Event Systems
    Byeonggil Jun, Edward A. Lee, Marten Lohstroh, and Hokeun Kim
    In 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), Sep 2024

2023

  1. TCRS’23
    Reliable Event Detection Using Time-Synchronized IoT Platforms
    Byeonggil Jun, Dongha Kim, Marten Lohstroh, and Hokeun Kim
    In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, San Antonio, TX, USA, Sep 2023