Kshitij Bansal

Available identifiers

zbMath Open bansal.kshitijMaRDI QIDQ1702887

List of research outcomes

Publication	Date of Publication	Type
Decomposing data structure commutativity proofs with \(mn\)-differencing	2021-10-18	Paper
Synthesizing precise and useful commutativity conditions	2020-11-02	Paper
Automatic generation of precise and useful commutativity conditions	2019-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4553283	2018-11-02	Paper
Deciding local theory extensions via E-matching	2018-03-01	Paper
A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT	2016-09-05	Paper
Structural Counter Abstraction	2013-08-05	Paper
Model-checking bounded multi-pushdown systems	2013-06-14	Paper
Beyond Shapes: Lists with Ordered Data	2009-03-31	Paper

Research outcomes over time

This page was built for person: Kshitij Bansal