| Madmax: Surviving out-of-gas conditions in ethereum smart contracts N Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y Smaragdakis Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 414 | 2018 |
| Vandal: A scalable security analysis framework for smart contracts L Brent, A Jurisevic, M Kong, E Liu, F Gauthier, V Gramoli, R Holz, ... arXiv preprint arXiv:1809.03981, 2018 | 337 | 2018 |
| Soufflé: On Synthesis of Program Analyzers H Jordan, B Scholz, P Subotić Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 243 | 2016 |
| Minimising semantic drift with mutual exclusion bootstrapping JR Curran, T Murphy, B Scholz Proceedings of the 10th Conference of the Pacific Association for …, 2007 | 202 | 2007 |
| Ethainter: a smart contract security analyzer for composite vulnerabilities L Brent, N Grech, S Lagouvardos, B Scholz, Y Smaragdakis Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 154 | 2020 |
| On fast large-scale program analysis in datalog B Scholz, H Jordan, P Subotić, T Westmann Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 135 | 2016 |
| Gigahorse: thorough, declarative decompilation of smart contracts N Grech, L Brent, B Scholz, Y Smaragdakis 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 127 | 2019 |
| Register allocation for irregular architectures B Scholz, E Eckstein Proceedings of the joint conference on Languages, compilers and tools for …, 2002 | 122 | 2002 |
| Register liveness analysis for optimizing dynamic binary translation M Probst, A Krall, B Scholz Ninth Working Conference on Reverse Engineering, 2002. Proceedings., 35-44, 2002 | 79 | 2002 |
| Parfait: designing a scalable bug checker C Cifuentes, B Scholz Proceedings of the 2008 workshop on Static analysis, 4-11, 2008 | 77 | 2008 |
| Provenance-guided synthesis of datalog programs M Raghothaman, J Mendelson, D Zhao, M Naik, B Scholz Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 73 | 2019 |
| User-input dependence analysis via graph reachability B Scholz, C Zhang, C Cifuentes 2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008 | 68 | 2008 |
| BegBunch: benchmarking for C bug detection tools C Cifuentes, C Hoermann, N Keynes, L Li, S Long, E Mealy, M Mounteney, ... Proceedings of the 2nd International Workshop on Defects in Large Software …, 2009 | 67 | 2009 |
| Code instruction selection based on SSA-graphs E Eckstein, O König, B Scholz International Workshop on Software and Compilers for Embedded Systems, 49-65, 2003 | 56 | 2003 |
| Generalized instruction selection using SSA-graphs D Ebner, F Brandner, B Scholz, A Krall, P Wiedermann, A Kadlec Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages …, 2008 | 53 | 2008 |
| Nearly optimal register allocation with PBQP L Hames, B Scholz Joint Modular Languages Conference, 346-361, 2006 | 50 | 2006 |
| Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization T Fahringer, B Scholz Springer Berlin Heidelberg, 2003 | 50 | 2003 |
| Orchestration by approximation: mapping stream programs onto multicore architectures SM Farhad, Y Ko, B Burgstaller, B Scholz ACM SIGPLAN Notices 46 (3), 357-368, 2011 | 48 | 2011 |
| A specialized B-tree for concurrent datalog evaluation H Jordan, P Subotić, D Zhao, B Scholz Proceedings of the 24th symposium on principles and practice of parallel …, 2019 | 47 | 2019 |
| Symbolic pointer analysis for detecting memory leaks B Scholz, J Blieberger, T Fahringer Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and …, 1999 | 47 | 1999 |
Pavle SuboticMicrosoftVerified email at ucl.ac.uk
