Conference Papers
-
Declarative Assembly of Web Applications from Predefined Concepts
S. Perez De Rosso, D. Jackson,
M. Archie, C. Lao, and B. McNamara III.
In Proceedings of the 2019 ACM SIGPLAN International
Symposium on New Ideas, New Paradigms, and Reflections on
Programming and Software (Onward! 2019)
-
Purposes, Concepts, Misfits, and a Redesign of Git
S. P. De Rosso and D. Jackson.
In
Proceedings of the 2016 ACM SIGPLAN International Conference
on Object-Oriented Programming, Systems, Languages, and
Applications (OOPSLA 2016)
-
What's Wrong with Git? A Conceptual Design Analysis
S. Perez De Rosso and D. Jackson.
In Proceedings of the 2013 ACM SIGPLAN International
Symposium on New Ideas, New Paradigms, and Reflections on
Programming and Software (Onward! 2013)
-
Parallel Bounded Analysis in Code with Rich Invariants by Refinement
of Field Bounds
N. Rosner, J. Galeotti, S. Bermúdez,
G. Marucci Blas, S. Perez De Rosso, L. Pizzagalli,
L. Zemín, and M. F. Frias.
In
Proceedings of the 2013 International Symposium on Software
Testing and Analysis (ISSTA 2013)
Book Chapters
Theses