Parallel bounded analysis in code with rich invariants by refinement of field bounds. - Nicolás Rosner; Juan P. Galeotti; Santiago Bermúdez; Guido Marucci Blas; Santiago Perez De Rosso; Lucas Pizzagalli; Luciano Zemín; Marcelo F. Frias (ISSTA, 2013)

What's wrong with git?: a conceptual design analysis. - Santiago Perez De Rosso; Daniel Jackson 001 (Onward!, 2013)

Purposes, concepts, misfits, and a redesign of git. - Santiago Perez De Rosso; Daniel Jackson 001 (OOPSLA, 2016)

Declarative assembly of web applications from predefined concepts. - Santiago Perez De Rosso; Daniel Jackson 001; Maryam Archie; Czarina Lao; Barry A. McNamara III (Onward!, 2019)

Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. - Luciano Zemín; Simón Gutiérrez Brida; Santiago Bermúdez; Santiago Perez De Rosso; Nazareno Aguirre; Ali Mili 001; Ali Jaoua; Marcelo F. Frias (CoRR, 2019)