Mark Marron, Ph.D.

    Calculated based on number of publications stored in Pure and citations from Scopus
    20042023

    Research activity 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 proceedingConference contributionpeer-review

    • 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 proceedingConference contributionpeer-review

      Open Access
      1 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 journalEditorial

      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 journalArticlepeer-review

      Open Access
      16 Scopus citations
    • Semantics of asynchronous JavaScript

      Loring, M. C., Marron, M. & Leijen, D., Oct 24 2017, In: ACM SIGPLAN Notices. 52, 11, p. 51-62 12 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
      6 Scopus citations