State Key Laboratory of Computer Science
National Key Laboratory of Space Integrated Information System
National Engineering Research Center of Fundamental Software
Division of National Engineering Research Center of Satellite Navigation Application
Laboratory of Parallel Software and Computational Science
Trusted Computing and Information Assurance Laboratory
Technology Center of Software Engineering
Intelligence Engineering Laboratory
Laboratory for Internet Software Technologies
Intelligent Software Research Center
Research Center of Spatial-Temporal Data Management and Data Science
[2020-01-14]Groebner Bases: Universality, Parametricity and Canonicity
[2019-12-26] Interaction with Large and Multiple Displays
[2019-12-20] Proving that Programs are Differentially Private" "Qua...
[2019-12-18] Quantum Computing Engineering: Challenges and Opportu...
[12-10] Compositional Techniques for the Verification of a Separati...
[12-20] Toward AI-Assisted UX Analysis Methods: Leveraging Subtle V...
[11-20] Logipedia: towards a Wikipedia of formal proofs
[10-25] Software Engineering Issues in Cyber-Physical Systems
[09-23] View-Centric Performance Optimization for Database-Backed W...
[9-17] On Solving String Constraints
[08-14] High-Performance Software Development Challenges in the Pos...
2020-01-13
2020-01-13
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
2019-12-23
Model Checking Guided Incremental Testing for Distributed Systems 2026-05-26
Simple Testing Can Expose Most Critical Transaction Bugs: Understan... 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-inter... 2026-02-16
StructRAG: Boosting Knowledge Intensive Reasoning of LLMs via Infe... 2026-01-16
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic 2025-12-10
Prediction and Analysis of Large-Scale Stock Market Risk Correlatio... 2025-11-13
Details Enhancement in Unsigned Distance Field Learning for High-fi... 2025-10-16