Mark Marron
Identifiers
- name variant Mark Marron 0.60 · backfill
Papers (7)
- Embedded Made Easy -- Rethinking Embedded + Cloud Software Development (WIP) cs.DC · 2026 · author #2
- SafeStrings: Representing Strings as Structured Data cs.PL · 2019 · author #2
- Are My Invariants Valid? A Learning Approach cs.SE · 2019 · author #4
- McFly: Time-Travel Debugging for the Web cs.PL · 2018 · author #4
- Program Synthesis using Natural Language cs.PL · 2015 · author #6
- Abstracting Runtime Heaps for Program Understanding cs.PL · 2012 · author #1
- Structural Analysis: Shape Information via Points-To Computation cs.PL · 2012 · author #1
Mentions
- 1509.00413 #6 · backfill · confidence 0.70 Mark Marron
- 1201.1327 #1 · backfill · confidence 0.70 Mark Marron
- 1201.1277 #1 · backfill · confidence 0.70 Mark Marron
Frequent Coauthors
- Aditya Desai 1 shared papers
- Amey Karkare 1 shared papers
- Anthony Arnold 1 shared papers
- Cesar Sanchez 1 shared papers
- David Clark 1 shared papers
- David Kelly 1 shared papers
- Earl T. Barr 1 shared papers
- Emery D. Berger 1 shared papers
- James Mickens 1 shared papers
- John Vilk 1 shared papers
- Manuel Fahndrich 1 shared papers
- Nidhi Jain 1 shared papers
- Oleksandr Polozov 1 shared papers
- Premkumar T. Devanbu 1 shared papers
- Sailesh R 1 shared papers
- Subhajit Roy 1 shared papers
- Sumit Gulwani 1 shared papers
- Vincent J. Hellendoorn 1 shared papers
- Vineet Hingorani 1 shared papers
- Zhendong Su 1 shared papers