A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars. - Elton Maximo Cardoso; Daniel Freitas Pereira; Regina Sarah Monferrari Amorim De Paula; Leonardo Vieira dos Santos Reis; Rodrigo Geraldo Ribeiro (SBLP, 2022)

Type-based Termination Analysis for Parsing Expression Grammars. - Elton M. Cardoso; Regina Sarah Monferrari Amorim De Paula; Daniel Freitas Pereira; Leonardo Vieira dos Santos Reis; Rodrigo Geraldo Ribeiro (SAC, 2023)