Perfil personal
Cuantificación de educación / académica
Doctor of Philosophy, University Of New Mexico
2008
Bachelor of Arts, University Of California - Berkeley
2002
Huella digital
Profundizar en los temas de investigación en los que Mark Marron está activo. Estas etiquetas de temas provienen de las obras de esta persona. Juntos, forma una huella digital única.
- 1 Perfiles similares
Colaboraciones y áreas de investigación principales de los últimos cinco años
Colaboración externa reciente a nivel de país/territorio. Para consultar los detalles, haga clic en los puntos o
-
A New Generation of Intelligent Development Environments
Marron, M., ago 7 2024, Proceedings - 2024 1st IDE Workshop, IDE 2024. p. 43-46 4 p. (Proceedings - 2024 1st IDE Workshop, IDE 2024).Producción científica: Conference contribution › revisión exhaustiva
Acceso abierto -
A Programming Language for Data and Configuration!
Marron, M., oct 17 2024, Onward! 2024 - Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2024. Edwards, J. & Taeumel, M. (eds.). p. 147-161 15 p. (Onward! 2024 - Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2024).Producción científica: Conference contribution › revisión exhaustiva
Acceso abierto -
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
Marron, M., oct 18 2023, Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023. van der Storm, T. & Hirschfeld, R. (eds.). p. 136-152 17 p. (Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2023).Producción científica: Conference contribution › revisión exhaustiva
Acceso abierto2 Citas (Scopus) -
High Assurance Software for Financial Regulation and Business Platforms
Goldbaum, S., Mihaly, A., Ellison, T., Barr, E. T. & Marron, M., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings. Finkbeiner, B. & Wies, T. (eds.). p. 108-126 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13182 LNCS).Producción científica: Conference contribution › revisión exhaustiva
Acceso abierto1 Cita (Scopus) -
Log++ logging for a cloud-native world
Marron, M., oct 24 2018, En: ACM SIGPLAN Notices. 53, 8, p. 25-36 12 p.Producción científica: Article › revisión exhaustiva
2 Citas (Scopus)