Publications (47)
Lower Bounds on the Number of Writing Operations by ILIFC with Inversion Cells
Akira Yamawaki, Hiroshi Kamabe, Shan Lu
Index-less Indexed Flash Code (ILIFC) is a coding scheme for flash memories, in which one bit of a data sequence is stored in a slice consisting of several cells but the index of t…
ExVerus: Verus Proof Repair via Counterexample Reasoning
Jun Yang, Yuechun Sun, Yi Wu +5
Large Language Models (LLMs) have shown promising results in automating formal verification. However, existing approaches treat proof generation as a static, end-to-end prediction…
An Empirical Study of Production Incidents in Generative AI Cloud Services
Haoran Yan, Yinfang Chen, Minghua Ma +10
The ever-increasing demand for generative artificial intelligence (GenAI) has motivated cloud-based GenAI services such as Azure OpenAI Service and Amazon Bedrock. Like any large-s…
Orthogonalized SGD and Nested Architectures for Anytime Neural Networks
Chengcheng Wan, Henry Hoffmann, Shan Lu +1
We propose a novel variant of SGD customized for training network architectures that support anytime behavior: such networks produce a series of increasingly accurate outputs over…
ISI Modeling and BER Performance for Rotating Light-Trail Image Sensor Communication
Shin Asaoka, Shan Lu, Zhengqiang Tang +1
Image sensor communication (ISC) employing a propeller-LED transmitter encodes data along rotating light trails. We present an analytical framework that (i) constructs a single-LED…
Feasibility Study of VLC-Based Collective Perception for Vehicular Communication
Kosuke Nakano, Shan Lu, Takaya Yamazato
This study explores the use of Visible Light Communication (VLC) in Collective Perception (CP), a technology that enables vehicles and infrastructure to share sensor information to…