Mark Marron

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