Finding Common RNA Secondary Structures: A Case Study on the Dynamic Parallelization of a Data-driven Recurrence. - Steven T. Stewart; Eric Aubanel; Patricia A. Evans (IPDPS Workshops, 2012)

Modelling and multi-objective optimization of quality attributes in variability-rich software. - Rafael Olaechea; Steven T. Stewart; Krzysztof Czarnecki 001; Derek Rayside (NFPinDSML@MoDELS, 2012)

Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. - Steven T. Stewart; Derek Rayside; Vijay Ganesh 001; Krzysztof Czarnecki 001 (VSTTE, 2016)

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. - William Zhang; Sebastian Banescu; Leonardo Pasos; Steven T. Stewart; Vijay Ganesh 001 (ISSRE, 2019)