13 citations · 23 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Automated inference of production rules for glycans
Ansuman Biswas, Ashutosh Gupta, Meghana Missula +1
Glycans are tree-like polymers made up of sugar monomer building blocks. They are found on the surface of all living cells, and distinct glycan trees act as identity markers for di…
cs.PL2021
Diffy: Inductive Reasoning of Array Programs using Difference Invariants
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
We present a novel verification technique to prove interesting properties of a class of array programs with a symbolic parameter N denoting the size of arrays. The technique relies…