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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aditya V. Nori