P. Garg

activity

20132025

most citedHorn-ICE Learning for Synthesizing Invariants and Contracts

51 citations · 65 across the 9 of their papers we have counts for

collaborators

Showing 2022Show all

2 papers · 1 filter

math.CO2022

Non-trivial squares and Sidorenko's conjecture

Pranav Garg, Annie Raymond, Amanda Redlich

Let $t (H; G)$ be the homomorphism density of a graph $H$ into a graph $G$ . Sidorenko's conjecture states that for any bipartite graph $H$ , $t (H; G) \geq t (K_{2}; G)^{∣ E (H) ∣}$ for all gra…

cs.SE2022★ 1 cited

Example-based Synthesis of Static Analysis Rules

Pranav Garg, Srinivasan Sengamedu SHS

Static Analysis tools have rules for several code quality issues and these rules are created by experts manually. In this paper, we address the problem of automatic synthesis of co…