| Automatic Patch Generation by Learning Correct Code F Long, M Rinard POPL'2016, 2016 | 402 | 2016 |
| An analysis of patch plausibility and correctness for generate-and-validate patch generation systems Z Qi, F Long, S Achour, M Rinard ISSTA 2015, 2015 | 302 | 2015 |
| Staged program repair with condition synthesis F Long, M Rinard 10th Joint Meeting of the European Software Engineering Conference and the …, 2015 | 299 | 2015 |
| MODIST: transparent model checking of unmodified distributed systems J Yang, T Chen, M Wu, Z Xu, X Liu, H Lin, M Yang, F Long, L Zhang, ... NSDI 2009, 2009 | 261 | 2009 |
| Control jujutsu: On the weaknesses of fine-grained control flow integrity I Evans, F Long, U Otgonbaatar, H Shrobe, M Rinard, H Okhravi, ... Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015 | 209 | 2015 |
| An analysis of the search spaces for generate and validate patch generation systems F Long, M Rinard 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016 | 123 | 2016 |
| Automatic error elimination by horizontal code transfer across multiple applications S Sidiroglou-Douskos, E Lahtinen, F Long, M Rinard PLDI 2015, 2015 | 117 | 2015 |
| Automatic inference of code transforms for patch generation F Long, P Amidon, M Rinard Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 113 | 2017 |
| Automatic runtime error repair and containment via recovery shepherding F Long, S Sidiroglou-Douskos, M Rinard PLDI 2014, 2014 | 95 | 2014 |
| Scaling nakamoto consensus to thousands of transactions per second C Li, P Li, D Zhou, W Xu, F Long, A Yao arXiv preprint arXiv:1805.03870, 2018 | 88 | 2018 |
| Automatic input rectification F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard 2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012 | 66 | 2012 |
| API hyperlinking via structural overlap F Long, X Wang, Y Cai Proceedings of the 7th Joint meeting of the European Software Engineering …, 2009 | 58 | 2009 |
| From natural language specifications to program input parsers T Lei, F Long, R Barzilay, MC Rinard ACL 2013, 2013 | 56 | 2013 |
| Sound input filter generation for integer overflow errors F Long, S Sidiroglou-Douskos, D Kim, M Rinard ACM SIGPLAN POPL 2014 49 (1), 439-452, 2014 | 53 | 2014 |
| Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement S Sidiroglou-Douskos, E Lahtinen, N Rittenhouse, P Piselli, F Long, ... ASPLOS 2015, 2015 | 46 | 2015 |
| G2: A graph processing system for diagnosing distributed systems Z Guo, D Zhou, H Lin, M Yang, F Long, C Deng, C Liu, L Zhou | 35 | 2011 |
| Language-based replay via data flow cut M Wu, F Long, X Wang, Z Xu, H Lin, X Liu, Z Guo, H Guo, L Zhou, Z Zhang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 33* | 2010 |
| Principled Sampling for Anomaly Detection B Juba, C Musco, F Long, S Sidiroglou-Douskos, M Rinard NDSS 2015, 2015 | 19 | 2015 |
| CodeCarbonCopy S Sidiroglou-Douskos, E Lahtinen, A Eden, F Long, M Rinard Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 18 | 2017 |
| Securing smart contract with runtime validation A Li, JA Choi, F Long Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 8* | 2020 |
martin rinardMITBestätigte E-Mail-Adresse bei lcs.mit.edu
