Concepedia

Pranav Garg

PG

9

Publications

427

Citations

9

H-Index

2011

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Princeton University

Pranav Garg is an author at University of Illinois Urbana-Champaign specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationAutomated ReasoningComputer EngineeringData Mining

Publications per year

2011–2016

9

Publications

9

Learning invariants using decision trees and implication counterexamples

Pranav Garg, Daniel Neider, P. Madhusudan et al. · 2016 · 161 citations · Full text

Engineering, Machine Learning, Invariant Synthesis +17

Natural proofs for structure, data, and separation

Xiaokang Qiu, Pranav Garg, Andrei Ștefănescu et al. · 2013 · 81 citations

Reasoning, Engineering, Automated Reasoning +14

Learning invariants using decision trees and implication counterexamples

Pranav Garg, Daniel Neider, P. Madhusudan et al. · ACM SIGPLAN Notices · 2016 · 52 citations · Full text

Engineering, Machine Learning, Invariant Synthesis +17

Natural proofs for asynchronous programs using almost-synchronous reductions

Ankush Desai, Pranav Garg, P. Madhusudan · 2014 · 31 citations

Program Checking, Engineering, Verification +19

Feedback-directed unit test generation for C/C++ using concolic execution

Pranav Garg, Franjo Ivančić, Gogul Balakrishnan et al. · International Conference on Software Engineering · 2013 · 28 citations

Engineering, Verification, Test Data Generation +20

Rows per page

1–5 of 9