• Corpus ID: 5107918

An Immune System Inspired Approach to Automated Program Verification

  title={An Immune System Inspired Approach to Automated Program Verification},
  author={Soumya Jyoti Banerjee},
An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are discussed and the field of AIS is briefly reviewed. It is proposed to use this AIS algorithm for a specific automated program verification task: that of predicting shape of program invariants. It is shown that the algorithm correctly predicts program invariant shape for a variety of benchmarked programs. 

Figures from this paper

Optimal Strategies for Virus Propagation
Questions about whether common viruses have actually settled into an optimum, the role for reliability and whether experimental infections of hosts with non-endemic strains could help elicit answers about viral progression are raised.
An Immune System Inspired Theory for Crime and Violence in Cities
Crime is ubiquitous and has been around for millennia. Crime is analogous to a pathogenic infection and police response to it is similar to an immune response. The biological immune system is also
A Teaching Resource for Complex Systems, Machine Learning and Computational Biology
This work presents a collection of teaching materials related to complex systems, machine learning, computational biology and computational immunology, including a Berkeley Madonna file that fits a simple SIR model to infection data and a curve fitter option.
A computational technique to estimate within-host productively infected cell lifetimes in emerging viral infections
A novel technique to computationally estimate an important parameter of within-host viral infection: the lifespan of infected cells is developed and suggests that the most abundant infectible cells are short-lived and could motivate therapy that targets these particular cells.
Abstract Formal Framework for Method Overriding
An abstract formal framework with the integration of the three elements by using abstract interpretation and Lazy Behavioral Subtyping and abstract interpretation is proposed to achieve automated verification of method overriding in OOPL.
A Biologically Inspired Model of Distributed Online Communication Supporting Efficient Search and Diffusion of Innovation
This work argues that organization into communities would decrease overall decentralized search times, and introduces the notion of a community size that increases with the size of the system, which is shown to reduce the time to search for information in networks.
A Multi-Agent System Approach to Load-Balancing and Resource Allocation for Distributed Computing
Experiments done on a simulator show that the distributed resource allocation protocol (dRAP) algorithm outperforms the FIFO scheduling algorithm on time to empty queue, average waiting time, and CPU utilization.
A framework for designing compassionate and ethical artificial intelligence and artificial consciousness
This work presents a computational framework for engineering intelligence, empathy, and consciousness in machines, and hopes that this framework will allow us to better understand consciousness and design machines that are conscious and empathetic.
Analysis of a Planetary Scale Scientific Collaboration Dataset Reveals Novel Patterns
A complex systems dynamical model explains how the scientific collaboration networks of impoverished and developing nations change over time and gives insights and guidelines into how scientific development of developing countries can be guided.
Competitive Dynamics between Criminals and Law Enforcement Explains the Super-Linear Scaling of Crime in Cities
While cities have been the engine for innovation and growth for many millennia, they have also endured disproportionately more crime than smaller cities. Similarly to other urban sociological


Artificial Immune Systems and Their Applications
  • D. Dasgupta
  • Computer Science
    Springer Berlin Heidelberg
  • 1999
This book provides an overview of artificial immune systems, explaining its applications in areas such as immunological memory, anomaly detection algorithms, and modeling the effects of prior infection on vaccine efficacy.
Immunity by design: an artificial immune system
An artificial immune system is described that is distributed, robust, dynamic, diverse, diverse and adaptive, and places many features of the vertebrate immune system in the context of the problem of protecting a network of computers from illegal intrusions.
Learning using an artificial immune system
This paper illustrates how an artificial immune system can capture the basic elements of the immune system and exhibit some of its chief characteristics, and applies the AIS to a real-world problem: the recognition of promoters in DNA sequences.
Artificial Immune Systems: Part I-Basic Theory and Applications
The immune engineering makes use of immunological concepts in order to create tools for solving demanding machine-learning problems using information extracted from the problems themselves, and the development of several immune engineering algorithms are discussed.
Learning and optimization using the clonal selection principle
This paper proposes a computational implementation of the clonal selection principle that explicitly takes into account the affinity maturation of the immune response and derives two versions of the algorithm, derived primarily to perform machine learning and pattern recognition tasks.
"Clonal selection and after," and after.
  • R. Gershon
  • Biology
    The New England journal of medicine
  • 1979
The central feature of the immune system is that it usually manages to distinguish precisely between normal tissue of the body and foreign material. Immunologic destruction of microbial agents and ...
The clonal selection theory of acquired immunity
The clonal selection theory of acquired immunity is studied as a theory of selection for immunity in the context of infectious disease.