General Information
Date:
October 7, 2016Chairs:
Gabriel Scherer and Max New (Northeastern)Speaker Selection Committee:
Gabriel Scherer (Northeastern), Max New (Northeastern), Jay McCarthy (UMass Lowell), and Arjun Guha (UMass Amherst)
Schedule
10:00-10:25 Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
Diogenes Nunez (Tufts University)10:25-10:50 The Role of Constructive Approaches in Data Structure Generation and General Constraint-Solving
Ivan Kuraj (Massachusetts Institute of Technology)10:50-11:05 Break 11:05-11:30 Extraction of Cost Recurrences from Higher-Order Functional Programs
Norman Danner (Wesleyan University11:30-11:55 Algebraic Databases
Ryan Wisnesky (Categorical Informatics)11:55-01:20 Lunch 01:20-01:45 WoCMan: Programming with the Wisdom of the Crowd
Daniel W. Barowy (University of Massachusetts, Amherst)01:45-02:10 Self-Referential Mechanism for Dataflow Matrix Machines and Generalized Recurrent Neural Networks
Michael Bukatin (HERE North America LLC)02:10-02:25 Break 02:25-02:50 In-Depth Enforcement of Dynamic Integrity Taint Analysis
Sepehr Amir-Mohammadian (University of Vermont)02:50-03:15 Fission: Dynamic Tier-Splitting for JavaScript Web Applications
Rian Shambaugh (University of Massachusetts, Amherst)03:15-03:30 Break 03:30-03:55 Programming with Continuous Spaces
Ben Sherman (Massachusetts Institute of Technology)
| Last modified Monday, October 3rd, 2016 11:48:32am |