General Information

Date:

October 7, 2016
Chairs:
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

All the abstracts

10:00-10:25Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
Diogenes Nunez (Tufts University)
10:25-10:50The Role of Constructive Approaches in Data Structure Generation and General Constraint-Solving
Ivan Kuraj (Massachusetts Institute of Technology)
10:50-11:05Break
11:05-11:30Extraction of Cost Recurrences from Higher-Order Functional Programs
Norman Danner (Wesleyan University
11:30-11:55Algebraic Databases
Ryan Wisnesky (Categorical Informatics)
11:55-01:20Lunch
01:20-01:45WoCMan: Programming with the Wisdom of the Crowd
Daniel W. Barowy (University of Massachusetts, Amherst)
01:45-02:10Self-Referential Mechanism for Dataflow Matrix Machines and Generalized Recurrent Neural Networks
Michael Bukatin (HERE North America LLC)
02:10-02:25Break
02:25-02:50In-Depth Enforcement of Dynamic Integrity Taint Analysis
Sepehr Amir-Mohammadian (University of Vermont)
02:50-03:15Fission: Dynamic Tier-Splitting for JavaScript Web Applications
Rian Shambaugh (University of Massachusetts, Amherst)
03:15-03:30Break
03:30-03:55Programming with Continuous Spaces
Ben Sherman (Massachusetts Institute of Technology)


Last modified Monday, October 3rd, 2016 11:48:32am