| 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 | 151 | 2012 |
| 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 | 100 | 2008 |
| 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 | 97 | 2014 |
| 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 | 71 | 2013 |
| Genomic distances under deletions and insertions M Marron, KM Swenson, BME Moret Theoretical Computer Science 325 (3), 347-360, 2004 | 69 | 2004 |
| Time travel debugging for browser components M Marron, JW Mickens US Patent 9,588,870, 2017 | 67 | 2017 |
| 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 | 64 | 2015 |
| 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 | 61 | 2016 |
| Time travel debugging in managed runtime M Marron, ET Barr US Patent 9,875,173, 2018 | 54 | 2018 |
| Genomic distances under deletions and insertions M Marron, KM Swenson, BME Moret International Computing and Combinatorics Conference, 537-547, 2003 | 41 | 2003 |
| 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 | 39 | 2008 |
| Tardis: Affordable time-travel debugging in managed runtimes ET Barr, M Marron ACM SIGPLAN Notices 49 (10), 67-82, 2014 | 38 | 2014 |
| 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 | 33 | 2008 |
| Abstracting runtime heaps for program understanding M Marron, C Sanchez, Z Su, M Fahndrich IEEE Transactions on Software Engineering 39 (6), 774-786, 2012 | 30 | 2012 |
| 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 | 28 | 2021 |
| 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 | 25 | 2007 |
| Semantics of asynchronous JavaScript MC Loring, M Marron, D Leijen Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic …, 2017 | 24 | 2017 |
| 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 | 23 | 2016 |
| Identification of logically related heap regions M Marron, D Kapur, M Hermenegildo Proceedings of the 2009 international symposium on Memory management, 89-98, 2009 | 21 | 2009 |
| ARTISTE: Automatic generation of hybrid data structure signatures from binary code executions J Caballero, G Grieco, M Marron, Z Lin, D Urbina IMDEA Software Institute, Tech. Rep. TR-IMDEA-SW-2012-001, 2012 | 19 | 2012 |
Sumit GulwaniPartner Research Manager, Microsoftmicrosoft.com의 이메일 확인됨
