Attribute-based Checking of C++ Move Semantics. - Áron Baráth; Zoltán Porkoláb (SQAMIA, 2014)

Life without implicit casts: safe type system in C++. - Áron Baráth; Zoltán Porkoláb (BCI, 2015)

Compile-time Unit Testing. - Áron Baráth; Zoltán Porkoláb (SQAMIA, 2015)

Automatic Checking of the Usage of the C++11 Move Semantics. - Áron Baráth; Zoltán Porkoláb (Acta Cybern., 2015)

Welltype: Language elements for multiparadigm programming. - Áron Baráth; Zoltán Porkoláb (FedCSIS (Position Papers), 2017)

Towards Safer Programming Language Constructs - Áron Baráth (2019)