Equivalent Capacitance Guided Dummy Fill Insertion for Timing and Manufacturability. - Sheng-Jung Yu; Chen-Chien Kao; Chia-Han Huang; Iris Hui-Ru Jiang (ASP-DAC, 2020)

Topological Structure and Physical Layout Codesign for Wavelength-Routed Optical Networks-on-Chip. - Yu-Sheng Lu; Sheng-Jung Yu; Yao-Wen Chang (DAC, 2020)

A Provably Good Wavelength-Division-Multiplexing-Aware Clustering Algorithm for On-Chip Optical Routing. - Yu-Sheng Lu; Sheng-Jung Yu; Yao-Wen Chang (DAC, 2020)

A 1.18mW Double Ratchet Cryptographic Processor with Backward Secrecy for IoT Devices. - Sheng-Jung Yu; Yu-Chi Lee; Chia-Hsiang Yang (A-SSCC, 2021)

Topological Structure and Physical Layout Co-Design for Wavelength-Routed Optical Networks-on-Chip. - Yu-Sheng Lu; Yan-Lin Chen; Sheng-Jung Yu; Yao-Wen Chang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

On-Chip Optical Routing With Provably Good Algorithms for Path Clustering and Assignment. - Yu-Sheng Lu; Sheng-Jung Yu; Yao-Wen Chang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Symbiotic CPS Design-Space Exploration through Iterated Optimization. - Sheng-Jung Yu; Inigo Incer; Valmik Prabhu; Anwesha Chattoraj; Eric Vin; Daniel J. Fremont; Ankur Mehta; Alberto L. Sangiovanni-Vincentelli; Shankar Sastry 001; Sanjit A. Seshia (CPS-IoT Week Workshops, 2023)

Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. - Sheng-Jung Yu; Inigo Incer; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2023)

Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. - Sheng-Jung Yu; Inigo Incer; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2023)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. - 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 (CoRR, 2023)

An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices. - Sheng-Jung Yu; Yu-Chi Lee; Liang-Hsin Lin; Chia-Hsiang Yang (IEEE J. Solid State Circuits, 2023)

Towards Building Verifiable CPS using Lingua Franca. - Shaokai Lin; Yatin A. Manerkar; Marten Lohstroh; Elizabeth Polgreen; Sheng-Jung Yu; Chadlia Jerad; Edward A. Lee; Sanjit A. Seshia (ACM Trans. Embed. Comput. Syst., 2023)

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine B. Graebener; Piergiuseppe Mallozzi; Ayush Pandey; Nicolas Rouquette; Sheng-Jung Yu; Albert Benveniste; Benoît Caillaud; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ACM Trans. Cyber Phys. Syst., 2025)