Sheng-Jung Yu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 12

Top Topics

Clustering Algorithm

Wavelength Division Multiplexing

Optical Networks

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Sheng-Jung Yu, Yu-Chi Lee, Liang-Hsin Lin, Chia-Hsiang Yang
An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices. IEEE J. Solid State Circuits 58 (6) (2023)
Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. MEMOCODE (2023)
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. MEMOCODE (2023)
Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia
Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops (2023)
Yu-Sheng Lu, Yan-Lin Chen, Sheng-Jung Yu, Yao-Wen Chang
Topological Structure and Physical Layout Co-Design for Wavelength-Routed Optical Networks-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (7) (2022)
Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang
On-Chip Optical Routing With Provably Good Algorithms for Path Clustering and Assignment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Sheng-Jung Yu, Yu-Chi Lee, Chia-Hsiang Yang
A 1.18mW Double Ratchet Cryptographic Processor with Backward Secrecy for IoT Devices. A-SSCC (2021)
Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang
A Provably Good Wavelength-Division-Multiplexing-Aware Clustering Algorithm for On-Chip Optical Routing. DAC (2020)
Yu-Sheng Lu, Sheng-Jung Yu, Yao-Wen Chang
Topological Structure and Physical Layout Codesign for Wavelength-Routed Optical Networks-on-Chip. DAC (2020)
Sheng-Jung Yu, Chen-Chien Kao, Chia-Han Huang, Iris Hui-Ru Jiang
Equivalent Capacitance Guided Dummy Fill Insertion for Timing and Manufacturability. ASP-DAC (2020)