Name: Jim Benvenuto on EPITAXIS
Start: 2016-09-28T19:00:00-07:00
End: 2016-09-28T22:00:00-07:00
Location: Yahoo Playa Vista

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.

Sam Lecuyer

Papers We Love, LA

Technology

Big Data

Intellectual Discussions

Software Development

Education & Technology

Critical Thinking

Computer Programming

Programming Languages

Computer Science

Distributed Systems

Cloud Computing

Jim Benvenuto on EPITAXIS

Yahoo Playa Vista

Share

Papers We Love, LA

Jim Benvenuto on EPITAXIS

Papers We Love, LA

Details

Members are also interested in