Mark Marron

According to our database, Mark Marron authored at least 30 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents.

Mark Marron

Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, 2023

Programming Languages for AI Programing Agents (Invited Talk).

Mark Marron

Proceedings of the 19th ACM SIGPLAN International Symposium on Dynamic Languages, 2023

2022

High Assurance Software for Financial Regulation and Business Platforms.

Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2019

SafeStrings: Representing Strings as Structured Data.

David Kelly, Mark Marron, David Clark, Earl T. Barr

CoRR, 2019

Are My Invariants Valid? A Learning Approach.

Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov, Mark Marron

CoRR, 2019

2018

Mining Semantic Loop Idioms.

Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar T. Devanbu, Mark Marron, Charles Sutton

IEEE Trans. Software Eng., 2018

McFly: Time-Travel Debugging for the Web.

John Vilk, Emery D. Berger, James Mickens, Mark Marron

CoRR, 2018

Log++ logging for a cloud-native world.

Mark Marron

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2017

Semantics of asynchronous JavaScript.

Matthew C. Loring, Mark Marron, Daan Leijen

Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23, 2017

2016

Time-travel debugging for JavaScript/Node.js.

Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Program synthesis using natural language.

Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

User Interaction Models for Disambiguation in Programming by Example.

Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani

Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

2014

NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation.

Sumit Gulwani, Mark Marron

Proceedings of the International Conference on Management of Data, 2014

Tardis: affordable time-travel debugging in managed runtimes.

Earl T. Barr, Mark Marron

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Abstracting Runtime Heaps for Program Understanding.

Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich

IEEE Trans. Software Eng., 2013

From relational verification to SIMD loop synthesis.

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Collecting a heap of shapes.

Earl T. Barr, Christian Bird, Mark Marron

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

Structural Analysis: Shape Information via Points-To Computation

Mark Marron

CoRR, 2012

Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities.

Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Programming Paradigm Driven Heap Analysis.

Mark Marron, Ondrej Lhoták, Anindya Banerjee

Proceedings of the Compiler Construction - 21st International Conference, 2012

2011

Preface.

Pierre Ganty, Mark Marron

Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

2010

Shape Analysis with Reference Set Relations.

Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur

Proceedings of the Verification, 2010

2009

Identification of logically related heap regions.

Mark Marron, Deepak Kapur, Manuel V. Hermenegildo

Proceedings of the 8th International Symposium on Memory Management, 2009

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

Sharing analysis of arrays, collections, and recursive structures.

Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.

Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.

Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Heap analysis in the presence of collection libraries.

Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2006

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.

Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo

Proceedings of the Languages and Compilers for Parallel Computing, 2006

2004

Genomic Distances under Deletions and Insertions.

Mark Marron, Krister M. Swenson, Bernard M. E. Moret

Theor. Comput. Sci., 2004