Santiago Perez De Rosso

According to our database, Santiago Perez De Rosso authored at least 5 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Ali Jaoua, Marcelo F. Frias

CoRR, 2019

Declarative assembly of web applications from predefined concepts.

Santiago Perez De Rosso, Daniel Jackson, Maryam Archie, Czarina Lao, Barry A. McNamara III

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

2016

Purposes, concepts, misfits, and a redesign of git.

Santiago Perez De Rosso, Daniel Jackson

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2013

What's wrong with git?: a conceptual design analysis.

Santiago Perez De Rosso, Daniel Jackson

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

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

Proceedings of the International Symposium on Software Testing and Analysis, 2013