Ellen Arteca
Ellen Arteca
Verified email at ccs.neu.edu
TitleCited byYear
The VM already knew that: leveraging compile-time knowledge to optimize gradual typing
G Richards, E Arteca, A Turcotte
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 55, 2017
162017
The impacts of climate change on the abundance and distribution of the Spotted Wing Drosophila (Drosophila suzukii) in the United States and Canada
AB Langille, EM Arteca, JA Newman
PeerJ 5, e3192, 2017
92017
North American invasion of Spotted-Wing Drosophila (Drosophila suzukii): A mechanistic model of population dynamics
AB Langille, EM Arteca, GD Ryan, LM Emiljanowicz, JA Newman
Ecological Modelling 336, 70-81, 2016
82016
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
A Turcotte, E Arteca, G Richards
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
2019
Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript
E Arteca
University of Waterloo, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–5