This month, we'll hear from Jim Benvenuto on his research into EPITAXIS: A System for Syntactic and Semantic Software Queries using Deductive Retrieval and Symbolic Execution (http://files.meetup.com/18381002/EPITAXIS%20ASystemForSyntacticAndSemanticSoftwareQueriesUsingDeduc.pdf). If you've not seen Jim speak before, it's a real treat.
EPITAXIS: A System for Syntactic and Semantic Software Queries using Deductive Retrieval and Symbolic Execution
The stubborn persistence of Moore's law has enabled dramatic increases in the size and complexity of software. In addition, the information content of a program is spread over several different layers of abstraction. Superficially (and in our typical mode of interaction with an editor) a program is a sequence of characters, where its syntactic, semantic, pragmatic, and apobetic layers lay latent under deeper layers of abstraction.
Epitaxis is a language independent system designed to reify these layers of abstraction so they can be queried and reasoned over to allow software to be dealt with at the appropriate level of abstraction. In an analogous way that programs are used to model other systems, Epitaxis models software to allow access to its lexical, syntactic, and semantic layers, exposing execution state space to search and automated reasoning. In addition to funding bugs and aiding in understanding complex software this platform can be used to do machine learning over execution state space, and possibly a virtual environment for a machine agent to learn and explore software.
Food and drink will be provided by Yahoo.