Jim Benvenuto on EPITAXIS

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.