| 2024 | Onward | A Programming Language for Data and Configuration! | Mark Marron |
| 2023 | DLS | Programming Languages for AI Programing Agents (Invited Talk). | Mark Marron |
| 2023 | Onward | Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents. | Mark Marron |
| 2022 | VMCAI | High Assurance Software for Financial Regulation and Business Platforms. | Stephen Goldbaum, Attila Mihly, Tosha Ellison, Earl T. Barr, Mark Marron |
| 2018 | DLS | Log++ logging for a cloud-native world. | Mark Marron |
| 2017 | DLS | Semantics of asynchronous JavaScript. | Matthew C. Loring, Mark Marron, Daan Leijen |
| 2016 | ICSE | Program synthesis using natural language. | Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy |
| 2015 | UIST | User Interaction Models for Disambiguation in Programming by Example. | Mikal Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani |
| 2014 | OOPSLA | Tardis: affordable time-travel debugging in managed runtimes. | Earl T. Barr, Mark Marron |
| 2014 | SIGMOD | NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. | Sumit Gulwani, Mark Marron |
| 2013 | ISSTA | Collecting a heap of shapes. | Earl T. Barr, Christian Bird, Mark Marron |
| 2013 | PPoPP | From relational verification to SIMD loop synthesis. | Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, Csar Kunz, Mark Marron |
| 2012 | CC | Programming Paradigm Driven Heap Analysis. | Mark Marron, Ondrej Lhotk, Anindya Banerjee |
| 2012 | ISSTA | Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. | Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa |
| 2010 | VMCAI | Shape Analysis with Reference Set Relations. | Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur |
| 2008 | CC | Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. | Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic |
| 2005 | ALENEX | Approximating the True Evolutionary Distance between Two Genomes. | Krister M. Swenson, Mark Marron, Joel V. Earnest-DeYoung, Bernard M. E. Moret |
| 2003 | COCOON | Genomic Distances under Deletions and Insertions. | Mark Marron, Krister M. Swenson, Bernard M. E. Moret |