Debin: Predicting Debug Information in Stripped Binaries. - Jingxuan He; Pesho Ivanov; Petar Tsankov; Veselin Raychev; Martin T. Vechev (CCS, 2018)

AStarix: Fast and Optimal Sequence-to-Graph Alignment. - Pesho Ivanov; Benjamin Bichsel; Harun Mustafa; André Kahles; Gunnar Rätsch; Martin T. Vechev (RECOMB, 2020)

Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds. - Pesho Ivanov; Benjamin Bichsel; Martin T. Vechev (RECOMB, 2022)

Optimal Sequence Alignment using A* - Pesho Ivanov (2023)