Pranav Garg

Available identifiers

zbMath Open garg.pranavMaRDI QIDQ746777

List of research outcomes

Publication	Date of Publication	Type
\textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants	2024-04-19	Paper
Non-trivial squares and Sidorenko's conjecture	2022-06-20	Paper
A learning-based approach to synthesizing invariants for incomplete verification engines	2020-11-02	Paper
Invariant synthesis for incomplete verification engines	2019-09-16	Paper
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists	2015-10-20	Paper
Compositionality Entails Sequentializability	2011-05-19	Paper

Research outcomes over time

This page was built for person: Pranav Garg