General Information


October 7, 2016
Gabriel Scherer and Max New (Northeastern)
Speaker Selection Committee:
Gabriel Scherer (Northeastern), Max New (Northeastern), Jay McCarthy (UMass Lowell), and Arjun Guha (UMass Amherst)


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)
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)
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: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:30-03:55Programming with Continuous Spaces
Ben Sherman (Massachusetts Institute of Technology)

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