Close

Organization

<
Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences
Presentations
Research Manuscript
LLM-Enhanced Two-Stage Signal Temporal Logic Automatic Transformation with Structured Intermediate Representation
11:36am - 11:50am PDT Tuesday, July 28 Mtg Room 202C
Systems
SYS2. Design of Cyber-Physical Systems and IoT
Work in Progress
Trace and Chase: Empowering LLMs to Identify the Root Cause of Test Failures in RISC-V SoCs via Textualized Waveform
6:50pm - 6:51pm PDT Monday, July 27 Exhibit Hall
Contributors
Hao Lyu
Hongjing Qing
Yicheng Zhong