Genomic Distances under Deletions and Insertions. - Mark Marron; Krister M. Swenson; Bernard M. E. Moret (Theor. Comput. Sci., 2004)

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. - Mark Marron; Deepak Kapur; Darko Stefanovic; Manuel V. Hermenegildo (LCPC, 2006)

Heap analysis in the presence of collection libraries. - Mark Marron; Darko Stefanovic; Manuel V. Hermenegildo; Deepak Kapur (PASTE, 2007)

Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. - Mark Marron; Manuel V. Hermenegildo; Deepak Kapur; Darko Stefanovic (CC, 2008)

Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. - Mark Marron; Darko Stefanovic; Deepak Kapur; Manuel V. Hermenegildo (LCPC, 2008)

Sharing analysis of arrays, collections, and recursive structures. - Mark Marron; Mario Méndez-Lojo; Manuel V. Hermenegildo; Darko Stefanovic; Deepak Kapur (PASTE, 2008)

Approximating the true evolutionary distance between two genomes. - Krister M. Swenson; Mark Marron; Joel V. Earnest-DeYoung; Bernard M. E. Moret (ACM J. Exp. Algorithmics, 2008)

Identification of logically related heap regions. - Mark Marron; Deepak Kapur; Manuel V. Hermenegildo (ISMM, 2009)

Shape Analysis with Reference Set Relations. - Mark Marron; Rupak Majumdar; Darko Stefanovic; Deepak Kapur (VMCAI, 2010)

Preface. - Pierre Ganty; Mark Marron (Bytecode@ETAPS, 2011)

Programming Paradigm Driven Heap Analysis. - Mark Marron; Ondrej Lhoták; Anindya Banerjee 001 (CC, 2012)

Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. - Juan Caballero; Gustavo Grieco; Mark Marron; Antonio Nappa (ISSTA, 2012)

Structural Analysis: Shape Information via Points-To Computation - Mark Marron (CoRR, 2012)

Collecting a heap of shapes. - Earl T. Barr; Christian Bird; Mark Marron (ISSTA, 2013)

From relational verification to SIMD loop synthesis. - Gilles Barthe; Juan Manuel Crespo; Sumit Gulwani; César Kunz; Mark Marron (PPoPP, 2013)

Abstracting Runtime Heaps for Program Understanding. - Mark Marron; César Sánchez 001; Zhendong Su 001; Manuel Fähndrich (IEEE Trans. Software Eng., 2013)

Tardis: affordable time-travel debugging in managed runtimes. - Earl T. Barr; Mark Marron (OOPSLA, 2014)

NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. - Sumit Gulwani; Mark Marron (SIGMOD Conference, 2014)

User Interaction Models for Disambiguation in Programming by Example. - Mikaël Mayer; Gustavo Soares; Maxim Grechkin; Vu Le 002; Mark Marron; Oleksandr Polozov; Rishabh Singh; Benjamin G. Zorn; Sumit Gulwani (UIST, 2015)

Program synthesis using natural language. - Aditya Desai; Sumit Gulwani; Vineet Hingorani; Nidhi Jain; Amey Karkare; Mark Marron; Sailesh R; Subhajit Roy 001 (ICSE, 2016)

Time-travel debugging for JavaScript/Node.js. - Earl T. Barr; Mark Marron; Ed Maurer; Dan Moseley; Gaurav Seth (SIGSOFT FSE, 2016)

Semantics of asynchronous JavaScript. - Matthew C. Loring; Mark Marron; Daan Leijen (DLS, 2017)

Log++ logging for a cloud-native world. - Mark Marron (DLS, 2018)

McFly: Time-Travel Debugging for the Web. - John Vilk; Emery D. Berger; James Mickens; Mark Marron (CoRR, 2018)

Mining Semantic Loop Idioms. - Miltiadis Allamanis; Earl T. Barr; Christian Bird; Premkumar T. Devanbu; Mark Marron; Charles Sutton (IEEE Trans. Software Eng., 2018)

Are My Invariants Valid? A Learning Approach. - Vincent J. Hellendoorn; Premkumar T. Devanbu; Oleksandr Polozov; Mark Marron (CoRR, 2019)

SafeStrings: Representing Strings as Structured Data. - David A. Kelly; Mark Marron; David Clark 001; Earl T. Barr (CoRR, 2019)

High Assurance Software for Financial Regulation and Business Platforms. - Stephen Goldbaum; Attila Mihály; Tosha Ellison; Earl T. Barr; Mark Marron (VMCAI, 2022)

Programming Languages for AI Programing Agents (Invited Talk). - Mark Marron (DLS, 2023)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents. - Mark Marron (Onward!, 2023)

A New Generation of Intelligent Development Environments. - Mark Marron (IDE@ICSE, 2024)

A Programming Language for Data and Configuration! - Mark Marron (Onward!, 2024)

Looking into Black Box Code Language Models. - Muhammad Umair Haider; Umar Farooq 002; A. B. Siddique 001; Mark Marron (CoRR, 2024)

An Effectively Ω(c) Language and Runtime. - Mark Marron (CoRR, 2024)