| What's wrong with git? a conceptual design analysis S Perez De Rosso, D Jackson Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013 | 69 | 2013 |
| Purposes, concepts, misfits, and a redesign of git SP De Rosso, D Jackson Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 29 | 2016 |
| Declarative assembly of web applications from predefined concepts S Perez De Rosso, D Jackson, M Archie, C Lao, BA McNamara III Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas …, 2019 | 16 | 2019 |
| Parallel bounded analysis in code with rich invariants by refinement of field bounds N Rosner, J Galeotti, S Bermúdez, GM Blas, S Perez De Rosso, ... Proceedings of the 2013 International Symposium on Software Testing and …, 2013 | 10 | 2013 |
| Stryker: Scaling specification-based program repair by pruning infeasible mutants with sat L Zemín, SG Brida, S Bermúdez, SP De Rosso, N Aguirre, A Mili, A Jaoua, ... arXiv preprint arXiv:1910.14011, 2019 | 4 | 2019 |
| A conceptual design analysis of Git S Perez De Rosso Massachusetts Institute of Technology, 2015 | | 2015 |
Daniel JacksonMITVerified email at mit.edu
