Email me if you would like a pdf copy of any of the papers which are behind paywalls.
You can also find my published papers on my Google Scholar profile.
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.
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).
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.
Published in MSR, 2022
Tool for automating the mining of dynamic information from npm packages and/or GitHub projects (in JavaScript/TypeScript)
Published in ICSE, 2022
Test generation for JavaScript API functions with asynchronous callback arguments. [talk included]
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.
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]
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]
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.
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.
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).