Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
ongoing_projects
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
North American invasion of Spotted-Wing Drosophila (Drosophila suzukii): A mechanistic model of population dynamics
Published in Ecological Modelling, 2016
Temperature-based fruit fly population modelling; work from when I was a research assistant in undergrad (I did the math).
The impacts of climate change on the abundance and distribution of the Spotted Wing Drosophila (Drosophila suzukii) in the United States and Canada
Published in PeerJ, 2017
An application of the fruit fly population model, running it over various predicted temperature models to observe how the populations would respond to climate change.
The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
Published in Proc. ACM Programming Languages, OOPSLA, 2017
Taking advantage of existing VM typechecks to minimize runtime typechecks, resulting in a more performant gradually typed JavaScript.
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Languages
Published in ECOOP, 2019
Introducing nondeterministic semantics to allow us some metatheory in a well typed language with a foreign function interface, without requiring the full semantics of the foreign language. [talk included]
Enabling Additional Parallelism in Asynchronous JavaScript Applications
Published in ECOOP, 2021
Static side-effect analysis to identify independent asynchronous computations, and refactoring to reorder these statements and enable concurrent execution. [talk included]
Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs
Published in TSE, 2022
Large-scale static analysis of JavaScript code and development of statistical model to automatically determine dead event listener registrations in popular event-driven APIs.
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks
Published in ICSE, 2022
Test generation for JavaScript API functions with asynchronous callback arguments. [talk included]
npm-filter: Automating the mining of dynamic information from npm packages
Published in MSR, 2022
Tool for automating the mining of dynamic information from npm packages and/or GitHub projects (in JavaScript/TypeScript)
Stubbifier: Debloating Dynamic JavaScript Applications
Published in ESME, 2022
Debloating JavaScript applications by identifying untested code via a callgraph analysis, and replacing this code with stubs to dynamically load it if needed.
A statistical approach for finding property-access errors
arXiv preprint , 2023
Large-scale static analysis of JavaScript code and development of statistical model to automatically determine incorrect property accesses, and client analysis to identify true positives in code bases (adaption of the event-listener registration error pattern detection approach).
The effects of computational resources on flaky tests
In submission to IEEE TSE, 2023
A tool for automatic identification of Resource-Affected Flaky tests (in Java, Python, and JavaScript code bases), and reporting resource configurations in which tests are (most) stable.
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.