| Automatic Patch Generation by Learning Correct Code F Long, M Rinard POPL'2016, 2016 | 730 | 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 | 541 | 2015 |
| Staged program repair with condition synthesis F Long, M Rinard 10th Joint Meeting of the European Software Engineering Conference and the …, 2015 | 482 | 2015 |
| 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 | 340 | 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 | 335 | 2009 |
| 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 | 248 | 2017 |
| 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 | 236 | 2018 |
| An analysis of the search spaces for generate and validate patch generation systems F Long, M Rinard Proceedings of the 38th International Conference on Software Engineering …, 2016 | 210 | 2016 |
| A decentralized blockchain with high throughput and fast confirmation C Li, P Li, D Zhou, Z Yang, M Wu, G Yang, W Xu, F Long, ACC Yao 2020 {USENIX} Annual Technical Conference ({USENIX}{ATC} 20), 515-528, 2020 | 207 | 2020 |
| Automatic error elimination by horizontal code transfer across multiple applications S Sidiroglou-Douskos, E Lahtinen, F Long, M Rinard PLDI 2015, 2015 | 163 | 2015 |
| Automatic runtime error repair and containment via recovery shepherding F Long, S Sidiroglou-Douskos, M Rinard PLDI 2014, 2014 | 116 | 2014 |
| Securing smart contract with runtime validation A Li, JA Choi, F Long Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 103 | 2020 |
| From natural language specifications to program input parsers T Lei, F Long, R Barzilay, MC Rinard ACL 2013, 2013 | 84 | 2013 |
| Automatic input rectification F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard 2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012 | 74 | 2012 |
| Pipezk: Accelerating zero-knowledge proof with a pipelined architecture Y Zhang, S Wang, X Zhang, J Dong, X Mao, F Long, C Wang, D Zhou, ... 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture …, 2021 | 71 | 2021 |
| 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 | 69 | 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 | 64 | 2015 |
| API hyperlinking via structural overlap F Long, X Wang, Y Cai Proceedings of the 7th Joint meeting of the European Software Engineering …, 2009 | 64 | 2009 |
| Automatic horizontal fusion for GPU kernels A Li, B Zheng, G Pekhimenko, F Long 2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022 | 51 | 2022 |
| Gosig: A scalable and high-performance byzantine consensus for consortium blockchains P Li, G Wang, X Chen, F Long, W Xu Proceedings of the 11th ACM Symposium on Cloud Computing, 223-237, 2020 | 49 | 2020 |
martin rinardMITAdresse e-mail validée de lcs.mit.edu