13 citations · 23 across the 10 of their papers we have counts for
12 papers
Optimal Stateless Model Checking of Transactional Programs under Causal Consistency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta +2
We present a framework for efficient stateless model checking (SMC) of concurrent programs under five prominent models of causal consistency, CCv,CM,CC, Read Committed and Read Ato…
Full-Program Induction: Verifying Array Programs sans Loop Invariants
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Arrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that manipulate arrays is challenging…
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…
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…
Synthesis for Vesicle Traffic Systems
Ashutosh Gupta, Somya Mani, Ankit Shukla
Vesicle Traffic Systems (VTSs) are the material transport mechanisms among the compartments inside the biological cells. The compartments are viewed as nodes that are labeled with…
SMT Solving for Vesicle Traffic Systems in Cells
Ashutosh Gupta, Ankit Shukla, Mandyam Srivas +1
In biology, there are several questions that translate to combinatorial search. For example, vesicle traffic systems that move cargo within eukaryotic cells have been proposed to e…