State Key Laboratory of Computer Science

Recent papers from State Key Laboratory of Computer Science

1. From Prototype to Nationwide Deployment: A 5-year Retrospect of a WiFi-based Outdoor Localization SystemProceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies · 2026
2. Ternary LWE Key Search: A New Frontier for Quantum Combinatorial AttacksInformation · 2025
3. RunTyper: Enhancing Deep Type Inference Using Dynamic Analysis for PythonACM Transactions on Software Engineering and Methodology · 2025
4. Efficient GPU-Centered Singular Value Decomposition Using the Divide-and-Conquer MethodACM Transactions on Architecture and Code Optimization · 2025
5. RF-AE: Single-site Arterial Elasticity Estimation Using UWB SignalsProceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies · 2025
6. Evaluating Garbage Collection Performance Across Managed Language Runtimes2025
7. Reduce Dependence for Sound Concurrency Bug Prediction2025
8. DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit TransformationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2025
9. OSmart: Whitebox Program Option Fuzzing2024
10. Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker2024
11. GS‐Octree: Octree‐based 3D Gaussian Splatting for Robust Object‐level 3D Reconstruction Under Strong LightingComputer Graphics Forum · 2024
12. An effective screening model for subjective cognitive decline in community-dwelling older adults based on gait analysis and eye trackingFrontiers in Aging Neuroscience · 2024
13. Don’t Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion SystemsACM Transactions on Software Engineering and Methodology · 2024
14. ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism2024
15. An Iterative Method for Computing Controlled Reach-Avoid Sets2024
16. Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties2024
17. How to Fit the SCC Algorithm Efficiently into Distributed Graph Iterative Computation2024
18. ParameterNet: Parameters are All You Need for Large-Scale Visual Pretraining of Mobile Networks2024
19. New Quantum Algorithms for Computing Quantum Entropies and DistancesIEEE Transactions on Information Theory · 2024
20. UWB-enabled Sensing for Fast and Effortless Blood Pressure MonitoringProceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies · 2024