BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Estonia
1 × Hungary
1 × Ireland
1 × Spain
1 × Switzerland
5 × USA
Collaborated with:
D.Kapur E.T.Barr M.V.Hermenegildo D.Stefanovic S.Gulwani C.Bird O.Lhoták A.Banerjee J.Caballero G.Grieco A.Nappa R.Majumdar G.Barthe J.M.Crespo C.Kunz M.Méndez-Lojo E.Maurer D.Moseley G.Seth
Talks about:
analysi (6) heap (5) collect (3) shape (3) relat (3) program (2) travel (2) debug (2) time (2) free (2)

Person: Mark Marron

DBLP DBLP: Marron:Mark

Contributed to:

OOPSLA 20142014
SIGMOD 20142014
ISSTA 20132013
PPoPP 20132013
CC 20122012
ISSTA 20122012
VMCAI 20102010
ISMM 20092009
CC 20082008
PASTE 20082008
PASTE 20072007
FSE 20162016

Wrote 12 papers:

OOPSLA-2014-BarrM #debugging #named
Tardis: affordable time-travel debugging in managed runtimes (ETB, MM), pp. 67–82.
SIGMOD-2014-GulwaniM #data analysis #interactive #named #natural language #programming #spreadsheet
NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation (SG, MM), pp. 803–814.
Collecting a heap of shapes (ETB, CB, MM), pp. 123–133.
PPoPP-2013-BartheCKGM #relational #synthesis #verification
From relational verification to SIMD loop synthesis (GB, JMC, SG, CK, MM), pp. 123–134.
CC-2012-MarronLB #analysis #paradigm #programming
Programming Paradigm Driven Heap Analysis (MM, OL, AB), pp. 41–60.
ISSTA-2012-CaballeroGMN #detection #named #pointer
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities (JC, GG, MM, AN), pp. 133–143.
VMCAI-2010-MarronMSK #analysis #set
Shape Analysis with Reference Set Relations (MM, RM, DS, DK), pp. 247–262.
ISMM-2009-MarronKH #identification
Identification of logically related heap regions (MM, DK, MVH), pp. 89–98.
CC-2008-MarronHKS #analysis #graph #modelling #performance
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models (MM, MVH, DK, DS), pp. 245–259.
PASTE-2008-MarronMHSK #analysis #array #recursion
Sharing analysis of arrays, collections, and recursive structures (MM, MML, MVH, DS, DK), pp. 43–49.
PASTE-2007-MarronSHK #analysis #library
Heap analysis in the presence of collection libraries (MM, DS, MVH, DK), pp. 31–36.
FSE-2016-BarrMMMS #debugging #javascript
Time-travel debugging for JavaScript/Node.js (ETB, MM, EM, DM, GS), pp. 1003–1007.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.