Travelled to:1 × China
1 × Croatia
1 × Hungary
1 × Ireland
1 × South Africa
1 × Spain
1 × Switzerland
10 × USA
2 × Canada
2 × France
2 × Russia
2 × United Kingdom
3 × India
4 × Italy
Collaborated with:S.K.Rajamani R.Sharma A.Aiken R.Kumar T.M.Chilimbi K.Vaswani R.Mangal X.Zhang M.Naik N.E.Beckman A.Lal B.S.Gulavani H.Zhu S.Jagannathan A.Albarghouthi S.Tetali S.Chakraborty S.Gupta B.Hariharan V.Vinayakarao R.Purandare G.Claret A.D.Gordon J.Borgström S.Ozair D.Vijaykeerthy C.Hur S.Samuel A.T.Chaganty S.Gopi P.Netrapalli P.Jain P.Godefroid W.R.Harris V.B.Livshits A.Banerjee G.Ramalingam A.V.Thakur R.J.Simmons S.Padhi T.D.Millstein R.S.0001 L.D'Antoni S.Drews V.Tulsian A.Kanade B.Liblit K.K.Mehra T.A.Henzinger Y.Kannan P.Liang M.Aizatulin T.Graepel C.V.Russo
Talks about:analysi (8) program (7) test (6) probabilist (4) learn (4) infer (4) path (4) profil (3) effici (3) verif (3)
Person: Aditya V. Nori
DBLP: Nori:Aditya_V=
Contributed to:
2015
2015
2015
2015
2015
2015
20142014
2014
20132013
2013
20132013
20132012201220112011
201020102010200920092009
2009
2009
2008200820072007
20062019
20172016Wrote 37 papers:
- ESEC-FSE-2015-MangalZNN #approach #program analysis
- A user-guided approach to program analysis (RM, XZ, AVN, MN), pp. 462–473.
- ICFP-2015-ZhuNJ #learning #refinement
- Learning refinement types (HZ, AVN, SJ), pp. 400–411.
- PEPM-2015-VinayakaraoPN #source code
- Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources (VV, RP, AVN), pp. 21–26.
- PLDI-2015-NoriORV #performance #probability #source code #synthesis
- Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.
- SAT-2015-MangalZNN #framework #lazy evaluation #named #satisfiability #scalability
- Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances (RM, XZ, AVN, MN), pp. 299–306.
- VMCAI-2015-ZhuNJ #array #testing #type inference
- Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
- MSR-2014-TulsianKKLN #algorithm #model checking #named
- MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
- PLDI-2014-HurNRS #probability #slicing #source code
- Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.
- POPL-2014-SharmaNA #program analysis #trade-off
- Bias-variance tradeoffs in program analysis (RS, AVN, AA), pp. 127–138.
- CAV-2013-ChagantyLNR #learning #relational #smt #using
- Combining Relational Learning with SMT Solvers Using CEGAR (ATC, AL, AVN, SKR), pp. 447–462.
- ESEC-FSE-2013-ClaretRNGB #analysis #data flow #using
- Bayesian inference using data flow analysis (GC, SKR, AVN, ADG, JB), pp. 92–102.
- ESEC-FSE-2013-KumarN #static analysis #tool support
- The economics of static analysis tools (RK, AVN), pp. 707–710.
- ESEC-FSE-2013-Nori0 #proving #termination #testing
- Termination proofs from tests (AVN, RS), pp. 246–256.
- ESOP-2013-SharmaGHALN #algebra #approach #data-driven #invariant
- A Data Driven Approach for Algebraic Loop Invariants (RS, SG, BH, AA, PL, AVN), pp. 574–592.
- ICML-c3-2013-GopiN0N
- One-Bit Compressed Sensing: Provable Support and Vector Recovery (SG, PN, PJ, AVN), pp. 154–162.
- POPL-2013-GordonABCGNRR #reasoning
- A model-learner pattern for bayesian reasoning (ADG, MA, JB, GC, TG, AVN, SKR, CVR), pp. 403–416.
- SAS-2013-0001GHAN #concept #geometry #learning #verification
- Verification as Learning Geometric Concepts (RS, SG, BH, AA, AVN), pp. 388–411.
- CAV-2012-SharmaNA #classification
- Interpolants as Classifiers (RS, AVN, AA), pp. 71–87.
- PLDI-2012-AlbarghouthiKNR #analysis #interprocedural #top-down
- Parallelizing top-down interprocedural analyses (AA, RK, AVN, SKR), pp. 217–228.
- PLDI-2011-BeckmanN #composition #probability #scalability #specification #type system
- Probabilistic, modular and scalable inference of typestate specifications (NEB, AVN), pp. 211–221.
- SAS-2011-NoriR #machine learning #program analysis
- Program Analysis and Machine Learning: A Win-Win Deal (AVN, SKR), pp. 2–3.
- ICSE-2010-NoriR #empirical #optimisation
- An empirical study of optimizations in YOGI (AVN, SKR), pp. 355–364.
- POPL-2010-GodefroidNRT #composition #power of #program analysis
- Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.
- SAS-2010-HarrisLNR #termination
- Alternation for Termination (WRH, AL, AVN, SKR), pp. 304–319.
- ICSE-2009-ChilimbiLMNV #debugging #effectiveness #named #performance #profiling #statistics
- HOLMES: Effective statistical debugging via efficient path profiling (TMC, BL, KKM, AVN, KV), pp. 34–44.
- PLDI-2009-LivshitsNRB #data flow #named #problem #specification
- Merlin: specification inference for explicit information flow problems (VBL, AVN, SKR, AB), pp. 75–86.
- SAS-2009-GulavaniCRN #analysis #bottom-up
- Bottom-Up Shape Analysis (BSG, SC, GR, AVN), pp. 188–204.
- TACAS-2009-NoriRTT #static analysis #testing
- The YogiProject: Software Property Checking via Static Analysis and Testing (AVN, SKR, ST, AVT), pp. 178–181.
- TAP-2009-NoriR #statistics #testing #verification
- Verification, Testing and Statistics (AVN, SKR), pp. 6–9.
- ISSTA-2008-BeckmanNRS #proving #testing
- Proofs from tests (NEB, AVN, SKR, RJS), pp. 3–14.
- TACAS-2008-GulavaniCNR #abstract interpretation #automation
- Automatically Refining Abstract Interpretations (BSG, SC, AVN, SKR), pp. 443–458.
- ESEC-FSE-2007-ChilimbiNV #effectiveness #performance #profiling #testing
- Quantifying the effectiveness of testing via efficient residual path profiling (TMC, AVN, KV), pp. 545–548.
- POPL-2007-VaswaniNC #profiling
- Preferential path profiling: compactly numbering interesting paths (KV, AVN, TMC), pp. 351–362.
- FSE-2006-GulavaniHKNR #algorithm #named
- SYNERGY: a new algorithm for property checking (BSG, TAH, YK, AVN, SKR), pp. 117–127.
- CAV-2019-PadhiMN0 #synthesis #theory and practice
- Overfitting in Synthesis: Theory and Practice (SP, TDM, AVN, RS0), pp. 315–334.
- OOPSLA-2017-AlbarghouthiDDN #named #probability #verification
- FairSquare: probabilistic verification of program fairness (AA, LD, SD, AVN), p. 30.
- POPL-2016-ZhangMNN #satisfiability
- Query-guided maximum satisfiability (XZ, RM, AVN, MN), pp. 109–122.