default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMark Marron
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c26]Mark Marron
:
A New Generation of Intelligent Development Environments. IDE@ICSE 2024: 43-46- [c25]Mark Marron:
A Programming Language for Data and Configuration! Onward! 2024: 147-161 - [i10]Mark Marron:
A New Generation of Intelligent Development Environments. CoRR abs/2406.09577 (2024) - [i9]Muhammad Umair Haider, Umar Farooq, A. B. Siddique, Mark Marron:
Looking into Black Box Code Language Models. CoRR abs/2407.04868 (2024) - [i8]Mark Marron:
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents. CoRR abs/2407.06356 (2024) - [i7]Mark Marron:
An Effectively Ω(c) Language and Runtime. CoRR abs/2409.20494 (2024) - 2023
- [c24]Mark Marron:
Programming Languages for AI Programing Agents (Invited Talk). DLS 2023: 7 - [c23]Mark Marron:
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents. Onward! 2023: 136-152 - 2022
- [c22]Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron:
High Assurance Software for Financial Regulation and Business Platforms. VMCAI 2022: 108-126
2010 – 2019
- 2019
- [i6]Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov, Mark Marron:
Are My Invariants Valid? A Learning Approach. CoRR abs/1903.06089 (2019) - [i5]David A. Kelly, Mark Marron, David Clark, Earl T. Barr:
SafeStrings: Representing Strings as Structured Data. CoRR abs/1904.11254 (2019) - 2018
- [j4]Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar T. Devanbu, Mark Marron, Charles Sutton:
Mining Semantic Loop Idioms. IEEE Trans. Software Eng. 44(7): 651-668 (2018) - [c21]Mark Marron:
Log++ logging for a cloud-native world. DLS 2018: 25-36 - [i4]John Vilk, Emery D. Berger, James Mickens, Mark Marron:
McFly: Time-Travel Debugging for the Web. CoRR abs/1810.11865 (2018) - 2017
- [c20]Matthew C. Loring, Mark Marron, Daan Leijen:
Semantics of asynchronous JavaScript. DLS 2017: 51-62 - 2016
- [c19]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program synthesis using natural language. ICSE 2016: 345-356 - [c18]Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth:
Time-travel debugging for JavaScript/Node.js. SIGSOFT FSE 2016: 1003-1007 - 2015
- [c17]Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani:
User Interaction Models for Disambiguation in Programming by Example. UIST 2015: 291-301 - [i3]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program Synthesis using Natural Language. CoRR abs/1509.00413 (2015) - 2014
- [c16]Earl T. Barr, Mark Marron:
Tardis: affordable time-travel debugging in managed runtimes. OOPSLA 2014: 67-82 - [c15]Sumit Gulwani, Mark Marron:
NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. SIGMOD Conference 2014: 803-814 - 2013
- [j3]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39(6): 774-786 (2013) - [c14]Earl T. Barr, Christian Bird, Mark Marron:
Collecting a heap of shapes. ISSTA 2013: 123-133 - [c13]Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron:
From relational verification to SIMD loop synthesis. PPoPP 2013: 123-134 - 2012
- [c12]Mark Marron, Ondrej Lhoták, Anindya Banerjee:
Programming Paradigm Driven Heap Analysis. CC 2012: 41-60 - [c11]Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa:
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. ISSTA 2012: 133-143 - [i2]Mark Marron:
Structural Analysis: Shape Information via Points-To Computation. CoRR abs/1201.1277 (2012) - [i1]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. CoRR abs/1201.1327 (2012) - 2011
- [c10]Pierre Ganty, Mark Marron:
Preface. Bytecode@ETAPS 2011: 1 - [e1]Pierre Ganty, Mark Marron:
Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011. Electronic Notes in Theoretical Computer Science 279(1), Elsevier 2011 [contents] - 2010
- [c9]Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur:
Shape Analysis with Reference Set Relations. VMCAI 2010: 247-262
2000 – 2009
- 2009
- [c8]Mark Marron, Deepak Kapur, Manuel V. Hermenegildo:
Identification of logically related heap regions. ISMM 2009: 89-98 - 2008
- [j2]Krister M. Swenson, Mark Marron, Joel V. Earnest-DeYoung, Bernard M. E. Moret:
Approximating the true evolutionary distance between two genomes. ACM J. Exp. Algorithmics 12: 3.5:1-3.5:17 (2008) - [c7]Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic:
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259 - [c6]Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo:
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108 - [c5]Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49 - 2007
- [c4]Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur:
Heap analysis in the presence of collection libraries. PASTE 2007: 31-36 - 2006
- [c3]Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo:
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC 2006: 345-363 - 2005
- [c2]Krister M. Swenson, Mark Marron, Joel V. Earnest-DeYoung, Bernard M. E. Moret:
Approximating the True Evolutionary Distance between Two Genomes. ALENEX/ANALCO 2005: 121-129 - 2004
- [j1]Mark Marron, Krister M. Swenson, Bernard M. E. Moret:
Genomic Distances under Deletions and Insertions. Theor. Comput. Sci. 325(3): 347-360 (2004) - 2003
- [c1]Mark Marron, Krister M. Swenson, Bernard M. E. Moret:
Genomic Distances under Deletions and Insertions. COCOON 2003: 537-547
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-03 00:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
