Aditya V. Nori

Available identifiers

zbMath Open nori.aditya-vithalMaRDI QIDQ765511

List of research outcomes

Publication	Date of Publication	Type
Overfitting in synthesis: theory and practice	2024-02-16	Paper
Probabilistic Lipschitz analysis of neural networks	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5275390	2017-07-13	Paper
Learning refinement types	2017-05-10	Paper
Query-guided maximum satisfiability	2016-10-24	Paper
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances	2015-11-20	Paper
Compositional may-must program analysis	2015-06-11	Paper
Dependent Array Type Inference from Tests	2015-02-04	Paper
A model-learner pattern for bayesian reasoning	2014-11-27	Paper
Preferential path profiling	2014-09-12	Paper
Bias-variance tradeoffs in program analysis	2014-04-10	Paper
A Data Driven Approach for Algebraic Loop Invariants	2013-08-05	Paper
Refining abstract interpretations	2012-03-19	Paper
Alternation for termination	2010-10-01	Paper
Bottom-Up Shape Analysis	2009-08-18	Paper
Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes	2008-12-21	Paper
Automatically Refining Abstract Interpretations	2008-04-11	Paper

Research outcomes over time

This page was built for person: Aditya V. Nori