Verifying message-passing programs with dependent behavioural types. - Alceste Scalas; Nobuko Yoshida; Elias Benussi (PLDI, 2019)

Effpi: verified message-passing programs in Dotty. - Alceste Scalas; Nobuko Yoshida; Elias Benussi (SCALA@ECOOP, 2019)

Bias Out-of-the-Box: An Empirical Analysis of Intersectional Occupational Biases in Popular Generative Language Models. - Hannah Rose Kirk; Yennie Jun; Filippo Volpin; Haider Iqbal; Elias Benussi; Frédéric A. Dreyer; Aleksandar Shtedritski; Yuki M. Asano (NeurIPS, 2021)

How True is GPT-2? An Empirical Analysis of Intersectional Occupational Biases. - Hannah Kirk; Yennie Jun; Haider Iqbal; Elias Benussi; Filippo Volpin; Frédéric A. Dreyer; Aleksandar Shtedritski; Yuki Markus Asano (CoRR, 2021)

Individual Fairness Guarantees for Neural Networks. - Elias Benussi; Andrea Patanè; Matthew Wicker; Luca Laurenti; Marta Kwiatkowska (IJCAI, 2022)