Publications
- Aran: JavaScript Instrumentation for Heavyweight Dynamic Analysis
BENEVOL 2024 - First Author - Prioritising Server Side Reachability via Inter-process Concolic Testing
The Art, Science, and Engineering of Programming 2020 - Second Author - Concolic Testing of Full-Stack JavaScript Applications
BENEVOL 2018 - Second Author - Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
GPCE 2018 - First Author - Practical Information Flow Control for Web Applications
RV 2018 - Second Author - Linvail: A General-Purpose Platform for Shadow Execution of JavaScript
SANER 2016 - First Author - Dynamic Analysis Using JavaScript Proxies
ICSE 2015 (Poster) - First Author - Prevalence and Maintenance of Automated Functional Tests for Web Applications
ICSME 2014 - First Author - Run-time Validation of Behavioral Adaptations
COP 2014 - Second Author