According to our database1, Pranav Garg authored at least 19 papers between 2011 and 2020.
Legend:Book In proceedings Article PhD thesis Other
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.
J. Autom. Reason., 2020
Proceedings of the Static Analysis - 26th International Symposium, 2019
CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation.
Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security, 2019
Proc. ACM Program. Lang., 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the Dependable Software Systems Engineering, 2015
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists.
Formal Methods Syst. Des., 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Proceedings of the Static Analysis - 20th International Symposium, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011