Mark Marron
Mark Marron
Microsoft Research
Dirección de correo verificada de microsoft.com - Página principal
Título
Citado por
Citado por
Año
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
1372012
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
992008
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
912014
Genomic distances under deletions and insertions
M Marron, KM Swenson, BME Moret
Theoretical Computer Science 325 (3), 347-360, 2004
682004
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
592013
Time travel debugging for browser components
M Marron, JW Mickens
US Patent 9,588,870, 2017
582017
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
562016
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
522015
Time travel debugging in managed runtime
M Marron, ET Barr
US Patent 9,875,173, 2018
502018
Genomic distances under deletions and insertions
M Marron, KM Swenson, BME Moret
International Computing and Combinatorics Conference, 537-547, 2003
392003
Tardis: Affordable time-travel debugging in managed runtimes
ET Barr, M Marron
ACM SIGPLAN Notices 49 (10), 67-82, 2014
382014
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
382008
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
312008
Abstracting runtime heaps for program understanding
M Marron, C Sanchez, Z Su, M Fahndrich
IEEE Transactions on Software Engineering 39 (6), 774-786, 2012
302012
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 App. 14/283,254, 2015
252015
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
242016
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
232007
Identification of logically related heap regions
M Marron, D Kapur, M Hermenegildo
Proceedings of the 2009 international symposium on Memory management, 89-98, 2009
202009
Semantics of asynchronous JavaScript
MC Loring, M Marron, D Leijen
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic …, 2017
172017
Collecting a Heap of Shapes
ET Barr, C Bird, M Marron
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
172013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20