News
08/2024
Papers on using Vector Addition Systems for program summarization to appear at
OOPSLA '24
and
RP '24
05/2021
Our paper on online SMT solver selection was accepted for publication at at
SAT '21
07/2020
My report on MedleySolver was accepted as part of the
ASE '20
student research competition