NDLI: Bias-variance tradeoffs in program analysis

Please wait, while we are loading the content...

Modular reasoning about concurrent higher-order imperative programs

A galois connection calculus for abstract interpretation

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation

Tracing compilation by abstract interpretation

A trusted mechanised JavaScript specification

Bias-variance tradeoffs in program analysis

A verified information-flow architecture

Bridging boolean and quantitative synthesis using smoothed proof search

30 years of research and development around Coq

The essence of Reynolds

Freeze after writing: quasi-deterministic parallel programming with LVars

On coinductive equivalences for higher-order probabilistic functional programs

Modular, higher-order cardinality analysis in theory and practice

Optimal dynamic partial order reduction

Authenticated data structures, generically

Parametric completeness for separation theories

From parametricity to conservation laws, via Noether's theorem

Abstract acceleration of general linear loops

Toward general diagnosis of static errors

Battery transition systems

Abstract effects and proof-relevant logical relations

A nonstandard standardization theorem

Backpack: retrofitting Haskell with interfaces

A type-directed abstraction refinement approach to higher-order model checking

An operational and axiomatic semantics for non-determinism and sequence points in C

Abstract satisfaction

CakeML: a verified implementation of ML

A constraint-based approach to solving games on infinite graphs

Replicated data types: specification, verification, optimality

Probabilistic coherence spaces are fully abstract for probabilistic PCF

Profiling for laziness

Modular reasoning about heap paths via effectively propositional formulas

Gradual typing embedded securely in JavaScript

Proof search for propositional abstract separation logics via labelled sequents

A relationally parametric model of dependent type theory

Minimization of symbolic automata

Counter-factual typing for debugging type errors

Symbolic optimization with SMT solvers

Parametric effect monads and semantics of effect systems

Closed type families with overlapping equations

Combining proofs and programs in a dependently typed language

Fissile type analysis: modular checking of almost everywhere invariants

NetKAT: semantic foundations for networks

Proofs that count

Probabilistic relational verification for cryptographic implementations

Sound compilation of reals

Verifying eventual consistency of optimistic replication systems

Tabular: a schema-driven probabilistic programming language

Fair reactive programming

A sound and complete abstraction for reasoning about parallel prefix sums

Sound input filter generation for integer overflow errors

A proof system for separation logic with magic wand

Game semantics for interface middleweight Java

Consistency analysis of decision-making programs

Applying quantitative semantics to higher-order quantum computing

Bias-variance tradeoffs in program analysis

Content Provider	ACM Digital Library
Author	Nori, Aditya V. Sharma, Rahul Aiken, Alex
Abstract	It is often the case that increasing the precision of a program analysis leads to worse results. It is our thesis that this phenomenon is the result of fundamental limits on the ability to use precise abstract domains as the basis for inferring strong invariants of programs. We show that bias-variance tradeoffs, an idea from learning theory, can be used to explain why more precise abstractions do not necessarily lead to better results and also provides practical techniques for coping with such limitations. Learning theory captures precision using a combinatorial quantity called the VC dimension. We compute the VC dimension for different abstractions and report on its usefulness as a precision metric for program analyses. We evaluate cross validation, a technique for addressing bias-variance tradeoffs, on an industrial strength program verification tool called YOGI. The tool produced using cross validation has significantly better running time, finds new defects, and has fewer time-outs than the current production version. Finally, we make some recommendations for tackling bias-variance tradeoffs in program analysis.
Starting Page	127
Ending Page	137
Page Count	11
File Format	PDF MP4
ISBN	9781450325448
DOI	10.1145/2535838.2535853
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-01-11
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Machine learning Verification Program analysis
Content Type	Audio Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Bias-variance tradeoffs in program analysis

A.: Bias-variance tradeoffs in program analysis

Bias-Variance Tradeoffs in Program Analysis

Software reliability via machine learning (invited talk)

Bias-Variance Tradeoffs in Single-Sample Binary Gradient Estimators

Synonyms bias-variance trade-offs: novel applications bias-variance trade-offs, bias plus variance. Definition (2007).

Bias-Variance Tradeoffs in Joint Spectral Embeddings

Bias-Variance Tradeoffs in Recombination Rate Estimation.

Generalized Emphatic Temporal Difference Learning: Bias-Variance Analysis

Bias-variance tradeoffs in program analysis

Similar Documents

Bias-variance tradeoffs in program analysis

A.: Bias-variance tradeoffs in program analysis

Bias-Variance Tradeoffs in Program Analysis

Software reliability via machine learning (invited talk)

Bias-Variance Tradeoffs in Single-Sample Binary Gradient Estimators

Synonyms bias-variance trade-offs: novel applications bias-variance trade-offs, bias plus variance. Definition (2007).

Bias-Variance Tradeoffs in Joint Spectral Embeddings

Bias-Variance Tradeoffs in Recombination Rate Estimation.

Generalized Emphatic Temporal Difference Learning: Bias-Variance Analysis

Bias-variance tradeoffs in program analysis