SAND: a static analysis approach for detecting SQL antipatterns. - Yingjun Lyu; Sasha Volokh; William G. J. Halfond; Omer Tripp (ISSTA, 2021)

Static Analysis for Automated Identification of Valid Game Actions During Exploration. - Sasha Volokh; William G. J. Halfond (FDG, 2022)

Automatically Defining Game Action Spaces for Exploration Using Program Analysis. - Sasha Volokh; William G. J. Halfond (AIIDE, 2023)

Automatic Action Space Specification for Deep Reinforcement Learning in Games via Program Analysis. - Sasha Volokh; William G. J. Halfond (CoG, 2025)