Research output per year
Research output per year
Personal profile
Education/Academic qualification
Doctor of Philosophy, University Of New Mexico
2008
Bachelor of Arts, University Of California - Berkeley
2002
Fingerprint
Dive into the research topics where Mark Marron is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration from the last 5 years on country level. Dive into details by clicking on the dots.
-
A New Generation of Intelligent Development Environments
Marron, M., Apr 20 2024, Proceedings - 2024 1st IDE Workshop, IDE 2024. p. 43-46 4 p. (Proceedings - 2024 1st IDE Workshop, IDE 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
Log++ logging for a cloud-native world
Marron, M., Oct 24 2018, In: ACM SIGPLAN Notices. 53, 8, p. 25-36 12 p.Research output: Contribution to journal › Article › peer-review
2 Scopus citations