Quantifier rewriting and array non-aliasing specifications in VerCors reduce verification time for data-level parallel programs by an average factor of 9.
hub
I, second edn
11 Pith papers cite this work. Polarity classification is still indexing.
11
Pith papers citing it
hub tools
citation-role summary
background 1
dataset 1
citation-polarity summary
fields
cs.SE 2 cond-mat.mtrl-sci 1 cs.AI 1 cs.CE 1 cs.CV 1 cs.CY 1 cs.DC 1 cs.LO 1 eess.IV 1 math-ph 1polarities
background 2representative citing papers
TRIP-Evaluate is a new open multimodal benchmark with 837 text, image, and point-cloud items organized by a role-task-knowledge taxonomy to evaluate large models on transportation workflows.
Proposes TinyUSFM-uLPIPS and TinyUSFM-NRQ metrics that show better alignment with segmentation task performance and expert preference than PSNR or VGG-LPIPS in ultrasound imaging.
Agentic Business Process Management reframes BPM around autonomous agents that must exhibit framed autonomy, explainability, conversational actionability, and self-modification to keep their actions aligned with organizational objectives.
Introduces the concept of agentic inequality and develops a three-dimensional framework (availability, quality, quantity) to analyze how autonomous AI agents could deepen or mitigate existing divides through scalable goal delegation.
Test validators generated via genetic programming using the Ochiai SBFL formula are more accurate and robust to flakiness than alternatives from Tarantula, Naish, decision trees, or rules, with 88.7% alignment to known requirements in CPS case studies.
Computes polarisation sets for kernels of advanced/retarded Green operators of normally hyperbolic operators and applies the result to close a gap for the Proca equation.
DMR framework provides practical non-invasive MPI malleability on production HPC systems, matching static performance while cutting node-hour consumption on TOP500 machines.
A variational framework models SiO2 glass under pressure as binary phase coexistence and matches experimental elastic moduli and volume changes.
Theoretical calculations explain experimental magnetoelastic data in antiferromagnetic MnPt, linking magnetic structure to anisotropy energy and isotropic/anisotropic magnetostriction coefficients.
The QBF Gallery 2023 report consolidates submitted solvers and formulas into a public benchmark set and compares solver performance on it while outlining future directions for the community.
citing papers explorer
-
Scalable Deductive Verification of Data-Level Parallel Programs
Quantifier rewriting and array non-aliasing specifications in VerCors reduce verification time for data-level parallel programs by an average factor of 9.
-
TRIP-Evaluate: An Open Multimodal Benchmark for Evaluating Large Models in Transportation
TRIP-Evaluate is a new open multimodal benchmark with 837 text, image, and point-cloud items organized by a role-task-knowledge taxonomy to evaluate large models on transportation workflows.
-
Defining Robust Ultrasound Quality Metrics via an Ultrasound Foundation Model
Proposes TinyUSFM-uLPIPS and TinyUSFM-NRQ metrics that show better alignment with segmentation task performance and expert preference than PSNR or VGG-LPIPS in ultrasound imaging.
-
Agentic Business Process Management: A Research Manifesto
Agentic Business Process Management reframes BPM around autonomous agents that must exhibit framed autonomy, explainability, conversational actionability, and self-modification to keep their actions aligned with organizational objectives.
-
Agentic Inequality
Introduces the concept of agentic inequality and develops a three-dimensional framework (availability, quality, quantity) to analyze how autonomous AI agents could deepen or mitigate existing divides through scalable goal delegation.
-
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
Test validators generated via genetic programming using the Ochiai SBFL formula are more accurate and robust to flakiness than alternatives from Tarantula, Naish, decision trees, or rules, with 88.7% alignment to known requirements in CPS case studies.
-
Polarisation sets of Green operators for normally hyperbolic equations
Computes polarisation sets for kernels of advanced/retarded Green operators of normally hyperbolic operators and applies the result to close a gap for the Proca equation.
-
Dynamic Resource Management in Production HPC Clusters
DMR framework provides practical non-invasive MPI malleability on production HPC systems, matching static performance while cutting node-hour consumption on TOP500 machines.
-
On a variational model for phase transformation in SiO2 glass
A variational framework models SiO2 glass under pressure as binary phase coexistence and matches experimental elastic moduli and volume changes.
-
Magnetoelasticity - magnetic structure interrelation - tetragonal MnPt system study
Theoretical calculations explain experimental magnetoelastic data in antiferromagnetic MnPt, linking magnetic structure to anisotropy energy and isotropic/anisotropic magnetostriction coefficients.
-
The QBF Gallery 2023
The QBF Gallery 2023 report consolidates submitted solvers and formulas into a public benchmark set and compares solver performance on it while outlining future directions for the community.