· devops
[Paper] Deciding Serializability in Network Systems
We present the SER modeling language for automatically verifying serializability of concurrent programs, i.e., whether every concurrent execution of the program...
-
- · software
[Paper] Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
Functional verification increasingly relies on Assertion-Based Verification (ABV), which has become a key approach for verifying hardware designs due to its eff...
- · ai
[Paper] A Comparative Study of Custom CNNs, Pre-trained Models, and Transfer Learning Across Multiple Visual Datasets
Convolutional Neural Networks (CNNs) are a standard approach for visual recognition due to their capacity to learn hierarchical representations from raw pixels....
- · ai
[Paper] VIBE: Visual Instruction Based Editor
Instruction-based image editing is among the fastest developing areas in generative AI. Over the past year, the field has reached a new level, with dozens of op...
- · software
[Paper] NQC2: A Non-Intrusive QEMU Code Coverage Plugin
Code coverage analysis has become a standard approach in software development, facilitating the assessment of test suite effectiveness, the identification of un...
- · ai
[Paper] CD4LM: Consistency Distillation and aDaptive Decoding for Diffusion Language Models
Autoregressive large language models achieve strong results on many benchmarks, but decoding remains fundamentally latency-limited by sequential dependence on p...
- · software
[Paper] PauliEngine: High-Performant Symbolic Arithmetic for Quantum Operations
Quantum computation is inherently hybrid, and fast classical manipulation of qubit operators is necessary to ensure scalability in quantum software. We introduc...
- · ai
[Paper] From XAI to Stories: A Factorial Study of LLM-Generated Explanation Quality
Explainable AI (XAI) methods like SHAP and LIME produce numerical feature attributions that remain inaccessible to non expert users. Prior work has shown that L...
- · software
[Paper] MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
Compilers are essential for the performance and correct execution of software and hold universal relevance across various scientific disciplines. Despite this, ...
- · ai
[Paper] LLM-Empowered Functional Safety and Security by Design in Automotive Systems
This paper presents LLM-empowered workflow to support Software Defined Vehicle (SDV) software development, covering the aspects of security-aware system topolog...
- · ai
[Paper] ARCADE: A City-Scale Corpus for Fine-Grained Arabic Dialect Tagging
The Arabic language is characterized by a rich tapestry of regional dialects that differ substantially in phonetics and lexicon, reflecting the geographic and c...
- · ai
[Paper] Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics
We are entering a hybrid era in which human developers and AI coding agents work in the same codebases. While industry practice has long optimized code for huma...