 Model Checking Guided Incremental Testing for Distributed Systems
|
2026-05-26 |
| Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write Specific Serializability Violations in Database Systems
|
2026-04-02 |
| Exploring Scaling Laws of CTR Model for Online Performance Improvement
|
2026-03-09 |
| Modeling Long-term User Behaviors with Diffusion-driven Multi-interest Network for CTR Prediction
|
2026-02-16 |
| StructRAG: Boosting Knowledge Intensive Reasoning of LLMs via Inference-time Hybrid Information Structurization
|
2026-01-16 |
| A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
|
2025-12-10 |
| Prediction and Analysis of Large-Scale Stock Market Risk Correlation Structure
|
2025-11-13 |
| Details Enhancement in Unsigned Distance Field Learning for High-fidelity 3D Surface Reconstruction
|
2025-10-16 |
| Testing Autonomous Driving Systems with Irregular Junctions Extracted from OpenStreetMap
|
2025-09-19 |
| Scientist Develop a High-performance Detection and Repair Tools for ReDoS-vulnerability
|
2021-07-27 |
