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.
-
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 -
Log++ logging for a cloud-native world
Marron, M., Oct 24 2018, In: DLS 2018 - Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, co-located with SPLASH 2018. p. 25-36 12 p.Research output: Contribution to journal › Editorial
3 Scopus citations -
Mining semantic loop idioms
Allamanis, M., Barr, E. T., Bird, C., Devanbu, P., Marron, M. & Sutton, C., Jul 1 2018, In: IEEE Transactions on Software Engineering. 44, 7, p. 651-668 18 p.Research output: Contribution to journal › Article › peer-review
Open Access19 Scopus citations