Our (prototype) implementation shows that our method computes tight threshold value bounds on a number of program pairs from the literature. The evaluated artifact (and its docker image) are available at https://t.co/D8zZ3G2qk1
I am very happy to see that the first first-author paper of my PhD time in @nartimsoole's lab has been published: https://t.co/0OWwMPWnQO.
Together with @nat_baranova and with the help of the amazing but twitterless Mar, we studied the essential E.coli division protein FtsA.