Follow
Mark Marron
Mark Marron
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities
J Caballero, G Grieco, M Marron, A Nappa
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1802012
Nlyze: Interactive programming by natural language for spreadsheet data analysis and manipulation
S Gulwani, M Marron
Proceedings of the 2014 ACM SIGMOD international conference on Management of …, 2014
1222014
Program synthesis using natural language
A Desai, S Gulwani, V Hingorani, N Jain, A Karkare, M Marron, S Roy
Proceedings of the 38th International Conference on Software Engineering …, 2016
1062016
Approximating the true evolutionary distance between two genomes
KM Swenson, M Marron, JV Earnest-DeYoung, BME Moret
Journal of Experimental Algorithmics (JEA) 12, 1-17, 2008
1002008
Time travel debugging for browser components
M Marron, JW Mickens
US Patent 9,588,870, 2017
862017
User interaction models for disambiguation in programming by example
M Mayer, G Soares, M Grechkin, V Le, M Marron, O Polozov, R Singh, ...
Proceedings of the 28th Annual ACM Symposium on User Interface Software …, 2015
822015
From relational verification to SIMD loop synthesis
G Barthe, JM Crespo, S Gulwani, C Kunz, M Marron
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013
752013
Genomic distances under deletions and insertions
M Marron, KM Swenson, BME Moret
Theoretical Computer Science 325 (3), 347-360, 2004
672004
Time travel debugging in managed runtime
M Marron, ET Barr
US Patent 9,875,173, 2018
642018
Performing an operation relative to tabular data based upon voice input
P Singh, K Ganjam, S Gulwani, M Marron, YC Ju, K Chakrabarti
US Patent 10,956,433, 2021
472021
Tardis: Affordable time-travel debugging in managed runtimes
ET Barr, M Marron
ACM SIGPLAN Notices 49 (10), 67-82, 2014
432014
Sharing analysis of arrays, collections, and recursive structures
M Marron, M Méndez-Lojo, M Hermenegildo, D Stefanovic, D Kapur
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2008
412008
Genomic distances under deletions and insertions
M Marron, KM Swenson, BME Moret
International Computing and Combinatorics Conference, 537-547, 2003
392003
Efficient context-sensitive shape analysis with graph based heap models
M Marron, M Hermenegildo, D Kapur, D Stefanovic
International Conference on Compiler Construction, 245-259, 2008
362008
Time-travel debugging for javascript/node. js
ET Barr, M Marron, E Maurer, D Moseley, G Seth
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
342016
Abstracting runtime heaps for program understanding
M Marron, C Sanchez, Z Su, M Fahndrich
IEEE Transactions on Software Engineering 39 (6), 774-786, 2012
342012
Semantics of asynchronous JavaScript
MC Loring, M Marron, D Leijen
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic …, 2017
332017
Heap analysis in the presence of collection libraries
M Marron, D Stefanovic, M Hermenegildo, D Kapur
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
272007
Identification of logically related heap regions
M Marron, D Kapur, M Hermenegildo
Proceedings of the 2009 international symposium on Memory management, 89-98, 2009
232009
Mining semantic loop idioms
M Allamanis, ET Barr, C Bird, P Devanbu, M Marron, C Sutton
IEEE Transactions on Software Engineering 44 (7), 651-668, 2018
222018
The system can't perform the operation now. Try again later.
Articles 1–20