There are the references you list on your job application. Then there are the people whose opinions of you really matter. Almost everyone can cherry-pick a few former colleagues willing to say nice ...

Abstract: Satisfiability Modulo Theories (SMT) plays a critical role in various software engineering applications, including program verification, symbolic execution, and automated test generation.

Abstract: Linear fractional optimization differs from traditional methods in that the objective function in such problems has the form of a fraction, where the numerator and denominator are linear ...