Ellen Arteca

arteca.e [at] northeastern [dot] edu


During the year, I’m a PhD candidate at Northeastern University, where I’m a part of the Programming Languages lab working with my advisor Frank Tip. For my PhD thesis work, I’ve been applying program analysis to large codebases, and amalgamating the results of these analyses to learn more than can be inferred from a single program. This is particularly relevant to JavaScript, a highly dynamic language with features that limits what can be learned with traditional program analysis. I’ve worked on inferring bug patterns in event listener registrations and object property accesses, and on building/seeding feedback-directed test generators for JavaScript. I’ve also built a tool for automating the mining of dynamic metadata in npm packages.

This past summer 2021 I was an applied science intern with the Automated Reasoning Group at AWS Amazon, where I worked on a dataflow framework for SMT queries in Rust, so we could generate equisatisfiable queries with all string literals anonymized. This project is open sourced! Check it out at awslabs/rust-smt-ir/amzn-smt-string-transformer.

In summer 2019 I was a reseach engineering intern at GitHub (Semmle), where I was working on the JavaScript analysis package of the CodeQL language.

Prior to this, I did my masters at the University of Waterloo in the Programming Languages group, where I worked with my advisor Gregor Richards on a technique for fast gradual typing using the virtual machine. My undergraduate was at Laurentian University, where my research was in computational ecology, in fruit fly population modelling (there was a time where I didn’t work on programming languages!).

Feel free to email me.