# Aditya V. Nori

According to our database

Collaborative distances:

^{1}, Aditya V. Nori authored at least 62 papers between 2002 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2019

Robustness of neural networks: a probabilistic and practical approach.

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Adaptive Neural Trees.

Proceedings of the 36th International Conference on Machine Learning, 2019

Overfitting in Synthesis: Theory and Practice.

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Autofocus Layer for Semantic Segmentation.

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2018, 2018

Semi-Supervised Learning via Compact Latent Space Clustering.

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

FairSquare: probabilistic verification of program fairness.

PACMPL, 2017

Unsupervised Domain Adaptation in Brain Lesion Segmentation with Adversarial Networks.

Proceedings of the Information Processing in Medical Imaging, 2017

Spectral Kernels for Probabilistic Analysis and Clustering of Shapes.

Proceedings of the Information Processing in Medical Imaging, 2017

2016

Query-guided maximum satisfiability.

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Measuring Neural Net Robustness with Constraints.

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

DeepMedic for Brain Tumor Segmentation.

Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2016

Lifted Auto-Context Forests for Brain Tumour Segmentation.

Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2016

Scaling Relational Inference Using Proofs and Refutations.

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Dependent Array Type Inference from Tests.

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

A user-guided approach to program analysis.

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Efficient synthesis of probabilistic programs.

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources.

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Learning refinement types.

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

A Provably Correct Sampler for Probabilistic Programs.

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Bias-variance tradeoffs in program analysis.

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Slicing probabilistic programs.

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

MUX: algorithm selection for software model checkers.

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Software reliability via machine learning (invited talk).

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Probabilistic programming.

Proceedings of the on Future of Software Engineering, 2014

R2: An Efficient MCMC Sampler for Probabilistic Programs.

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Termination proofs from tests.

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

The economics of static analysis tools.

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Bayesian inference using data flow analysis.

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Verification as Learning Geometric Concepts.

Proceedings of the Static Analysis - 20th International Symposium, 2013

A model-learner pattern for bayesian reasoning.

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

One-Bit Compressed Sensing: Provable Support and Vector Recovery.

Proceedings of the 30th International Conference on Machine Learning, 2013

A Data Driven Approach for Algebraic Loop Invariants.

Proceedings of the Programming Languages and Systems, 2013

Combining Relational Learning with SMT Solvers Using CEGAR.

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Efficiently Sampling Probabilistic Programs via Program Analysis.

Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, 2013

2012

Parallelizing top-down interprocedural analyses.

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Interpolants as Classifiers.

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Specification Inference and Invariant Generation: A Machine Learning Perspective.

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

2011

Bottom-up shape analysis using LISF.

ACM Trans. Program. Lang. Syst., 2011

Program Analysis and Machine Learning: A Win-Win Deal.

Proceedings of the Static Analysis - 18th International Symposium, 2011

Probabilistic, modular and scalable inference of typestate specifications.

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Program Analysis and Machine Learning: A Win-Win Deal.

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Proofs from Tests.

IEEE Trans. Software Eng., 2010

Refining abstract interpretations.

Inf. Process. Lett., 2010

Alternation for Termination.

Proceedings of the Static Analysis - 17th International Symposium, 2010

Compositional may-must program analysis: unleashing the power of alternation.

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

An empirical study of optimizations in YOGI.

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Verification, Testing and Statistics.

Proceedings of the Tests and Proofs, Third International Conference, 2009

The YogiProject: Software Property Checking via Static Analysis and Testing.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Bottom-Up Shape Analysis.

Proceedings of the Static Analysis, 16th International Symposium, 2009

Merlin: specification inference for explicit information flow problems.

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

HOLMES: Effective statistical debugging via efficient path profiling.

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Automating Software Testing Using Program Analysis.

IEEE Software, 2008

Combining Tests and Proofs.

Proceedings of the Verified Software: Theories, 2008

Automatically Refining Abstract Interpretations.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Proofs from tests.

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

Quantifying the effectiveness of testing via efficient residual path profiling.

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Quantifying the effectiveness of testing via efficient residual path profiling.

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Preferential path profiling: compactly numbering interesting paths.

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes.

IEEE Trans. Information Theory, 2006

SYNERGY: a new algorithm for property checking.

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2002

On the Expressiveness of Tree Set Operators

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002