2 citations · 2 across the 3 of their papers we have counts for
5 papers
To Cache or Not to Cache: Understanding and Mitigating Safety Incompatibility in Cross-Model KV Cache Reuse
Zhiwei Lin, Jiahao Liu, Yan Liu +1
Cross-model KV cache sharing reduces prefill computation by allowing a receiver model to reuse prefix KV states generated by a related sender model. Existing methods optimize such…
HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
Hanyun Jiang, Peisen Yao, Kaiyue Li +3
Code optimization remains a core objective in software development, yet modern compilers struggle to navigate the enormous optimization spaces. While recent research has looked int…
DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
Maryam Masoudian, Anshunkang Zhou, Chengpeng Wang +1
Modern software systems heavily rely on various libraries, which require understanding the API semantics in static analysis. However, summarizing API semantics remains challenging…
Synthesizing Conjunctive Queries for Code Search
Chengpeng Wang, Peisen Yao, Wensheng Tang +2
This paper presents Squid, a new conjunctive query synthesis algorithm for searching code with target patterns. Given positive and negative examples along with a natural language d…
Verifying Data Constraint Equivalence in FinTech Systems
Chengpeng Wang, Gang Fan, Peisen Yao +2
Data constraints are widely used in FinTech systems for monitoring data consistency and diagnosing anomalous data manipulations. However, many equivalent data constraints are creat…