Publications
Theory Refinement for Program Verification,
, SAT 2017, Melbourne, Australia, (2017)
Lookahead in Partitioning SMT,
, Formal Methods in Computer-Aided Design - FMCAD 2021, Online Conference, (2021)
Search-Space Partitioning for Parallelizing SMT Solvers,
, SAT 2015, (2015)
Lookahead-Based SMT Solving,
, LPAR-22, November 2018, Awassa, Ethiopia, (2018)
Flexible Interpolation for Efficient Model Checking,
, MEMICS 2016, (2016)