Benno + Kyle (Howell): Incremental Static Analysis
The analysis side of the project will have us building an interprocedural data-flow analysis framework on top of JSAna IR. I think it's likely that we will do a Type Analysis, adapting the Abstract Domains defined by Moller et al. in their SAS'09 paper.
On the incremental side of the project, we will attempt to use the OCaml implementation of Adapton to improve the efficiency of our (computationally very expensive) dataflow analysis. There are several relatively old papers on this topic (e.g. here and here), but we hope to also find more modern work on this topic to build upon.