Volgen
Fan Long
Fan Long
University of Toronto
Geverifieerd e-mailadres voor csail.mit.edu
Titel
Geciteerd door
Geciteerd door
Jaar
Automatic Patch Generation by Learning Correct Code
F Long, M Rinard
POPL'2016, 2016
6742016
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
4922015
Staged program repair with condition synthesis
F Long, M Rinard
10th Joint Meeting of the European Software Engineering Conference and the …, 2015
4402015
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
3152009
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
3102015
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
2192017
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
2102018
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
1932016
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
1642020
Automatic error elimination by horizontal code transfer across multiple applications
S Sidiroglou-Douskos, E Lahtinen, F Long, M Rinard
PLDI 2015, 2015
1572015
Automatic runtime error repair and containment via recovery shepherding
F Long, S Sidiroglou-Douskos, M Rinard
PLDI 2014, 2014
1132014
From natural language specifications to program input parsers
T Lei, F Long, R Barzilay, MC Rinard
ACL 2013, 2013
802013
Securing smart contract with runtime validation
A Li, JA Choi, F Long
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
762020
Automatic input rectification
F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard
2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012
702012
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
662014
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
632015
API hyperlinking via structural overlap
F Long, X Wang, Y Cai
Proceedings of the 7th Joint meeting of the European Software Engineering …, 2009
632009
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
522021
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
2011 USENIX Annual Technical Conference (USENIX ATC 11), 2011
432011
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
42*2010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20