Mark Marron

发表

Identification of logically related heap regions

Deepak Kapur, Manuel V. Hermenegildo, Mark Marron, 2009, ISMM '09.

User Interaction Models for Disambiguation in Programming by Example

Sumit Gulwani, Oleksandr Polozov, Rishabh Singh, 2015, UIST.

Collecting a heap of shapes

Christian Bird, Earl T. Barr, Mark Marron, 2013, ISSTA.

ARTISTE: Automatic Generation of Hybrid Data Structure Signatures from Binary Code Executions

Zhiqiang Lin, Juan Caballero, Gustavo Grieco, 2012 .

Time-travel debugging for JavaScript/Node.js

Earl T. Barr, Mark Marron, Ed Maurer, 2016, SIGSOFT FSE.

Are My Invariants Valid? A Learning Approach pdf

Premkumar T. Devanbu, Oleksandr Polozov, Mark Marron, 2019, ArXiv.

Structural Analysis: Shape Information via Points-To Computation pdf

Mark Marron, Mark Marron, 2012, ArXiv.

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

Juan Caballero, Gustavo Grieco, Antonio Nappa, 2012, ISSTA 2012.

Log++ logging for a cloud-native world

Mark Marron, Mark Marron, 2018, DLS.

Mining Semantic Loop Idioms from Big Code

Premkumar T. Devanbu, Christian Bird, Miltiadis Allamanis, 2016 .

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

Deepak Kapur, Manuel V. Hermenegildo, Darko Stefanovic, 2006, LCPC.

Genomic Distances under Deletions and Insertions

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

Tardis: affordable time-travel debugging in managed runtimes

Earl T. Barr, Mark Marron, 2014, OOPSLA.

Abstracting runtime heaps for program understanding

César Sánchez, Zhendong Su, Manuel Fähndrich, 2013, IEEE Transactions on Software Engineering.

Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models

Deepak Kapur, Manuel V. Hermenegildo, Darko Stefanovic, 2008, CC.

The MTSA Program Analysis System Whitepaper: July 22, 2008

Mark Marron, Mark Marron, 2008 .

Scalable Interprocedural Analysis A Pragmatic Approach

Ondrej Lhotak, Mark Marron, Anindya Banerjee, 2009 .

Semantics of asynchronous JavaScript

Daan Leijen, Mark Marron, Matthew C. Loring, 2017, DLS.

From relational verification to SIMD loop synthesis

Sumit Gulwani, Gilles Barthe, Juan Manuel Crespo, 2013, PPoPP '13.

Modeling the heap: a practical approach

Deepak Kapur, Mark Marron, D. Kapur, 2008 .

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

Deepak Kapur, Manuel V. Hermenegildo, Darko Stefanovic, 2008, LCPC.

McFly: Time-Travel Debugging for the Web pdf

John Vilk, Emery D. Berger, Mark Marron, 2018, ArXiv.

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

Sumit Gulwani, Mark Marron, Sumit Gulwani, 2014, SIGMOD Conference.

Sharing analysis of arrays, collections, and recursive structures

Deepak Kapur, Manuel V. Hermenegildo, Darko Stefanovic, 2008, PASTE '08.

Single-Core Performance is Still Relevant in the Multi-Core Era

Todd Mytkowicz, Mark Marron, Todd Mytkowicz, 2011 .

Regularized Programming with the Bosque Language

Mark Marron, 2019 .

Approximating the true evolutionary distance between two genomes

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

Preface

Pierre Ganty, Mark Marron, 2011, Electron. Notes Theor. Comput. Sci..

Heap Analysis Design: An Empirical Approach

Mark Marron, Mark Marron, 2014 .

Mining Semantic Loop Idioms

Premkumar T. Devanbu, Christian Bird, Miltiadis Allamanis, 2018, IEEE Transactions on Software Engineering.

Log++ logging for a cloud-native world

Mark Marron, 2018, SIGPLAN Notices.

Shape Analysis with Reference Set Relations

Rupak Majumdar, Deepak Kapur, Darko Stefanovic, 2010, VMCAI.

Programming Paradigm Driven Heap Analysis

Ondrej Lhoták, Anindya Banerjee, Mark Marron, 2012, CC.

SafeStrings: Representing Strings as Structured Data pdf

David Clark, David Kelly, Earl T. Barr, 2019, ArXiv.

Heap analysis in the presence of collection libraries

Deepak Kapur, Manuel V. Hermenegildo, Darko Stefanovic, 2007, PASTE '07.

A Gray Box Approach For High-Fidelity, High-Speed Time-Travel Debugging

John Vilk, Mark Marron, James Mickens, 2016 .

Program Synthesis Using Natural Language

Sumit Gulwani, Amey Karkare, Aditya Desai, 2015, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

Genomic Distances under Deletions and Insertions

Krister M. Swenson, Bernard M. E. Moret, Mark Marron, 2004, Theor. Comput. Sci..

High Assurance Software for Financial Regulation and Business Platforms

Earl T. Barr, Mark Marron, Stephen Goldbaum, 2022, VMCAI.

High-Level Heap Abstractions for Debugging Programs

Zhendong Su, Mark Marron, Cesar Sanchez, 2010 .

Approximating the true evolutionary distance between genomes

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