Publications

Conference Papers

  1. Sheng-Jung Yu, Inigo Incer, and Alberto Sangiovanni-Vincentelli, “Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems,” in Proceedings of 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE-23), Sept. 2023. (Link)
  2. Sheng-Jung Yu, Inigo Incer, and Alberto Sangiovanni-Vincentelli, “Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts,” in Proceedings of 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE-23), Sept. 2023. (Link)
  3. Sheng-Jung Yu, Yu-Chi Lee, and Chia-Hsiang Yang, “A 1.18mW Double Ratchet Cryptographic Processor with Backward Secrecy for IoT Devices,” in Proceedings of IEEE Asian Solid-State Circuit Conference (A-SSCC-21), Nov. 2021. (Link)
  4. Yu-Sheng Lu, Sheng-Jung Yu and Yao-Wen Chang, “Topological Structure and Physical Layout Codesign for Wavelength-Routed Optical Networks-on-Chip,” in Proceedings of IEEE/ACM Design Automation Conference (DAC-20), Jul. 2020. (Link)
  5. Yu-Sheng Lu, Sheng-Jung Yu and Yao-Wen Chang, “A Provably Good Wavelength-Division-Multiplexing-Aware Clustering Algorithm For On-Chip Optical Routing,” in Proceedings of IEEE/ACM Design Automation Conference (DAC-20), Jul. 2020. (Link)
  6. Sheng-Jung Yu, Chen-Chien Kao, Chia-Han Huang and Iris Hui-Ju Jiang, “Equivalent Capacitance Guided Dummy Fill Insertion for Timing and Manufacturability,” in Proceedings of IEEE/ACM Asia and South Pacific Design Automation Conference (ASPDAC-20), pp. 133-138, Jan. 2020. (Best Paper Award) (Link)

Journal Papers

  1. Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia, “Towards Building Verifiable CPS using Lingua Franca,” in ACM Transactions on Embedded Computing Systems vol. 22, no. 5s, pp. 1–24, Sept 2023. (Link)
  2. Sheng-Jung Yu, Yu-Chi Lee, Liang-Hsin Lin, and Chia-Hsiang Yang, “An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices,” in IEEE Journal of Solid-State Circuits, vol. 58, no. 6, pp. 1810–1819, June 2023. (Link)
  3. Yu-Sheng Lu, Sheng-Jung Yu and Yao-Wen Chang, “On-Chip Optical Routing with Provably Good Algorithms for Path Clustering and Assignment,” in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, no. 11, pp. 4653–4666, Nov 2022. (Link)
  4. Yu-Sheng Lu, Yan-Lin Chen, Sheng-Jung Yu and Yao-Wen Chang, “Topological Structure and Physical Layout Co-design for Wavelength-Routed Optical Networks-on-Chip,” in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, no. 7, pp. 2237–2249, July 2022. (Link)