Practical programming, validation and verification with finite-state machines: a library and its industrial application. - Paulo Salem (ICSE (Companion Volume), 2016)

User Interface Optimization using Genetic Programming with an Application to Landing Pages. - Paulo Salem (Proc. ACM Hum. Comput. Interact., 2017)

The case for experiment-oriented computing. - Paulo Salem (ESEC/SIGSOFT FSE, 2018)

TinyTroupe: An LLM-powered Multiagent Persona Simulation Toolkit. - Paulo Salem; Robert Sim; Christopher Olsen; Prerit Saxena; Rafael Barcelos; Yi Ding (CoRR, 2025)