Mark Marron

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 14

Top Topics

Semantic Interpretation

Natural Language

Denotational Semantics

Top Venues

Publications

Mark Marron
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents. CoRR (2024)
Muhammad Umair Haider, Umar Farooq, A. B. Siddique, Mark Marron
Looking into Black Box Code Language Models. CoRR (2024)
Mark Marron
A New Generation of Intelligent Development Environments. CoRR (2024)
Mark Marron
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents. Onward! (2023)
Mark Marron
Programming Languages for AI Programing Agents (Invited Talk). DLS (2023)
Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron
High Assurance Software for Financial Regulation and Business Platforms. VMCAI (2022)
Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov, Mark Marron
Are My Invariants Valid? A Learning Approach. CoRR (2019)
David Kelly, Mark Marron, David Clark, Earl T. Barr
SafeStrings: Representing Strings as Structured Data. CoRR (2019)
Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar T. Devanbu, Mark Marron, Charles Sutton
Mining Semantic Loop Idioms. IEEE Trans. Software Eng. 44 (7) (2018)
John Vilk, Emery D. Berger, James Mickens, Mark Marron
McFly: Time-Travel Debugging for the Web. CoRR (2018)
Mark Marron
Log++ logging for a cloud-native world. DLS (2018)
Matthew C. Loring, Mark Marron, Daan Leijen
Semantics of asynchronous JavaScript. DLS (2017)
Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth
Time-travel debugging for JavaScript/Node.js. SIGSOFT FSE (2016)
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
Program synthesis using natural language. ICSE (2016)
Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani
User Interaction Models for Disambiguation in Programming by Example. UIST (2015)
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
Program Synthesis using Natural Language. CoRR (2015)
Sumit Gulwani, Mark Marron
NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. SIGMOD Conference (2014)
Earl T. Barr, Mark Marron
Tardis: affordable time-travel debugging in managed runtimes. OOPSLA (2014)
Earl T. Barr, Christian Bird, Mark Marron
Collecting a heap of shapes. ISSTA (2013)
Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron
From relational verification to SIMD loop synthesis. PPOPP (2013)
Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39 (6) (2013)
Mark Marron
Structural Analysis: Shape Information via Points-To Computation CoRR (2012)
Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
Abstracting Runtime Heaps for Program Understanding CoRR (2012)
Mark Marron, Ondrej Lhoták, Anindya Banerjee
Programming Paradigm Driven Heap Analysis. CC (2012)
Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. ISSTA (2012)
Pierre Ganty, Mark Marron
Preface. Electron. Notes Theor. Comput. Sci. 279 (1) (2011)
Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur
Shape Analysis with Reference Set Relations. VMCAI (2010)
Mark Marron, Deepak Kapur, Manuel V. Hermenegildo
Identification of logically related heap regions. ISMM (2009)
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC (2008)
Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur
Sharing analysis of arrays, collections, and recursive structures. PASTE (2008)
Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC (2008)
Krister M. Swenson, Mark Marron, Joel V. Earnest-DeYoung, Bernard M. E. Moret
Approximating the true evolutionary distance between two genomes. ACM J. Exp. Algorithmics 12 (2008)
Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur
Heap analysis in the presence of collection libraries. PASTE (2007)
Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC (2006)
Krister M. Swenson, Mark Marron, Joel V. Earnest-DeYoung, Bernard M. E. Moret
Approximating the True Evolutionary Distance between Two Genomes. ALENEX/ANALCO (2005)
Mark Marron, Krister M. Swenson, Bernard M. E. Moret
Genomic Distances under Deletions and Insertions. Theor. Comput. Sci. 325 (3) (2004)
Mark Marron, Krister M. Swenson, Bernard M. E. Moret
Genomic Distances under Deletions and Insertions. COCOON (2003)