Behavioral Non-portability in Scientific Numeric Computing. - Yijia Gu; Thomas Wahl; Mahsa Bayati; Miriam Leeser (Euro-Par, 2015)

Stabilizing Floating-Point Programs Using Provenance Analysis. - Yijia Gu; Thomas Wahl (VMCAI, 2017)

Identifying volatile numeric expressions in numeric computing applications. - Mahsa Bayati; Miriam Leeser; Yijia Gu; Thomas Wahl (Math. Comput. Simul., 2019)