1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2025
Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
Doruk Alp Mutlu
Gradual verification soundly combines static checking and dynamic checking to provide an incremental approach for software verification. With gradual verification, programs can be…
cs.CV2024★ 1 cited
A Labeled Array Distance Metric for Measuring Image Segmentation Quality
Maryam Berijanian, Katrina Gensterblum, Doruk Alp Mutlu +3
This work introduces two new distance metrics for comparing labeled arrays, which are common outputs of image segmentation algorithms. Each pixel in an image is assigned a label, w…